about summary refs log tree commit diff stats
path: root/miasm2/analysis (follow)
Commit message (Expand)AuthorAgeFilesLines
...
| * IR: avoid IRBlock attribute creationFabrice Desclaux2017-05-241-27/+18
| * IR: Make IRBlock immutableFabrice Desclaux2017-05-241-2/+4
* | Ensure there is no multi-line basic block in the cacheAjax2017-05-241-0/+3
|/
* Merge pull request #536 from commial/refactor/gcc-default-jitterserpilliere2017-04-211-2/+2
|\
| * Let GCC be the default jitterAjax2017-04-211-2/+2
* | Merge pull request #535 from commial/fix/match_expr-usesserpilliere2017-04-211-2/+2
|\ \
| * | Remove deprecated use of MatchExprAjax2017-04-211-2/+2
| |/
* / DSE: support absence of z3Ajax2017-04-211-2/+9
|/
* Ir: Add ir graph helpersFabrice Desclaux2017-04-211-0/+3
* Merge pull request #518 from commial/feature/dseserpilliere2017-04-211-0/+545
|\
| * Handle symbolic exec stuck on lbl_genAjax2017-04-181-38/+61
| * Introduce a module for Dynamic Symbolic ExecutionAjax2017-04-181-0/+522
* | IRBlock: move lines in AssignBlockFabrice Desclaux2017-04-201-1/+1
* | Ir: make AssignBlock immutableFabrice Desclaux2017-04-202-5/+8
|/
* Introduce Sandbox.call, for direct function callingAjax2017-04-061-0/+71
* Add command-line and enviornment-vars argument in SandboxAjax2017-04-061-13/+146
* ModularIntervals: naive support for * operationAjax2017-03-302-1/+24
* ModularIntervals: add length capabilityAjax2017-03-301-0/+4
* ModularIntervals: fix init with empty intervalAjax2017-03-301-2/+4
* analysis: Introduction of use-definition chainsCaroline Leman2017-03-291-0/+252
* Container: add dynsym symbolsFabrice Desclaux2017-03-251-12/+16
* Core/asmbloc: move asmbloc to asmblockFabrice Desclaux2017-03-133-3/+3
* Asmbloc: rename asm_constraint[to/next] to AsmConstraint[To/Next]Fabrice Desclaux2017-03-131-3/+3
* Asmbloc: rename asm_symbol_pool to AsmSymbolPoolFabrice Desclaux2017-03-132-6/+6
* Asmbloc: rename asm_label to AsmLabelFabrice Desclaux2017-03-131-8/+8
* All: rename vars bloc -> blockFabrice Desclaux2017-03-132-7/+7
* IR: rename blocs to blocksFabrice Desclaux2017-03-133-12/+12
* IR/ir: rename irbloc to IRBlockFabrice Desclaux2017-03-131-3/+3
* IR/Symbexec: rename symbexec to SymbolicExecutionEngineFabrice Desclaux2017-03-132-6/+6
* Introduce 'expr_range', to determine the range of possible values of an ExprAjax2017-02-221-0/+65
* Introduce ModularIntervals, intervals supporting modular arithmeticAjax2017-02-171-0/+499
* DepGraph: fix emulationFabrice Desclaux2017-01-091-18/+30
* remove #! command line on files not supposed to be run at top levelAymeric Vincent2017-01-053-3/+0
* DepGraph: clean stepFabrice Desclaux2016-12-231-14/+3
* Expression: remove is_term attributeserpilliere2016-11-041-6/+1
* Machine: fix jit dependenciesFabrice Desclaux2016-11-031-22/+68
* Update int(XX.arg) -> int(XX)Ajax2016-09-161-3/+3
* Jitter/win: fix TIB accessesFabrice Desclaux2016-09-061-1/+1
* Get back the name of the architecture asked in MachineAjax2016-06-151-0/+5
* Depgraph: use has_loop algorithm to spot data flow loops; fix reg testFabrice Desclaux2016-03-231-3/+3
* Introduce Container.symbol_pool, containing container symbols (if any)Ajax2016-03-211-0/+23
* DependencyGraph: emul minimum effectsFabrice Desclaux2016-03-211-20/+29
* Depgraph: updt apiFabrice Desclaux2016-03-211-17/+16
* Depgraph: implicit emulFabrice Desclaux2016-03-171-3/+112
* Depgraph: simplified algorithmFabrice Desclaux2016-03-171-680/+175
* AssignBlockFabrice Desclaux2016-02-262-17/+19
* Core/utils: autopep8Fabrice Desclaux2016-02-191-1/+1
* Jitter/vm: Suppport memory commentFabrice Desclaux2016-02-191-3/+7
* Remove unused variablesAjax2016-02-042-5/+4
* Fix dangerous-default-valueAjax2016-01-301-1/+3