stage3/flow_control_analysis.hh
Sat, 03 Mar 2012 20:27:20 +0000 Mario de Sousa Correctly handle JMP and RET IL operators in flow control analysis.
Fri, 02 Mar 2012 12:53:41 +0000 Mario de Sousa Continue adding support for semantic verification of JMP and RET.
Tue, 21 Feb 2012 17:39:57 +0000 Mario de Sousa More changes for support of semantic verification of il_expressions
Mon, 20 Feb 2012 19:44:40 +0000 Mario de Sousa Start of support for IL expressions (parenthesis).
Thu, 16 Feb 2012 10:27:52 +0000 Mario de Sousa Narrow IL code backwords, so as to correctly handle invocations to overloaded functions from IL code.