On Thursday, 21 July 2016 at 16:21:17 UTC, Andrew Godfrey wrote:
You can lower D to Assembler and analyze that. Assembler is simple, isn't it?Are you trolling? Lowering discards information.
AFAIK, that's what static analysis is built for: to infer high-level properties of the code that are not expressed in it.
