Intresa in Static Analysis for D ?

[Basile B. via Digitalmars-d]

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 ?