| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | IRBlock: irblock iterates on its assignblks | Fabrice Desclaux | 2018-02-09 | 1 | -3/+3 |
| | | |||||
| * | IRBlock: replace irs by assignblks | Fabrice Desclaux | 2018-02-09 | 1 | -1/+1 |
| | | |||||
| * | append b to the opens mode ; Python on Windows makes a distinction between ↵ | w4kfu | 2018-01-16 | 2 | -2/+2 |
| | | | | | text and binary files | ||||
| * | Example: fix disasm wd | Fabrice Desclaux | 2018-01-11 | 1 | -0/+1 |
| | | |||||
| * | Remove a dev-TODO (thanks @WilliamBruneau) | Ajax | 2017-10-05 | 1 | -1/+1 |
| | | |||||
| * | DSE: avoid using the same test.txt file in test, allowing parallelism | Ajax | 2017-09-06 | 1 | -2/+7 |
| | | |||||
| * | Add a simpler illustrating the DSE use | Ajax | 2017-09-05 | 1 | -0/+129 |
| | | |||||
| * | DSE: update example to use coverage provided by the module | Ajax | 2017-09-05 | 1 | -35/+29 |
| | | |||||
| * | DSE: update example to use compute_solution | Ajax | 2017-09-05 | 1 | -5/+5 |
| | | |||||
| * | Merge pull request #579 from serpilliere/fix_get_bloc | serpilliere | 2017-07-20 | 2 | -4/+4 |
| |\ | | | | | Fix get bloc | ||||
| | * | Asmblock: rename bloc | Fabrice Desclaux | 2017-07-07 | 2 | -2/+2 |
| | | | |||||
| | * | IR: rename add_bloc | Fabrice Desclaux | 2017-07-07 | 2 | -2/+2 |
| | | | |||||
| * | | Remove unecessary assert | William Bruneau | 2017-07-20 | 1 | -1/+0 |
| | | | |||||
| * | | Fix typo | William Bruneau | 2017-07-20 | 1 | -6/+6 |
| |/ | |||||
| * | 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 |