Hello!
I have merged the recent work on the scrutiny branch into trunk (r14828).
Scrutiny is a lightweight local conservative (read: simple) flow analysis
pass over the internal representation of the code and performs a check on
argument-count/-types and results of calls to core library
On Fri, May 29, 2009 at 04:18:55PM +0200, felix winkelmann wrote:
Hello!
I have merged the recent work on the scrutiny branch into trunk (r14828).
Scrutiny is a lightweight local conservative (read: simple) flow analysis
pass over the internal representation of the code and performs a check