about summary refs log tree commit diff stats
Commit message (Collapse)AuthorAgeFilesLines
* Core/asmbloc: move asmbloc to asmblockFabrice Desclaux2017-03-1350-1659/+1669
|
* Asmbloc: rename asm_constraint[to/next] to AsmConstraint[To/Next]Fabrice Desclaux2017-03-133-16/+29
|
* Asmbloc: rename asm_constraint to AsmConstraintFabrice Desclaux2017-03-136-42/+49
|
* 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-1327-97/+99
|
* Asmbloc: rename asm_block_bad to AsmBlockBadFabrice Desclaux2017-03-135-22/+29
|
* Asmbloc: rename asm_bloc to AsmBlockFabrice Desclaux2017-03-134-29/+37
|
* All: rename vars bloc -> blockFabrice Desclaux2017-03-1324-231/+191
|
* IR: rename blocs to blocksFabrice Desclaux2017-03-1317-189/+193
|
* Arch: clean ira/jitFabrice Desclaux2017-03-1310-142/+117
|
* IR/ir: rename ir to IntermediateRepresentationFabrice Desclaux2017-03-1313-34/+54
|
* IR/ir: rename irbloc to IRBlockFabrice Desclaux2017-03-1310-286/+309
|
* IR/Symbexec: rename symbexec to SymbolicExecutionEngineFabrice Desclaux2017-03-1313-42/+69
|
* Merge pull request #500 from rootkiter/fix_addi_for_mips32serpilliere2017-03-081-0/+1
|\ | | | | add mips32's addi simulation
| * add mips32's addi simulationrootkiter2017-03-081-0/+1
|/
* Merge pull request #496 from commial/feature/expr_rangeserpilliere2017-02-228-1/+826
|\ | | | | Feature/expr range
| * Add regression tests for expr_range, based on z3Ajax2017-02-222-0/+99
| |
| * Introduce 'expr_range', to determine the range of possible values of an ExprAjax2017-02-221-0/+65
| |
| * Add regression tests for ModularIntervalsAjax2017-02-172-0/+150
| | | | | | | | | | | | Some of the tests are deactivated, because they took too much time. These tests have been fully run, and one can choose to only actiavte a subset of them
| * 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-132-0/+12
| |
* | Merge pull request #495 from serpilliere/objc_featureCamille Mougey2017-02-179-0/+2030
|\ \ | |/ |/| Objc feature
| * README/Travis: update dependenciesFabrice Desclaux2017-02-172-0/+3
| |
| * Test: add access_c/expr_c exampleFabrice Desclaux2017-02-173-0/+277
| |
| * Tests: add asm humanFabrice Desclaux2017-02-172-0/+45
| |
| * 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-133-0/+271
|\ | | | | Expression: add ExprReduce
| * Expression: add ExprReduceFabrice Desclaux2017-02-133-0/+271
| |
* | Merge pull request #493 from serpilliere/fix_asm_parsingCamille Mougey2017-02-1313-131/+151
|\ \ | |/ |/| Fix asm parsing
| * Core/cpu: change ParseAst nameFabrice Desclaux2017-02-1313-20/+20
| |
| * Core/cpu: '_' labelFabrice Desclaux2017-02-131-0/+6
| | | | | | | | Use '_' in assembly to reference address next to current instruction
| * Core/cpu: improve asm fromstringFabrice Desclaux2017-02-137-114/+128
|/ | | | | Determine label/integer sizes using context Default size in other cases
* Merge pull request #492 from serpilliere/fix_mem_accessesCamille Mougey2017-02-135-1077/+1156
|\ | | | | Fix mem accesses
| * Jitter: remove useless segm truncFabrice Desclaux2017-02-122-9/+4
| |
| * X86/sem: AutopepFabrice Desclaux2017-02-121-55/+121
| |
| * X86/sem: clean parenthesisFabrice Desclaux2017-02-121-5/+5
| |
| * X86/sem: Fix unused paramFabrice Desclaux2017-02-121-197/+197
| |
| * X86/sem: fix exprmem generationFabrice Desclaux2017-02-121-79/+82
| |
| * Expression: REPLACE IS_OP_SEGMFabrice Desclaux2017-02-123-8/+20
| | | | | | | | | | | | | | /!\ API MODIFICATION: is_op_segm becomes is_mem_segm is_op_segm: Returns True if is ExprOp and op == 'segm' is_mem_segm: Returns True if is ExprMem and ptr is_op_segm
| * X86: fix mem addr; fix variables namesFabrice Desclaux2017-02-121-1020/+1023
|/
* Merge pull request #491 from serpilliere/fix_asmcfg_strCamille Mougey2017-02-071-0/+10
|\ | | | | Asmbloc: Fix AsmCfg str
| * Asmbloc: Fix AsmCfg strFabrice Desclaux2017-02-071-0/+10
|/
* Merge pull request #489 from commial/example/traceserpilliere2017-02-073-2/+64
|\ | | | | Example/trace
| * Add a tracer exampleAjax2017-02-062-0/+60
| |
| * JitCorePython: avoid dirty hack for symbexec modificationAjax2017-02-061-2/+4
|/
* Merge pull request #487 from commial/update-refsserpilliere2017-02-051-0/+23
|\ | | | | Update external references to Miasm
| * Add SSTIC referencesAjax2017-02-021-0/+3
| |
| * Update external references to MiasmAjax2017-02-021-0/+20
| |