| Commit message (Collapse) | Author | Files | Lines | ||
|---|---|---|---|---|---|
| 2017-03-30 | Replace ExprInt[num](x) -> ExprInt(x, num) | Ajax | 1 | -1/+1 | |
| 2017-03-30 | Deprecate ExprInt[num] and ExprInt_from(expr, num) | Ajax | 1 | -0/+12 | |
| 2017-03-30 | Let ExprInt always use its Singleton capabilities | Ajax | 3 | -68/+65 | |
| Remove the optionnal 'size' argument form, use pointer equality to speed up comparision | |||||
| 2017-03-29 | analysis: Introduction of use-definition chains | Caroline Leman | 8 | -318/+346 | |
| - previous dead_simp function has been moved to data_flow.py - ira class has been simplified - reach analysis code has been 'clarified' | |||||
| 2017-03-28 | ExprReduce: fix exprnode str | Fabrice Desclaux | 1 | -11/+11 | |
| 2017-03-27 | Example/full: fix tipo | Fabrice Desclaux | 1 | -1/+1 | |
| 2017-03-25 | Container: add dynsym symbols | Fabrice Desclaux | 1 | -12/+16 | |
| 2017-03-17 | Symbexec: fix tipo symbmngr | Fabrice Desclaux | 1 | -4/+4 | |
| 2017-03-17 | IR: fix support old api blocs | Fabrice Desclaux | 1 | -1/+1 | |
| 2017-03-16 | Symbexec: Fix state update | Fabrice Desclaux | 1 | -3/+8 | |
| 2017-03-13 | Core/asmblock: rename asmbloc_final to asmblock_final | Fabrice Desclaux | 1 | -2/+9 | |
| 2017-03-13 | Core/asmbloc: move asmbloc to asmblock | Fabrice Desclaux | 50 | -1659/+1669 | |
| 2017-03-13 | Asmbloc: rename asm_constraint[to/next] to AsmConstraint[To/Next] | Fabrice Desclaux | 3 | -16/+29 | |
| 2017-03-13 | Asmbloc: rename asm_constraint to AsmConstraint | Fabrice Desclaux | 6 | -42/+49 | |
| 2017-03-13 | Asmbloc: rename asm_raw to AsmRaw | Fabrice Desclaux | 2 | -10/+17 | |
| 2017-03-13 | Asmbloc: rename asm_symbol_pool to AsmSymbolPool | Fabrice Desclaux | 10 | -25/+32 | |
| 2017-03-13 | Asmbloc: rename asm_label to AsmLabel | Fabrice Desclaux | 27 | -97/+99 | |
| 2017-03-13 | Asmbloc: rename asm_block_bad to AsmBlockBad | Fabrice Desclaux | 5 | -22/+29 | |
| 2017-03-13 | Asmbloc: rename asm_bloc to AsmBlock | Fabrice Desclaux | 4 | -29/+37 | |
| 2017-03-13 | All: rename vars bloc -> block | Fabrice Desclaux | 24 | -231/+191 | |
| 2017-03-13 | IR: rename blocs to blocks | Fabrice Desclaux | 17 | -189/+193 | |
| 2017-03-13 | Arch: clean ira/jit | Fabrice Desclaux | 10 | -142/+117 | |
| 2017-03-13 | IR/ir: rename ir to IntermediateRepresentation | Fabrice Desclaux | 13 | -34/+54 | |
| 2017-03-13 | IR/ir: rename irbloc to IRBlock | Fabrice Desclaux | 10 | -286/+309 | |
| 2017-03-13 | IR/Symbexec: rename symbexec to SymbolicExecutionEngine | Fabrice Desclaux | 13 | -42/+69 | |
| 2017-03-08 | add mips32's addi simulation | rootkiter | 1 | -0/+1 | |
| 2017-02-22 | Add regression tests for expr_range, based on z3 | Ajax | 2 | -0/+99 | |