| Wed, 14 Mar 2012 19:31:17 +0000 |
Mario de Sousa |
Fix error messages of il function calls - it now prints out location info of first parameter.
|
file |
diff |
annotate
|
| Sat, 03 Mar 2012 20:27:20 +0000 |
Mario de Sousa |
Correctly handle JMP and RET IL operators in flow control analysis.
|
file |
diff |
annotate
|
| Fri, 02 Mar 2012 12:53:41 +0000 |
Mario de Sousa |
Continue adding support for semantic verification of JMP and RET.
|
file |
diff |
annotate
|
| Mon, 27 Feb 2012 11:44:03 +0000 |
Mario de Sousa |
Change prev_il_instruction to a vector<>
|
file |
diff |
annotate
|
| Thu, 23 Feb 2012 13:25:49 +0000 |
Mario de Sousa |
Finish support for semantic verification of IL paranthesised expressions.
|
file |
diff |
annotate
|
| Tue, 21 Feb 2012 17:39:57 +0000 |
Mario de Sousa |
More changes for support of semantic verification of il_expressions
|
file |
diff |
annotate
|
| Mon, 20 Feb 2012 19:44:40 +0000 |
Mario de Sousa |
Start of support for IL expressions (parenthesis).
|
file |
diff |
annotate
|
| Sat, 18 Feb 2012 21:03:01 +0000 |
Mario de Sousa |
Add support for semantic verification for implict FB calls in IL (e.g. PV ton_var)
|
file |
diff |
annotate
|
| 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.
|
file |
diff |
annotate
|