| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Merge pull request #347 from serpilliere/dg_has_loop | Camille Mougey | 2016-03-23 | 4 | -5/+33 |
| |\ | | | | | Dg has loop | ||||
| | * | Depgraph: use has_loop algorithm to spot data flow loops; fix reg test | Fabrice Desclaux | 2016-03-23 | 3 | -5/+5 |
| | | | |||||
| | * | Core/Graph: add loop test | Fabrice Desclaux | 2016-03-23 | 1 | -0/+28 |
| | | | |||||
| * | | Merge pull request #345 from serpilliere/loader_struct | Camille Mougey | 2016-03-23 | 1 | -46/+34 |
| |\ \ | | | | | | | OS_Dep/Win_seh: fix link list entries | ||||
| | * | | OS_Dep/Win_seh: fix link list entries | Fabrice Desclaux | 2016-03-23 | 1 | -46/+34 |
| | |/ | |||||
| * | | Merge pull request #346 from commial/refactor-disasmEngine | serpilliere | 2016-03-23 | 2 | -221/+233 |
| |\ \ | |/ |/| | Refactor disasm engine | ||||
| | * | Comment disasmEngine | Ajax | 2016-03-23 | 1 | -6/+60 |
| | | | |||||
| | * | Move dis_bloc and dis_bloc_all into disasmEngine as method | Ajax | 2016-03-23 | 1 | -199/+153 |
| | | | |||||
| | * | JitCore: update disbloc signature (and docstring) | Ajax | 2016-03-23 | 1 | -3/+6 |
| | | | |||||
| | * | JitCore: use the disasmEngine instead f a direct call to dis_bloc internals | Ajax | 2016-03-23 | 1 | -13/+15 |
| | | | |||||
| | * | Fix Jitload `load` signature in abstract method | Ajax | 2016-03-23 | 1 | -3/+2 |
| | | | |||||
| | * | disasmEngine bin_stream argument must be provided | Ajax | 2016-03-23 | 1 | -4/+4 |
| |/ | |||||
| * | Merge pull request #341 from serpilliere/dg_track_reg_lower_case | Camille Mougey | 2016-03-22 | 3 | -4/+7 |
| |\ | | | | | Example/Depgraph: allow lower/upper register tracking | ||||
| | * | Example/Depgraph: allow lower/upper register tracking | Fabrice Desclaux | 2016-03-22 | 3 | -4/+7 |
| |/ | |||||
| * | Merge pull request #340 from commial/ELF-symbols | serpilliere | 2016-03-21 | 3 | -2/+35 |
| |\ | | | | | Introduce Container.symbol_pool, containing container symbols (if any) | ||||
| | * | Introduce Container.symbol_pool, containing container symbols (if any) | Ajax | 2016-03-21 | 3 | -2/+35 |
| |/ | |||||
| * | Merge pull request #339 from serpilliere/new_depgraph_mod_fix01 | Camille Mougey | 2016-03-21 | 41 | -1426/+1141 |
| |\ | | | | | New DependencyGraph algorithm | ||||
| | * | Test/Depgraph: add DG emulation regression tests | Fabrice Desclaux | 2016-03-21 | 35 | -0/+227 |
| | | | |||||
| | * | Example/Depgraph: add JSON output | Fabrice Desclaux | 2016-03-21 | 1 | -8/+31 |
| | | | |||||
| | * | DependencyGraph: emul minimum effects | Fabrice Desclaux | 2016-03-21 | 1 | -20/+29 |
| | | | |||||
| | * | Example/dg: fix print solutions | Fabrice Desclaux | 2016-03-21 | 1 | -2/+5 |
| | | | |||||
| | * | Depgraph: updt api | Fabrice Desclaux | 2016-03-21 | 4 | -32/+39 |
| | | | |||||
| | * | Test/depgraph: use z3 to remove unsatisfiable solutions | Fabrice Desclaux | 2016-03-17 | 2 | -1/+27 |
| | | | |||||
| | * | Depgraph: implicit emul | Fabrice Desclaux | 2016-03-17 | 2 | -4/+112 |
| | | | |||||
| | * | Test/depgraph: autopep | Fabrice Desclaux | 2016-03-17 | 1 | -28/+29 |
| | | | |||||
| | * | Test/Depgraph: updt tests | Fabrice Desclaux | 2016-03-17 | 1 | -740/+556 |
| | | | |||||
| | * | Depgraph: simplified algorithm | Fabrice Desclaux | 2016-03-17 | 1 | -680/+175 |
| |/ | |||||
| * | Merge pull request #337 from commial/expr_possible | serpilliere | 2016-03-17 | 2 | -0/+164 |
| |\ | | | | | Expr possible | ||||
| | * | Add regression test for `possible_values` | Ajax | 2016-03-17 | 1 | -0/+40 |
| | | | | | | | | | Thanks to @serpilliere | ||||
| | * | Introduce `possible_values` helper | Ajax | 2016-03-17 | 1 | -0/+124 |
| |/ | | | | | Retrieve values of an Expr with their associated constraint. Thanks to @serpilliere | ||||
| * | Merge pull request #336 from serpilliere/asmcfg_pending | Camille Mougey | 2016-03-16 | 2 | -2/+36 |
| |\ | | | | | Asmcfg pending | ||||
| | * | Asmcfg: add reg test | Fabrice Desclaux | 2016-03-16 | 1 | -2/+28 |
| | | | |||||
| | * | Core/asmbloc: remove pending on block split | serpilliere | 2016-03-15 | 1 | -0/+8 |
| | | | |||||
| * | | Merge pull request #334 from mrphrazer/fix_smt2translator | serpilliere | 2016-03-15 | 2 | -1/+7 |
| |\ \ | | | | | | | Fix smt2translator | ||||
| | * | | translator: fixed init of smt2 translator | Tim Blazytko | 2016-03-13 | 1 | -0/+1 |
| | | | | |||||
| | * | | smt2 translator: added model generation flag | Tim Blazytko | 2016-03-13 | 1 | -1/+6 |
| | |/ | |||||
| * | | Merge pull request #335 from serpilliere/x86_sal_shl | Camille Mougey | 2016-03-15 | 4 | -23/+2 |
| |\ \ | |/ |/| | X86 sal shl | ||||
| | * | X86/sem: autopep8 | serpilliere | 2016-03-13 | 1 | -1/+1 |
| | | | |||||
| | * | Remove dummy operator | serpilliere | 2016-03-13 | 3 | -5/+0 |
| | | | |||||
| | * | X86/sem: sal is shl | serpilliere | 2016-03-13 | 1 | -17/+1 |
| |/ | |||||
| * | Merge pull request #331 from a-vincent/fix_block_split | serpilliere | 2016-03-09 | 1 | -1/+1 |
| |\ | | | | | Fix range checking when splitting blocks | ||||
| | * | Fix range checking when splitting blocks. | Aymeric Vincent | 2016-03-09 | 1 | -1/+1 |
| | | | | | | | | | This prevents an error message when splitting a block at its end address. | ||||
| * | | Merge pull request #332 from commial/block_merge_speedup | serpilliere | 2016-03-09 | 1 | -1/+10 |
| |\ \ | |/ |/| | Speed up block merging | ||||
| | * | Speed up _block_merge | Ajax | 2016-03-09 | 1 | -1/+10 |
| |/ | |||||
| * | Merge pull request #330 from serpilliere/assignblock | Camille Mougey | 2016-02-26 | 18 | -480/+485 |
| |\ | | | | | Assignblock | ||||
| | * | x86/sem: fix bad return | Fabrice Desclaux | 2016-02-26 | 1 | -4/+4 |
| | | | |||||
| | * | Dead_simp: rename and remove intermediate variables | Camille Mougey | 2016-02-26 | 2 | -29/+36 |
| | | | |||||
| | * | Move dead_simp structures into AssignBlock | Camille Mougey | 2016-02-26 | 2 | -72/+59 |
| | | | |||||
| | * | x86/sem: fix xadd | Fabrice Desclaux | 2016-02-26 | 1 | -1/+2 |
| | | | |||||
| | * | AssignBlock | Fabrice Desclaux | 2016-02-26 | 18 | -421/+431 |
| | | | |||||