| Thu, 08 Mar 2012 18:57:14 +0000 |
Mario de Sousa |
Do not allow duplicate values in candidate datatype list.
|
changeset |
files
|
| 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
|
| Thu, 01 Mar 2012 10:28:27 +0000 |
Conti Manuele |
iAdd warning for deprecated operations.
|
changeset |
files
|
| Mon, 27 Feb 2012 11:44:03 +0000 |
Mario de Sousa |
Change prev_il_instruction to a vector<>
|
changeset |
files
|
| Mon, 27 Feb 2012 11:28:51 +0000 |
Mario de Sousa |
Some small cleanups.
|
changeset |
files
|
| Sat, 25 Feb 2012 19:16:35 +0000 |
Mario de Sousa |
Add support for semantic verification of CALC, CALCN, etc..
|
changeset |
files
|
| Thu, 23 Feb 2012 13:25:49 +0000 |
Mario de Sousa |
Finish support for semantic verification of IL paranthesised expressions.
|
changeset |
files
|