Sat, 03 Mar 2012 20:27:20 +0000 Mario de Sousa Correctly handle JMP and RET IL operators in flow control analysis.
Sat, 03 Mar 2012 13:07:00 +0000 Mario de Sousa Fix filling candidate datatypes of JMP operations
Sat, 03 Mar 2012 08:51:28 +0000 Mario de Sousa Remove spurious printf()s, used during debugging session.
Fri, 02 Mar 2012 17:59:20 +0000 Mario de Sousa Add missing files.
Fri, 02 Mar 2012 12:53:41 +0000 Mario de Sousa Continue adding support for semantic verification of JMP and RET.
Thu, 01 Mar 2012 10:28:27 +0000 Conti Manuele iAdd warning for deprecated operations.
Mon, 27 Feb 2012 11:44:03 +0000 Mario de Sousa Change prev_il_instruction to a vector<>