about summary refs log tree commit diff stats
Commit message (Expand)AuthorAgeFilesLines
* Introduce attrib_to_regs: map attrib to corresponding registersAjax2017-04-185-0/+26
* Jitter: fix pending memory breakpoint (#527)serpilliere2017-04-181-0/+8
* Jitter: fix symb cache name (#525)serpilliere2017-04-185-14/+27
* Merge pull request #524 from serpilliere/fix_codegen_error_post_instrCamille Mougey2017-04-183-8/+54
|\
| * Jitter: regression test for post instrFabrice Desclaux2017-04-182-0/+47
| * Jitter: fix post instr exceptionFabrice Desclaux2017-04-171-8/+7
* | Merge pull request #519 from serpilliere/rm_dup_apiCamille Mougey2017-04-174-42/+0
|\ \ | |/ |/|
| * Ir: rm dup api. Use get_out_regsFabrice Desclaux2017-04-144-42/+0
|/
* 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
|/