| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Jitter: skip jit import on minimal install | Fabrice Desclaux | 2018-07-13 | 1 | -4/+12 |
| | | |||||
| * | Merge pull request #763 from guedou/Toshiba_MeP-c4 | serpilliere | 2018-07-13 | 56 | -2/+8914 |
| |\ | | | | | Toshiba MeP support | ||||
| | * | Toshiba MeP support | Guillaume Valadon | 2018-07-12 | 56 | -2/+8914 |
| |/ | |||||
| * | Merge pull request #797 from aguinet/fix/arm_call | serpilliere | 2018-07-12 | 1 | -2/+2 |
| |\ | | | | | Fix ARM C function calling | ||||
| | * | Fix ARM C function calling | Adrien Guinet | 2018-07-12 | 1 | -2/+2 |
| |/ | | | | | Arguments were not pushed correctly on the stack (for functions with more than four arguments) | ||||
| * | Merge pull request #796 from commial/fix/merge_block | serpilliere | 2018-07-12 | 2 | -3/+5 |
| |\ | | | | | Fix/merge block | ||||
| | * | IR-Merge-blocks: ensure son is always in blocks | Ajax | 2018-07-12 | 1 | -1/+3 |
| | | | | | | | | | | | | | Avoid a corner case in which a block is still in the todo list after being deleted by others simplification, or case like a -> b -> c, with a and b in blocks, b being a jmpblock. | ||||
| | * | Disasm/Full: fix inversion in output names | Ajax | 2018-07-12 | 1 | -2/+2 |
| |/ | |||||
| * | Merge pull request #795 from commial/features/better-float-sse | serpilliere | 2018-07-10 | 10 | -396/+931 |
| |\ | | | | | Better float support & additionnal SSE | ||||
| | * | TestALL: add QEMU sse test for LLVM and GCC | Ajax | 2018-07-10 | 1 | -0/+4 |
| | | | |||||
| | * | Add support for new SSE operations (based on QEMU i386 test_sse) | Ajax | 2018-07-10 | 1 | -104/+299 |
| | | | |||||
| | * | Expression: introduce operation on float (comparision, equality to ↵ | Ajax | 2018-07-10 | 1 | -0/+77 |
| | | | | | | | | | NaN/sNan/qNaN) | ||||
| | * | Add the new float ops support for the C jitter and fix old ones | Ajax | 2018-07-10 | 1 | -15/+146 |
| | | | |||||
| | * | Add the new float ops support for the C jitter | Ajax | 2018-07-10 | 3 | -138/+195 |
| | | | |||||
| | * | Introduce the new float notation and operations for x86 semantic | Ajax | 2018-07-10 | 2 | -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* | Ajax | 2018-07-10 | 1 | -8/+8 |
| | | | | | | | | | This avoid C cast when just saving and loading from the structure | ||||
| | * | Add new SSE instruction description and updates old ones | Ajax | 2018-07-10 | 2 | -15/+111 |
| | | | |||||
| | * | TranslatorC: for uncommon size, use at least uint8 | Ajax | 2018-07-10 | 1 | -2/+2 |
| | | | |||||
| * | | Merge pull request #793 from serpilliere/clean_rename_ircfg | Camille Mougey | 2018-07-10 | 7 | -159/+828 |
| |\ \ | |/ |/| | Clean rename ircfg | ||||
| | * | IR: rename DiGraphIR=>IRCFG | Fabrice Desclaux | 2018-07-10 | 4 | -18/+30 |
| | | | |||||
| | * | Test: add reduce ircfg reg tests | Fabrice Desclaux | 2018-07-10 | 2 | -0/+532 |
| | | | |||||
| | * | Examples: updt api | Fabrice Desclaux | 2018-07-10 | 2 | -11/+14 |
| | | | |||||
| | * | IR: move simplification from ir to data_flow | Fabrice Desclaux | 2018-07-10 | 2 | -138/+260 |
| |/ | |||||
| * | Merge pull request #713 from serpilliere/ssa_transform | Camille Mougey | 2018-07-09 | 4 | -2/+605 |
| |\ | | | | | Ssa transform | ||||
| | * | SSA: add tests | Fabrice Desclaux | 2018-07-09 | 1 | -2/+2 |
| | | | |||||
| | * | Analysis: Add SSA transformation | Tim Blazytko | 2018-07-09 | 3 | -0/+603 |
| |/ | | | | Joint work with Niko Schmidt | ||||
| * | Merge pull request #790 from serpilliere/fix_ida_dg_example | Camille Mougey | 2018-07-06 | 1 | -6/+6 |
| |\ | | | | | Example/ida: fix dg | ||||
| | * | Example/ida: fix dg | Fabrice Desclaux | 2018-07-05 | 1 | -6/+6 |
| | | | |||||
| * | | Merge pull request #791 from serpilliere/fix_full_defuse | Camille Mougey | 2018-07-06 | 1 | -1/+1 |
| |\ \ | |/ |/| | Example: fix defuse | ||||
| | * | Example: fix defuse | Fabrice Desclaux | 2018-07-05 | 1 | -1/+1 |
| |/ | |||||
| * | Merge pull request #738 from marilafo/fix_offset_branch_armtl | serpilliere | 2018-07-05 | 4 | -10/+41 |
| |\ | | | | | armtl change branch pc offset | ||||
| | * | armtl change branch pc offset | Marion Lafon | 2018-05-24 | 4 | -10/+41 |
| | | | | | | | | | Modify some armtl instr to match with documentation | ||||
| * | | Merge pull request #789 from commial/feature/readme-colors | serpilliere | 2018-07-05 | 1 | -30/+30 |
| |\ \ | | | | | | | README: add python console coloration | ||||
| | * | | README: add python console coloration | Ajax | 2018-07-05 | 1 | -30/+30 |
| |/ / | |||||
| * | | Merge pull request #784 from serpilliere/split_ir_graph | Camille Mougey | 2018-07-05 | 37 | -981/+1252 |
| |\ \ | | | | | | | Split ir graph | ||||
| | * | | IR: pretty print irblocs | Fabrice Desclaux | 2018-07-05 | 1 | -16/+42 |
| | | | | |||||
| | * | | IR: gen ircfg from ir_arch | Fabrice Desclaux | 2018-07-05 | 37 | -770/+1017 |
| | | | | |||||
| | * | | IR: split ir/digraph | Fabrice Desclaux | 2018-07-05 | 2 | -256/+254 |
| |/ / | |||||
| * | | Merge pull request #788 from serpilliere/ir_remove_default_regs_init | Camille Mougey | 2018-07-05 | 14 | -180/+247 |
| |\ \ | | | | | | | Ir remove default regs init | ||||
| | * | | IR: remove default regs_init for symbexec | Fabrice Desclaux | 2018-07-05 | 13 | -150/+247 |
| | | | | |||||
| | * | | Analysis: Remove unused function | Fabrice Desclaux | 2018-07-05 | 1 | -30/+0 |
| |/ / | |||||
| * | | Merge pull request #787 from commial/feature/locationdb | serpilliere | 2018-07-03 | 90 | -1025/+1310 |
| |\ \ | | | | | | | LocationDB | ||||
| | * | | Update symbol_pool's deprecated API -> LocationDB | Ajax | 2018-07-03 | 56 | -272/+198 |
| | | | | |||||
| | * | | symbol_pool -> loc_db | Ajax | 2018-07-03 | 86 | -706/+720 |
| | | | | |||||
| | * | | LocationDB: introduced to replace AsmSymbolPool | Ajax | 2018-07-03 | 4 | -224/+569 |
| | | | | |||||
| | * | | ExprLoc/LocKey: avoid ambiguity in string representation | Ajax | 2018-07-02 | 1 | -2/+2 |
| |/ / | |||||
| * | | Merge pull request #786 from guedou/mips32_dstflow2label | serpilliere | 2018-07-02 | 1 | -2/+2 |
| |\ \ | | | | | | | Fix mips32 dstflow2label() | ||||
| | * | | Remove incorrect attribute | Guillaume Valadon | 2018-07-01 | 1 | -2/+2 |
| | | | | |||||
| * | | | Merge pull request #783 from commial/refactor/jitter-cleaning | serpilliere | 2018-06-22 | 13 | -148/+125 |
| |\ \ \ | | | | | | | | | Refactor/jitter cleaning | ||||
| | * | | | Jitcore: run_at actually takes a list of stop_offset, instead of a | Ajax | 2018-06-22 | 5 | -14/+24 |
| | | | | | | | | | | | | | | | | | "breakpoints" specificity | ||||