| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| | * | 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 | 1 | -14/+72 | |
| | | | ||||||
| | * | TranslatorC: for uncommon size, use at least uint8 | Ajax | 2018-07-10 | 1 | -2/+2 | |
| | | | ||||||
| * | | IR: rename DiGraphIR=>IRCFG | Fabrice Desclaux | 2018-07-10 | 3 | -17/+29 | |
| | | | ||||||
| * | | IR: move simplification from ir to data_flow | Fabrice Desclaux | 2018-07-10 | 2 | -138/+260 | |
| |/ | ||||||
| * | Analysis: Add SSA transformation | Tim Blazytko | 2018-07-09 | 2 | -0/+590 | |
| | | | | | Joint work with Niko Schmidt | |||||
| * | Merge pull request #738 from marilafo/fix_offset_branch_armtl | serpilliere | 2018-07-05 | 3 | -10/+38 | |
| |\ | | | | | armtl change branch pc offset | |||||
| | * | armtl change branch pc offset | Marion Lafon | 2018-05-24 | 3 | -10/+38 | |
| | | | | | | | | | Modify some armtl instr to match with documentation | |||||
| * | | IR: pretty print irblocs | Fabrice Desclaux | 2018-07-05 | 1 | -16/+42 | |
| | | | ||||||
| * | | IR: gen ircfg from ir_arch | Fabrice Desclaux | 2018-07-05 | 17 | -232/+273 | |
| | | | ||||||
| * | | IR: split ir/digraph | Fabrice Desclaux | 2018-07-05 | 2 | -256/+254 | |
| | | | ||||||
| * | | IR: remove default regs_init for symbexec | Fabrice Desclaux | 2018-07-05 | 3 | -10/+25 | |
| | | | ||||||
| * | | Analysis: Remove unused function | Fabrice Desclaux | 2018-07-05 | 1 | -30/+0 | |
| | | | ||||||
| * | | Update symbol_pool's deprecated API -> LocationDB | Ajax | 2018-07-03 | 33 | -134/+133 | |
| | | | ||||||
| * | | symbol_pool -> loc_db | Ajax | 2018-07-03 | 45 | -430/+445 | |
| | | | ||||||
| * | | LocationDB: introduced to replace AsmSymbolPool | Ajax | 2018-07-03 | 2 | -224/+460 | |
| | | | ||||||
| * | | 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 | |
| | | | | ||||||
| * | | | 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 #780 from serpilliere/simp_shift_mask | Camille Mougey | 2018-06-22 | 1 | -0/+20 | |
| |\ \ \ | | | | | | | | | Expr: add simplification shift mask | |||||
| | * | | | Expr: add simplification shift mask | Fabrice Desclaux | 2018-06-21 | 1 | -0/+20 | |
| | | | | | ||||||
| * | | | | Merge pull request #781 from commial/fix/code-cleaning | serpilliere | 2018-06-21 | 7 | -88/+1 | |
| |\ \ \ \ | | | | | | | | | | | Code cleaning: remove useless / commented code | |||||
| | * | | | | Code cleaning: remove useless / commented code | Ajax | 2018-06-21 | 7 | -88/+1 | |
| | |/ / / | ||||||
| * / / / | Jitter: deprecate jit.disasm_cb | Ajax | 2018-06-21 | 1 | -3/+11 | |
| |/ / / | ||||||
| * | | | Jitter: rename jitter class into Jitter | Fabrice Desclaux | 2018-06-21 | 7 | -34/+47 | |
| | | | | ||||||
| * | | | Jitter: add simple trace api | Fabrice Desclaux | 2018-06-21 | 2 | -6/+23 | |
| | | | | ||||||
| * | | | Merge pull request #777 from GAJaloyan/master | serpilliere | 2018-06-21 | 1 | -0/+30 | |
| |\ \ \ | | | | | | | | | Adding ccmp aarch64 instruction. | |||||
| | * | | | Adding ccmp aarch64 instruction. | gajaloyan | 2018-06-21 | 1 | -0/+30 | |
| | | | | | ||||||
| * | | | | Merge pull request #778 from serpilliere/fix_parse_asm | Camille Mougey | 2018-06-20 | 1 | -26/+0 | |
| |\ \ \ \ | | | | | | | | | | | Parse_asm: remove useless functions | |||||
| | * | | | | Parse_asm: remove useless functions | Fabrice Desclaux | 2018-06-20 | 1 | -26/+0 | |
| | |/ / / | ||||||
| * | | | | Merge pull request #773 from serpilliere/fix_bad_doc | Camille Mougey | 2018-06-20 | 2 | -3/+3 | |
| |\ \ \ \ | |/ / / |/| | | | Cpu: fix bad doc | |||||
| | * | | | Cpu: fix bad doc | Fabrice Desclaux | 2018-06-19 | 2 | -3/+3 | |
| | | | | | ||||||
| * | | | | Example/ida: use addr to guess arch | Fabrice Desclaux | 2018-06-19 | 3 | -14/+8 | |
| |/ / / | | | | | | | | | | | | | Some arch like ARM depends on address in order to determine which attributes have to be used during analysis | |||||
| * | | | Arm: fix tipo | Fabrice Desclaux | 2018-06-19 | 1 | -1/+1 | |
| | | | | ||||||
| * | | | Unify ExprLoc str with LocKey and others | Ajax | 2018-06-17 | 1 | -1/+1 | |
| | | | | ||||||
| * | | | X86/sem: simplify pop addr | Fabrice Desclaux | 2018-06-15 | 1 | -1/+1 | |
| |/ / | ||||||
| * | | Merge pull request #758 from commial/fix/asmcfg-merge | serpilliere | 2018-06-11 | 1 | -13/+10 | |
| |\ \ | | | | | | | AsmCFG: use higher level API for merge | |||||
| | * | | AsmCFG: use higher level API for merge | Ajax | 2018-06-11 | 1 | -13/+10 | |
| | | | | ||||||
| * | | | DSE: remove useless changes introduced by 61551fa7 | Ajax | 2018-06-11 | 1 | -7/+2 | |
| | | | | ||||||
| * | | | SymbolPool: assert LocKey type in APIs | Ajax | 2018-06-11 | 1 | -0/+2 | |
| |/ / | ||||||
| * | | Merge pull request #755 from serpilliere/remove_sp_in_add_cst | Camille Mougey | 2018-06-11 | 3 | -34/+15 | |
| |\ \ | | | | | | | AsmBlock: remove symbol_pool in add_cst | |||||
| | * | | AsmBlock: remove symbol_pool in add_cst | Fabrice Desclaux | 2018-06-10 | 3 | -34/+15 | |
| | | | | ||||||
| * | | | Jitter: fix gentoo compilation | Fabrice Desclaux | 2018-06-11 | 1 | -1/+1 | |
| |/ / | ||||||
| * | | Merge pull request #754 from serpilliere/fix_asmcfg_label | Camille Mougey | 2018-06-10 | 3 | -11/+31 | |
| |\ \ | | | | | | | Jitter: label to_string | |||||
| | * | | Jitter: label to_string | Fabrice Desclaux | 2018-06-10 | 3 | -11/+31 | |
| | | | | ||||||
| * | | | Merge pull request #753 from acru3l/master | Camille Mougey | 2018-06-10 | 1 | -0/+17 | |
| |\ \ \ | | | | | | | | | Add XMM0-15 to gpreg_dict[] | |||||