about summary refs log tree commit diff stats
Commit message (Collapse)AuthorAgeFilesLines
...
* Merge pull request #795 from commial/features/better-float-sseserpilliere2018-07-1010-396/+931
|\ | | | | Better float support & additionnal SSE
| * TestALL: add QEMU sse test for LLVM and GCCAjax2018-07-101-0/+4
| |
| * Add support for new SSE operations (based on QEMU i386 test_sse)Ajax2018-07-101-104/+299
| |
| * Expression: introduce operation on float (comparision, equality to ↵Ajax2018-07-101-0/+77
| | | | | | | | NaN/sNan/qNaN)
| * Add the new float ops support for the C jitter and fix old onesAjax2018-07-101-15/+146
| |
| * Add the new float ops support for the C jitterAjax2018-07-103-138/+195
| |
| * Introduce the new float notation and operations for x86 semanticAjax2018-07-102-114/+89
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Basically, operations are: - fpconvert_fp32, fpconvert_fp64, fpconvert_fp80: convert from a floating point to another (truncate or extend) - sint_to_fp32, sint_to_fp64, sint_to_fp80: convert from a signed integer to a floating point number (original size can differ) - fp_to_sint32, fp_to_sint64, ...: convert from a floating point number to a signed integer, as ExprInt. Rounding mode is nearbyint. (original size can differ) - fpround_nearbyint: convert from floating point to floating point using the nearest int - fpround_towardszero: convert from floating point to floating point, towards zero
| * JitCore x86: use uint64_t instead of double to store float_st*Ajax2018-07-101-8/+8
| | | | | | | | This avoid C cast when just saving and loading from the structure
| * Add new SSE instruction description and updates old onesAjax2018-07-102-15/+111
| |
| * TranslatorC: for uncommon size, use at least uint8Ajax2018-07-101-2/+2
| |
* | Merge pull request #793 from serpilliere/clean_rename_ircfgCamille Mougey2018-07-107-159/+828
|\ \ | |/ |/| Clean rename ircfg
| * IR: rename DiGraphIR=>IRCFGFabrice Desclaux2018-07-104-18/+30
| |
| * Test: add reduce ircfg reg testsFabrice Desclaux2018-07-102-0/+532
| |
| * Examples: updt apiFabrice Desclaux2018-07-102-11/+14
| |
| * IR: move simplification from ir to data_flowFabrice Desclaux2018-07-102-138/+260
|/
* Merge pull request #713 from serpilliere/ssa_transformCamille Mougey2018-07-094-2/+605
|\ | | | | Ssa transform
| * SSA: add testsFabrice Desclaux2018-07-091-2/+2
| |
| * Analysis: Add SSA transformationTim Blazytko2018-07-093-0/+603
|/ | | | Joint work with Niko Schmidt
* Merge pull request #790 from serpilliere/fix_ida_dg_exampleCamille Mougey2018-07-061-6/+6
|\ | | | | Example/ida: fix dg
| * Example/ida: fix dgFabrice Desclaux2018-07-051-6/+6
| |
* | Merge pull request #791 from serpilliere/fix_full_defuseCamille Mougey2018-07-061-1/+1
|\ \ | |/ |/| Example: fix defuse
| * Example: fix defuseFabrice Desclaux2018-07-051-1/+1
|/
* Merge pull request #738 from marilafo/fix_offset_branch_armtlserpilliere2018-07-054-10/+41
|\ | | | | armtl change branch pc offset
| * armtl change branch pc offsetMarion Lafon2018-05-244-10/+41
| | | | | | | | Modify some armtl instr to match with documentation
* | Merge pull request #789 from commial/feature/readme-colorsserpilliere2018-07-051-30/+30
|\ \ | | | | | | README: add python console coloration
| * | README: add python console colorationAjax2018-07-051-30/+30
|/ /
* | Merge pull request #784 from serpilliere/split_ir_graphCamille Mougey2018-07-0537-981/+1252
|\ \ | | | | | | Split ir graph
| * | IR: pretty print irblocsFabrice Desclaux2018-07-051-16/+42
| | |
| * | IR: gen ircfg from ir_archFabrice Desclaux2018-07-0537-770/+1017
| | |
| * | IR: split ir/digraphFabrice Desclaux2018-07-052-256/+254
|/ /
* | Merge pull request #788 from serpilliere/ir_remove_default_regs_initCamille Mougey2018-07-0514-180/+247
|\ \ | | | | | | Ir remove default regs init
| * | IR: remove default regs_init for symbexecFabrice Desclaux2018-07-0513-150/+247
| | |
| * | Analysis: Remove unused functionFabrice Desclaux2018-07-051-30/+0
|/ /
* | Merge pull request #787 from commial/feature/locationdbserpilliere2018-07-0390-1025/+1310
|\ \ | | | | | | LocationDB
| * | Update symbol_pool's deprecated API -> LocationDBAjax2018-07-0356-272/+198
| | |
| * | symbol_pool -> loc_dbAjax2018-07-0386-706/+720
| | |
| * | LocationDB: introduced to replace AsmSymbolPoolAjax2018-07-034-224/+569
| | |
| * | ExprLoc/LocKey: avoid ambiguity in string representationAjax2018-07-021-2/+2
|/ /
* | Merge pull request #786 from guedou/mips32_dstflow2labelserpilliere2018-07-021-2/+2
|\ \ | | | | | | Fix mips32 dstflow2label()
| * | Remove incorrect attributeGuillaume Valadon2018-07-011-2/+2
| | |
* | | Merge pull request #783 from commial/refactor/jitter-cleaningserpilliere2018-06-2213-148/+125
|\ \ \ | | | | | | | | Refactor/jitter cleaning
| * | | Jitcore: run_at actually takes a list of stop_offset, instead of aAjax2018-06-225-14/+24
| | | | | | | | | | | | | | | | "breakpoints" specificity
| * | | Jitcore: remove useless strucs and rename for more meaningful namesAjax2018-06-229-83/+80
| | | |
| * | | Jitters: use loc_key instead of names or offset for basic block labelingAjax2018-06-228-57/+27
|/ / /
* | | Merge pull request #782 from commial/refactor/travis-deprecatedserpilliere2018-06-221-1/+4
|\ \ \ | | | | | | | | TravisCI: turn deprecation warning into RuntimeError
| * | | TravisCI: turn deprecation warning into RuntimeErrorAjax2018-06-221-1/+4
| | | |
* | | | Merge pull request #776 from Frky/patch-2Camille Mougey2018-06-221-1/+1
|\ \ \ \ | | | | | | | | | | Update README.md
| * \ \ \ Merge branch 'master' into patch-2Camille Mougey2018-06-2245-298/+167
| |\ \ \ \ | |/ / / / |/| | | |
* | | | | Merge pull request #780 from serpilliere/simp_shift_maskCamille Mougey2018-06-222-0/+24
|\ \ \ \ \ | | | | | | | | | | | | Expr: add simplification shift mask
| * | | | | Expr: add simplification shift maskFabrice Desclaux2018-06-212-0/+24
| | |/ / / | |/| | |