| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Merge pull request #522 from serpilliere/ir_ro | Camille Mougey | 2017-06-06 | 2 | -29/+22 |
| |\ | | | | | Ir ro | ||||
| | * | IR: avoid IRBlock attribute creation | Fabrice Desclaux | 2017-05-24 | 1 | -27/+18 |
| | | | |||||
| | * | IR: Make IRBlock immutable | Fabrice Desclaux | 2017-05-24 | 1 | -2/+4 |
| | | | |||||
| * | | Ensure there is no multi-line basic block in the cache | Ajax | 2017-05-24 | 1 | -0/+3 |
| |/ | | | | | If there was any, the callback may be called after the execution of several instruction, instead of the expected one-by-one | ||||
| * | Merge pull request #536 from commial/refactor/gcc-default-jitter | serpilliere | 2017-04-21 | 1 | -2/+2 |
| |\ | | | | | Refactor/gcc default jitter | ||||
| | * | Let GCC be the default jitter | Ajax | 2017-04-21 | 1 | -2/+2 |
| | | | |||||
| * | | Merge pull request #535 from commial/fix/match_expr-uses | serpilliere | 2017-04-21 | 1 | -2/+2 |
| |\ \ | | | | | | | Remove deprecated use of MatchExpr | ||||
| | * | | Remove deprecated use of MatchExpr | Ajax | 2017-04-21 | 1 | -2/+2 |
| | |/ | |||||
| * / | DSE: support absence of z3 | Ajax | 2017-04-21 | 1 | -2/+9 |
| |/ | |||||
| * | Ir: Add ir graph helpers | Fabrice Desclaux | 2017-04-21 | 1 | -0/+3 |
| | | |||||
| * | Merge pull request #518 from commial/feature/dse | serpilliere | 2017-04-21 | 1 | -0/+545 |
| |\ | | | | | Feature/dse | ||||
| | * | Handle symbolic exec stuck on lbl_gen | Ajax | 2017-04-18 | 1 | -38/+61 |
| | | | |||||
| | * | Introduce a module for Dynamic Symbolic Execution | Ajax | 2017-04-18 | 1 | -0/+522 |
| | | | |||||
| * | | IRBlock: move lines in AssignBlock | Fabrice Desclaux | 2017-04-20 | 1 | -1/+1 |
| | | | |||||
| * | | Ir: make AssignBlock immutable | Fabrice Desclaux | 2017-04-20 | 2 | -5/+8 |
| |/ | |||||
| * | Introduce Sandbox.call, for direct function calling | Ajax | 2017-04-06 | 1 | -0/+71 |
| | | |||||
| * | Add command-line and enviornment-vars argument in Sandbox | Ajax | 2017-04-06 | 1 | -13/+146 |
| | | | | | | Note: lot of code is duplicated here, but due to Sandbox class hierarchy, merging them is not trivial (for now) | ||||
| * | ModularIntervals: naive support for * operation | Ajax | 2017-03-30 | 2 | -1/+24 |
| | | |||||
| * | ModularIntervals: add length capability | Ajax | 2017-03-30 | 1 | -0/+4 |
| | | | | | length is used due to Python incompablity with __len__ values > 32bits | ||||
| * | ModularIntervals: fix init with empty interval | Ajax | 2017-03-30 | 1 | -2/+4 |
| | | |||||
| * | analysis: Introduction of use-definition chains | Caroline Leman | 2017-03-29 | 1 | -0/+252 |
| | | | | | | | - previous dead_simp function has been moved to data_flow.py - ira class has been simplified - reach analysis code has been 'clarified' | ||||
| * | Container: add dynsym symbols | Fabrice Desclaux | 2017-03-25 | 1 | -12/+16 |
| | | |||||
| * | Core/asmbloc: move asmbloc to asmblock | Fabrice Desclaux | 2017-03-13 | 3 | -3/+3 |
| | | |||||
| * | Asmbloc: rename asm_constraint[to/next] to AsmConstraint[To/Next] | Fabrice Desclaux | 2017-03-13 | 1 | -3/+3 |
| | | |||||
| * | Asmbloc: rename asm_symbol_pool to AsmSymbolPool | Fabrice Desclaux | 2017-03-13 | 2 | -6/+6 |
| | | |||||
| * | Asmbloc: rename asm_label to AsmLabel | Fabrice Desclaux | 2017-03-13 | 1 | -8/+8 |
| | | |||||
| * | All: rename vars bloc -> block | Fabrice Desclaux | 2017-03-13 | 2 | -7/+7 |
| | | |||||
| * | IR: rename blocs to blocks | Fabrice Desclaux | 2017-03-13 | 3 | -12/+12 |
| | | |||||
| * | IR/ir: rename irbloc to IRBlock | Fabrice Desclaux | 2017-03-13 | 1 | -3/+3 |
| | | |||||
| * | IR/Symbexec: rename symbexec to SymbolicExecutionEngine | Fabrice Desclaux | 2017-03-13 | 2 | -6/+6 |
| | | |||||
| * | Introduce 'expr_range', to determine the range of possible values of an Expr | Ajax | 2017-02-22 | 1 | -0/+65 |
| | | |||||
| * | Introduce ModularIntervals, intervals supporting modular arithmetic | Ajax | 2017-02-17 | 1 | -0/+499 |
| | | |||||
| * | DepGraph: fix emulation | Fabrice Desclaux | 2017-01-09 | 1 | -18/+30 |
| | | |||||
| * | remove #! command line on files not supposed to be run at top level | Aymeric Vincent | 2017-01-05 | 3 | -3/+0 |
| | | |||||
| * | DepGraph: clean step | Fabrice Desclaux | 2016-12-23 | 1 | -14/+3 |
| | | |||||
| * | Expression: remove is_term attribute | serpilliere | 2016-11-04 | 1 | -6/+1 |
| | | |||||
| * | Machine: fix jit dependencies | Fabrice Desclaux | 2016-11-03 | 1 | -22/+68 |
| | | |||||
| * | Update int(XX.arg) -> int(XX) | Ajax | 2016-09-16 | 1 | -3/+3 |
| | | |||||
| * | Jitter/win: fix TIB accesses | Fabrice Desclaux | 2016-09-06 | 1 | -1/+1 |
| | | |||||
| * | Get back the name of the architecture asked in Machine | Ajax | 2016-06-15 | 1 | -0/+5 |
| | | |||||
| * | Depgraph: use has_loop algorithm to spot data flow loops; fix reg test | Fabrice Desclaux | 2016-03-23 | 1 | -3/+3 |
| | | |||||
| * | Introduce Container.symbol_pool, containing container symbols (if any) | Ajax | 2016-03-21 | 1 | -0/+23 |
| | | |||||
| * | DependencyGraph: emul minimum effects | Fabrice Desclaux | 2016-03-21 | 1 | -20/+29 |
| | | |||||
| * | Depgraph: updt api | Fabrice Desclaux | 2016-03-21 | 1 | -17/+16 |
| | | |||||
| * | Depgraph: implicit emul | Fabrice Desclaux | 2016-03-17 | 1 | -3/+112 |
| | | |||||
| * | Depgraph: simplified algorithm | Fabrice Desclaux | 2016-03-17 | 1 | -680/+175 |
| | | |||||
| * | AssignBlock | Fabrice Desclaux | 2016-02-26 | 2 | -17/+19 |
| | | |||||
| * | Core/utils: autopep8 | Fabrice Desclaux | 2016-02-19 | 1 | -1/+1 |
| | | |||||
| * | Jitter/vm: Suppport memory comment | Fabrice Desclaux | 2016-02-19 | 1 | -3/+7 |
| | | |||||
| * | Remove unused variables | Ajax | 2016-02-04 | 2 | -5/+4 |
| | | |||||