interest in Static Analysis for D ?

[Stefan Koch via Digitalmars-d]

On Tuesday, 15 November 2016 at 16:59:49 UTC, Dicebot wrote:
> On 11/15/2016 06:46 PM, Stefan Koch wrote:
>> On Tuesday, 15 November 2016 at 16:39:22 UTC, Dicebot wrote:
>>> [ .... ]
>>> But I'd sincerely advise against any ad-hoc solution that is 
>>> built
>>> into DMD itself.
>> 
>> It seems I did not clearly state this.
>> I mean to provide the general plumbing that is needed for the 
>> dmd-fe,
>> to utilize it for static analysis.
>> I do not intend to cram all sorts of checking functionality 
>> inside the
>> compiler.
>
> When doing so, try to forget that static analysis is the 
> intended goal. It has to be naturally usable for any other 
> purpose too, focusing on one specific application case is 
> likely only harm design decisions.

It's a compiler frontend.
I cannot see any other purposes then code-analysis and 
code-transformation.
Regarding Transformations I wanted to write a good D 
transformation tool for years now.