| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | 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 #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 | ||||
| | * | | | Jitcore: remove useless strucs and rename for more meaningful names | Ajax | 2018-06-22 | 9 | -83/+80 |
| | | | | | |||||
| | * | | | Jitters: use loc_key instead of names or offset for basic block labeling | Ajax | 2018-06-22 | 8 | -57/+27 |
| |/ / / | |||||
| * | | | Merge pull request #782 from commial/refactor/travis-deprecated | serpilliere | 2018-06-22 | 1 | -1/+4 |
| |\ \ \ | | | | | | | | | TravisCI: turn deprecation warning into RuntimeError | ||||
| | * | | | TravisCI: turn deprecation warning into RuntimeError | Ajax | 2018-06-22 | 1 | -1/+4 |
| | | | | | |||||
| * | | | | Merge pull request #776 from Frky/patch-2 | Camille Mougey | 2018-06-22 | 1 | -1/+1 |
| |\ \ \ \ | | | | | | | | | | | Update README.md | ||||
| | * \ \ \ | Merge branch 'master' into patch-2 | Camille Mougey | 2018-06-22 | 45 | -298/+167 |
| | |\ \ \ \ | |/ / / / |/| | | | | |||||
| * | | | | | Merge pull request #780 from serpilliere/simp_shift_mask | Camille Mougey | 2018-06-22 | 2 | -0/+24 |
| |\ \ \ \ \ | | | | | | | | | | | | | Expr: add simplification shift mask | ||||
| | * | | | | | Expr: add simplification shift mask | Fabrice Desclaux | 2018-06-21 | 2 | -0/+24 |
| | | |/ / / | |/| | | | |||||
| * | | | | | Merge pull request #781 from commial/fix/code-cleaning | serpilliere | 2018-06-21 | 16 | -173/+2 |
| |\ \ \ \ \ | | | | | | | | | | | | | Code cleaning: remove useless / commented code | ||||
| | * | | | | | Code cleaning: remove useless / commented code | Ajax | 2018-06-21 | 16 | -173/+2 |
| | |/ / / / | |||||
| * | | | | | Merge pull request #779 from commial/refactor/disasm_cb | serpilliere | 2018-06-21 | 1 | -3/+11 |
| |\ \ \ \ \ | |/ / / / |/| | | | | Jitter: deprecate jit.disasm_cb | ||||
| | * | | | | Jitter: deprecate jit.disasm_cb | Ajax | 2018-06-21 | 1 | -3/+11 |
| |/ / / / | |||||
| * | | | | Merge pull request #774 from serpilliere/fix_jitter_class_name | Camille Mougey | 2018-06-21 | 7 | -34/+47 |
| |\ \ \ \ | | | | | | | | | | | Jitter: rename jitter class into Jitter | ||||
| | * | | | | Jitter: rename jitter class into Jitter | Fabrice Desclaux | 2018-06-21 | 7 | -34/+47 |
| |/ / / / | |||||