Intresa in Static Analysis for D ?

[Stefan Koch via Digitalmars-d]

On Wednesday, 16 November 2016 at 14:06:16 UTC, Basile B. wrote:
> On Tuesday, 15 November 2016 at 14:45:29 UTC, Stefan Koch wrote:
>> Hi Guys,
>>
>> I was wondering how much interest in static analysis exists in 
>> this community .
>> DMD already has rudimentary support for these kinds of things.
>
> By the way there are several problems with static analysis of D 
> code. Mostly related to template metaprogramming and 
> conditional compilation.
>
> - UFCS: at least in libdparse, not visited with a FunctionCall
> - static if
> - version
> - mixin() and mixin
>
> Does your DDMD-based AST handle these cases ?

Certainly!
However only on mixin that are actually used.
Only the conditions that are taken are visited.