about summary refs log tree commit diff stats
Commit message (Expand)AuthorAgeFilesLines
* Expr: fix singleton; add reg testFabrice Desclaux2017-03-313-67/+110
* Merge pull request #510 from commial/feature/modinterval-mulserpilliere2017-03-304-3/+44
|\
| * Update regression tests fo ModularIntervals mulAjax2017-03-302-0/+12
| * 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
|/
* Merge pull request #509 from commial/fix/int-singletonserpilliere2017-03-3039-664/+675
|\
| * Use non-deprecated ExprInt form in sembuilderAjax2017-03-301-5/+6
| * 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
|/
* Merge pull request #508 from carolineLe/def_useserpilliere2017-03-298-318/+346
|\
| * analysis: Introduction of use-definition chainsCaroline Leman2017-03-298-318/+346
* | Merge pull request #507 from serpilliere/fix_exprnodeCamille Mougey2017-03-291-11/+11
|\ \
| * | 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 tipoFabrice Desclaux2017-03-271-1/+1
|/
* Merge pull request #505 from serpilliere/elf_infosCamille Mougey2017-03-261-12/+16
|\
| * 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 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 blocsFabrice Desclaux2017-03-171-1/+1
|/
* Merge pull request #502 from serpilliere/fix_symb_execCamille Mougey2017-03-161-3/+8
|\
| * Symbexec: Fix state updateFabrice Desclaux2017-03-161-3/+8
|/
* Merge pull request #497 from serpilliere/rename_symbCamille Mougey2017-03-1476-2595/+2672
|\
| * 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 simulationrootkiter2017-03-081-0/+1
|/
* Merge pull request #496 from commial/feature/expr_rangeserpilliere2017-02-228-1/+826
|\
| * 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
| * 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