| Sat, 03 Mar 2012 20:42:48 +0000 | Mario de Sousa | Handle JMP to labels preceding the JMP instruction itself. | changeset | files |
| Sat, 03 Mar 2012 20:27:20 +0000 | Mario de Sousa | Correctly handle JMP and RET IL operators in flow control analysis. | changeset | files |
| Sat, 03 Mar 2012 13:07:00 +0000 | Mario de Sousa | Fix filling candidate datatypes of JMP operations | changeset | files |
| Sat, 03 Mar 2012 08:51:28 +0000 | Mario de Sousa | Remove spurious printf()s, used during debugging session. | changeset | files |
| Fri, 02 Mar 2012 17:59:20 +0000 | Mario de Sousa | Add missing files. | changeset | files |
| Fri, 02 Mar 2012 12:53:41 +0000 | Mario de Sousa | Continue adding support for semantic verification of JMP and RET. | changeset | files |