about summary refs log tree commit diff stats
Commit message (Expand)AuthorAgeFilesLines
* Merge pull request #517 from commial/fix/mimic-env-md5-aarch64serpilliere2017-04-061-1/+2
|\
| * Tests: run md5_aarch64l from the very beginningAjax2017-04-061-1/+2
|/
* Merge pull request #515 from commial/feature/calling-conv-systemvserpilliere2017-04-0615-76/+435
|\
| * Introduce Sandbox.call, for direct function callingAjax2017-04-063-0/+95
| * MD5_arm: run from the very beginningAjax2017-04-062-4/+1
| * Add regression test for command-line/env support in SandboxAjax2017-04-067-0/+52
| * Add command-line and enviornment-vars argument in SandboxAjax2017-04-061-13/+146
| * 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-065-59/+81
|/
* Merge pull request #516 from serpilliere/fix_aarch64_ldr_pc_relCamille Mougey2017-04-062-4/+62
|\
| * Aarch64: fix ldrFabrice Desclaux2017-04-062-4/+62
|/
* Merge pull request #512 from serpilliere/fix_arm_dumpregCamille Mougey2017-04-051-4/+4
|\
| * Jitter/arm: dump gpregs 32 bit outputFabrice Desclaux2017-04-041-4/+4
* | Merge pull request #513 from serpilliere/fix_ir_dstCamille Mougey2017-04-051-1/+3
|\ \ | |/ |/|
| * IR: fix set_dst linenbFabrice Desclaux2017-04-041-1/+3
|/
* Merge pull request #511 from serpilliere/fix_expr_singletonCamille Mougey2017-03-313-67/+110
|\
| * 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