| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Use and tiny test of .as_assignblock() behavior | Ajax | 2017-05-09 | 1 | -2/+3 |
| | | |||||
| * | IR/Symbexec: rename symbexec to SymbolicExecutionEngine | Fabrice Desclaux | 2017-03-13 | 1 | -2/+2 |
| | | |||||
| * | Symbexec: new api for emul_ir_* | Fabrice Desclaux | 2016-11-04 | 1 | -2/+2 |
| | | | | | | | | | | | | | | | Replacement: emul_ir_bloc(self, myir, addr, step=False) by: emul_ir_block(self, addr, step=False) and: emul_ir_blocs(self, myir, addr, lbl_stop=None, step=False) by: emul_ir_blocks(self, addr, lbl_stop=None, step=False) The 'myir' was already given in the symbolexec creation. | ||||
| * | Example/SymbolExec: write code more arch-independent | Ajax | 2015-11-09 | 1 | -16/+14 |
| | | |||||
| * | Example/SymbolExec: enhance and comment | Ajax | 2015-11-09 | 1 | -15/+27 |
| | | |||||
| * | Example: Rename symbol_exec to single_instr in a specific symbol_exec directory | Camille Mougey | 2015-01-23 | 1 | -0/+31 |