| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Use and tiny test of .as_assignblock() behavior | Ajax | 2017-05-09 | 1 | -2/+3 |
| | | |||||
| * | Merge pull request #518 from commial/feature/dse | serpilliere | 2017-04-21 | 1 | -0/+310 |
| |\ | | | | | Feature/dse | ||||
| | * | Add an example illustrating DSE | Ajax | 2017-04-18 | 1 | -0/+310 |
| | | | |||||
| * | | IRBlock: move lines in AssignBlock | Fabrice Desclaux | 2017-04-20 | 1 | -2/+2 |
| |/ | |||||
| * | Replace ExprInt[num](x) -> ExprInt(x, num) | Ajax | 2017-03-30 | 1 | -2/+2 |
| | | |||||
| * | 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/Depgraph: allow lower/upper register tracking | Fabrice Desclaux | 2016-03-22 | 1 | -1/+1 |
| | | |||||
| * | Example/Depgraph: add JSON output | Fabrice Desclaux | 2016-03-21 | 1 | -8/+31 |
| | | |||||
| * | Example/dg: fix print solutions | Fabrice Desclaux | 2016-03-21 | 1 | -2/+5 |
| | | |||||
| * | Test/depgraph: autopep | Fabrice Desclaux | 2016-03-17 | 1 | -28/+29 |
| | | |||||
| * | IR: replace `.g` with a lazy built `.graph`, avoiding the need of `gen_graph` | Ajax | 2015-12-07 | 1 | -3/+0 |
| | | |||||
| * | 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 |
| | | |||||
| * | In interactive use, allow C-like prefixes to choose the base of integers | Aymeric Vincent | 2015-10-27 | 1 | -2/+2 |
| | | | | | | | | Use Python's int(s, 0) to allow string "s" to specify its base where addresses and offsets can be supplied. This change makes the situation homogeneous among the various examples and interactive usage. | ||||
| * | Example: Add an example "rename-args" argument for depgraph | Ajax | 2015-04-28 | 1 | -2/+15 |
| | | |||||
| * | DepGraph: Introduce implicit result management, with constraint solving API | Ajax | 2015-04-28 | 1 | -0/+8 |
| | | |||||
| * | Depgraph: Add a new example `depgraph` calling DepGraph with options | Ajax | 2015-04-24 | 1 | -0/+77 |
| | | |||||
| * | Example: Rename symbol_exec to single_instr in a specific symbol_exec directory | Camille Mougey | 2015-01-23 | 1 | -0/+31 |