about summary refs log tree commit diff stats
path: root/miasm2 (follow)
Commit message (Collapse)AuthorAgeFilesLines
...
* | Merge pull request #524 from serpilliere/fix_codegen_error_post_instrCamille Mougey2017-04-181-8/+7
|\ \ | | | | | | Jitter: fix post instr exception
| * | Jitter: fix post instr exceptionFabrice Desclaux2017-04-171-8/+7
| |/ | | | | | | | | PC must not be reevaluated on post instruction error. (llvm backend not affected)
* / Ir: rm dup api. Use get_out_regsFabrice Desclaux2017-04-144-42/+0
|/
* Introduce Sandbox.call, for direct function callingAjax2017-04-061-0/+71
|
* Add command-line and enviornment-vars argument in SandboxAjax2017-04-061-13/+146
| | | | | Note: lot of code is duplicated here, but due to Sandbox class hierarchy, merging them is not trivial (for now)
* Add basic libc_start_main stub for LinuxAjax2017-04-061-0/+30
|
* Introduce a new API 'func_prepare_<callingconv>' for calling a functionAjax2017-04-063-1/+31
|
* Introduce a naive "System V" calling conventionAjax2017-04-064-55/+77
|
* Aarch64: fix ldrFabrice Desclaux2017-04-061-3/+55
|
* Merge pull request #512 from serpilliere/fix_arm_dumpregCamille Mougey2017-04-051-4/+4
|\ | | | | Jitter/arm: dump gpregs 32 bit output
| * Jitter/arm: dump gpregs 32 bit outputFabrice Desclaux2017-04-041-4/+4
| |
* | IR: fix set_dst linenbFabrice Desclaux2017-04-041-1/+3
|/
* Expr: fix singleton; add reg testFabrice Desclaux2017-03-311-67/+43
|
* ModularIntervals: naive support for * operationAjax2017-03-302-1/+24
|
* ModularIntervals: add length capabilityAjax2017-03-301-0/+4
| | | | length is used due to Python incompablity with __len__ values > 32bits
* ModularIntervals: fix init with empty intervalAjax2017-03-301-2/+4
|
* Use non-deprecated ExprInt form in sembuilderAjax2017-03-301-5/+6
|
* Replace ExprInt[num](x) -> ExprInt(x, num)Ajax2017-03-3021-312/+314
|
* Deprecate ExprInt[num] and ExprInt_from(expr, num)Ajax2017-03-301-0/+12
|
* Let ExprInt always use its Singleton capabilitiesAjax2017-03-302-48/+45
| | | | | Remove the optionnal 'size' argument form, use pointer equality to speed up comparision
* Merge pull request #508 from carolineLe/def_useserpilliere2017-03-292-245/+259
|\ | | | | analysis: Introduction of use-definition chains
| * analysis: Introduction of use-definition chainsCaroline Leman2017-03-292-245/+259
| | | | | | | | | | | | - previous dead_simp function has been moved to data_flow.py - ira class has been simplified - reach analysis code has been 'clarified'
* | ExprReduce: fix exprnode strFabrice Desclaux2017-03-281-11/+11
|/
* Container: add dynsym symbolsFabrice Desclaux2017-03-251-12/+16
|
* Symbexec: fix tipo symbmngrFabrice Desclaux2017-03-171-4/+4
|
* IR: fix support old api blocsFabrice Desclaux2017-03-171-1/+1
|
* Symbexec: Fix state updateFabrice Desclaux2017-03-161-3/+8
|
* Core/asmblock: rename asmbloc_final to asmblock_finalFabrice Desclaux2017-03-131-2/+9
|
* Core/asmbloc: move asmbloc to asmblockFabrice Desclaux2017-03-1330-1627/+1637
|
* Asmbloc: rename asm_constraint[to/next] to AsmConstraint[To/Next]Fabrice Desclaux2017-03-132-8/+21
|
* Asmbloc: rename asm_constraint to AsmConstraintFabrice Desclaux2017-03-134-31/+38
|
* Asmbloc: rename asm_raw to AsmRawFabrice Desclaux2017-03-132-10/+17
|
* Asmbloc: rename asm_symbol_pool to AsmSymbolPoolFabrice Desclaux2017-03-1310-25/+32
|
* Asmbloc: rename asm_label to AsmLabelFabrice Desclaux2017-03-1319-54/+56
|
* Asmbloc: rename asm_block_bad to AsmBlockBadFabrice Desclaux2017-03-134-19/+26
|
* Asmbloc: rename asm_bloc to AsmBlockFabrice Desclaux2017-03-133-21/+29
|
* All: rename vars bloc -> blockFabrice Desclaux2017-03-1311-147/+107
|
* IR: rename blocs to blocksFabrice Desclaux2017-03-138-46/+50
|
* Arch: clean ira/jitFabrice Desclaux2017-03-1310-142/+117
|
* IR/ir: rename ir to IntermediateRepresentationFabrice Desclaux2017-03-1312-33/+53
|
* IR/ir: rename irbloc to IRBlockFabrice Desclaux2017-03-138-45/+68
|
* IR/Symbexec: rename symbexec to SymbolicExecutionEngineFabrice Desclaux2017-03-135-21/+48
|
* add mips32's addi simulationrootkiter2017-03-081-0/+1
|
* Merge pull request #496 from commial/feature/expr_rangeserpilliere2017-02-224-1/+573
|\ | | | | Feature/expr range
| * 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
| |
| * Right operator of a>> is unsignedAjax2017-02-151-1/+1
| |
| * Interval: add .length computationAjax2017-02-131-0/+8
| |
* | Core: add C manipulatorsFabrice Desclaux2017-02-173-0/+1705
|/ | | | This module implements C basic manipulators.
* Merge pull request #494 from serpilliere/expression_reducerCamille Mougey2017-02-131-0/+177
|\ | | | | Expression: add ExprReduce