about summary refs log tree commit diff stats
Commit message (Collapse)AuthorAgeFilesLines
* Replace ExprInt[num](x) -> ExprInt(x, num)Ajax2017-03-3038-594/+595
|
* Deprecate ExprInt[num] and ExprInt_from(expr, num)Ajax2017-03-301-0/+12
|
* Let ExprInt always use its Singleton capabilitiesAjax2017-03-303-68/+65
| | | | | Remove the optionnal 'size' argument form, use pointer equality to speed up comparision
* Merge pull request #508 from carolineLe/def_useserpilliere2017-03-298-318/+346
|\ | | | | analysis: Introduction of use-definition chains
| * analysis: Introduction of use-definition chainsCaroline Leman2017-03-298-318/+346
| | | | | | | | | | | | - previous dead_simp function has been moved to data_flow.py - ira class has been simplified - reach analysis code has been 'clarified'
* | Merge pull request #507 from serpilliere/fix_exprnodeCamille Mougey2017-03-291-11/+11
|\ \ | | | | | | ExprReduce: fix exprnode str
| * | ExprReduce: fix exprnode strFabrice Desclaux2017-03-281-11/+11
| | |
* | | Merge pull request #506 from serpilliere/fix_tipoCamille Mougey2017-03-281-1/+1
|\ \ \ | |/ / |/| / | |/ Example/full: fix tipo
| * Example/full: fix tipoFabrice Desclaux2017-03-271-1/+1
|/
* Merge pull request #505 from serpilliere/elf_infosCamille Mougey2017-03-261-12/+16
|\ | | | | Container: add dynsym symbols
| * Container: add dynsym symbolsFabrice Desclaux2017-03-251-12/+16
|/
* Merge pull request #504 from serpilliere/fix_symb_mngr_nameFlorent2017-03-171-4/+4
|\ | | | | Symbexec: fix tipo symbmngr
| * Symbexec: fix tipo symbmngrFabrice Desclaux2017-03-171-4/+4
|/
* Merge pull request #503 from serpilliere/fix_x86_blocs_apiFlorent2017-03-171-1/+1
|\ | | | | IR: fix support old api blocs
| * IR: fix support old api blocsFabrice Desclaux2017-03-171-1/+1
|/
* Merge pull request #502 from serpilliere/fix_symb_execCamille Mougey2017-03-161-3/+8
|\ | | | | Symbexec: Fix state update
| * Symbexec: Fix state updateFabrice Desclaux2017-03-161-3/+8
|/
* Merge pull request #497 from serpilliere/rename_symbCamille Mougey2017-03-1476-2595/+2672
|\ | | | | Rename symb
| * Core/asmblock: rename asmbloc_final to asmblock_finalFabrice Desclaux2017-03-131-2/+9
| |
| * 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