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.
