| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Merge pull request #1319 from serpilliere/fix_z3_div_add_simpl | serpilliere | 2020-12-04 | 7 | -17/+155 |
| |\ | | | | | Fix z3 div; add simpl | ||||
| | * | Update ida example (use stack) | Fabrice Desclaux | 2020-12-03 | 1 | -12/+32 |
| | | | |||||
| | * | Add slice/compose simplification | Fabrice Desclaux | 2020-12-03 | 3 | -0/+74 |
| | | | |||||
| | * | Add z3 div reg test | Fabrice Desclaux | 2020-12-03 | 2 | -0/+41 |
| | | | |||||
| | * | Fix z3 div translator | Fabrice Desclaux | 2020-12-03 | 1 | -5/+8 |
| |/ | |||||
| * | Merge pull request #1317 from w4kfu/aarch64_ldp_fix | serpilliere | 2020-12-02 | 1 | -4/+2 |
| |\ | | | | | [AARCH64] fix 'ldp' disas ; remove duplicate 'umsubh' | ||||
| | * | [AARCH64] fix 'ldp' disas ; remove duplicate 'umsubh' | w4kfu | 2020-11-26 | 1 | -4/+2 |
| | | | |||||
| * | | Merge pull request #1318 from serpilliere/add_translator_missing_op_eq | serpilliere | 2020-12-02 | 3 | -0/+20 |
| |\ \ | | | | | | | Add missing == operator in translators | ||||
| | * | | Add missing == operator in translators | Fabrice Desclaux | 2020-12-01 | 3 | -0/+20 |
| |/ / | |||||
| * | | Merge pull request #1316 from serpilliere/fix_propag_expression | serpilliere | 2020-11-27 | 1 | -8/+18 |
| |\ \ | | | | | | | Fix propagate expression infinite loop | ||||
| | * | | Fix propagate expression infinite loop | Fabrice Desclaux | 2020-11-26 | 1 | -8/+18 |
| | | | | |||||
| * | | | Merge pull request #1313 from w4kfu/aarch64_extr_fix | serpilliere | 2020-11-21 | 2 | -1/+4 |
| |\ \ \ | |_|/ |/| | | [AARCH64] Fix 'extr' disassembly | ||||
| | * | | [AARCH64] add another test extr | w4kfu | 2020-11-19 | 1 | -0/+2 |
| | | | | |||||
| | * | | [AARCH64] Fix 'extr' disassembly | w4kfu | 2020-11-19 | 1 | -1/+2 |
| |/ / | |||||
| * | | Merge pull request #1309 from serpilliere/updt_ssa | serpilliere | 2020-11-19 | 1 | -1/+3 |
| |\ \ | |/ |/| | SSA: replace only final expr | ||||
| | * | SSA: replace only final expr | Fabrice Desclaux | 2020-11-18 | 1 | -1/+3 |
| |/ | |||||
| * | Merge pull request #1306 from serpilliere/fix_ida_example | serpilliere | 2020-10-30 | 4 | -20/+30 |
| |\ | | | | | Fix ida examples | ||||
| | * | Fix ida examples | Fabrice Desclaux | 2020-10-30 | 4 | -20/+30 |
| |/ | |||||
| * | Merge pull request #1299 from serpilliere/ir_lift_doc | serpilliere | 2020-10-14 | 1 | -0/+1878 |
| |\ | | | | | Add IR lift documentation | ||||
| | * | Add IR lift documentation | Fabrice Desclaux | 2020-10-14 | 1 | -0/+1878 |
| |/ | |||||
| * | Merge pull request #1302 from serpilliere/generify_graphviz | serpilliere | 2020-10-11 | 3 | -79/+60 |
| |\ | | | | | Graphviz moved to generic DiGraph | ||||
| | * | Use default names in parse_asm | Fabrice Desclaux | 2020-10-11 | 1 | -14/+1 |
| | | | |||||
| | * | Graphviz moved to generic DiGraph | Fabrice Desclaux | 2020-10-11 | 2 | -65/+59 |
| |/ | |||||
| * | Merge pull request #1301 from serpilliere/add_ir_graphviz | serpilliere | 2020-10-09 | 1 | -0/+65 |
| |\ | | | | | Add IRCfgGraphviz class | ||||
| | * | Add IRCfgGraphviz class | Fabrice Desclaux | 2020-10-09 | 1 | -0/+65 |
| |/ | |||||
| * | Merge pull request #1300 from serpilliere/fix_ir_add_bad_block | serpilliere | 2020-10-08 | 1 | -2/+5 |
| |\ | | | | | Fix lift AsmBadBlock | ||||
| | * | Fix missing IRBlock background color | Fabrice Desclaux | 2020-10-08 | 1 | -1/+1 |
| | | | |||||
| | * | Fix lift AsmBadBlock | Fabrice Desclaux | 2020-10-08 | 1 | -1/+4 |
| |/ | |||||
| * | Merge pull request #1297 from serpilliere/fix_x86_32_force_assign | serpilliere | 2020-10-06 | 1 | -3/+15 |
| |\ | | | | | Dont generate self assign for 64b mode | ||||
| | * | Dont generate self assign for 64b mode | Fabrice Desclaux | 2020-10-06 | 1 | -3/+15 |
| |/ | |||||
| * | Merge pull request #1298 from serpilliere/fix_tipo | serpilliere | 2020-10-06 | 2 | -3/+3 |
| |\ | | | | | Fix tipo | ||||
| | * | Fix tipo | Fabrice Desclaux | 2020-10-06 | 2 | -3/+3 |
| |/ | |||||
| * | Merge pull request #1294 from serpilliere/location_db_doc | serpilliere | 2020-10-05 | 1 | -0/+554 |
| |\ | | | | | Add LocationDB documentation | ||||
| | * | Add LocationDB documentation | Fabrice Desclaux | 2020-10-01 | 1 | -0/+554 |
| | | | |||||
| * | | Merge pull request #1296 from serpilliere/fix_x86_64_cmovz | serpilliere | 2020-10-05 | 1 | -2/+7 |
| |\ \ | | | | | | | Fix x86 64 cmovz | ||||
| | * | | Don't generate float flatgs for cmovXX | Fabrice Desclaux | 2020-10-04 | 1 | -1/+0 |
| | | | | |||||
| | * | | Set RAX high bits 0 only in 64bit | Fabrice Desclaux | 2020-10-04 | 1 | -1/+7 |
| | |/ | |||||
| * | | Merge pull request #1295 from serpilliere/fix_example_full | serpilliere | 2020-10-05 | 1 | -5/+2 |
| |\ \ | |/ |/| | Use blocks in ircfg instead of ir_arch | ||||
| | * | Use blocks in ircfg instead of ir_arch | Fabrice Desclaux | 2020-10-04 | 1 | -5/+2 |
| |/ | |||||
| * | Add TLBR and BREAK opcode semantic (#1282) | IridiumXOR | 2020-09-23 | 1 | -2/+8 |
| | | | | | | * Add TLBR and BREAK opcode semantic * Introducing except flag mod | ||||
| * | Merge pull request #1285 from IridiumXOR/new_aarch64_opcodes | serpilliere | 2020-09-23 | 3 | -1/+78 |
| |\ | | | | | Add TLBs related instructions | ||||
| | * | Add test units | IridiumXOR | 2020-09-23 | 2 | -1/+12 |
| | | | |||||
| | * | Add TLBs related instructions | IridiumXOR | 2020-08-31 | 2 | -1/+67 |
| | | | |||||
| * | | Merge pull request #1284 from IridiumXOR/bugfix | serpilliere | 2020-09-23 | 2 | -3/+3 |
| |\ \ | | | | | | | Fix error in semantic implementations | ||||
| | * | | Fix error in semantic implementations | IridiumXOR | 2020-08-31 | 2 | -3/+3 |
| | |/ | |||||
| * | | Merge pull request #1288 from a-vincent/require-loc_db-in-from_stream | serpilliere | 2020-09-09 | 1 | -2/+2 |
| |\ \ | | | | | | | Mandate passing loc_db to from_stream(). From_string() needs it. | ||||
| | * | | Mandate passing loc_db to from_stream(). From_string() needs it. | Aymeric Vincent | 2020-09-09 | 1 | -2/+2 |
| |/ / | |||||
| * | | Merge pull request #1286 from serpilliere/updt_doc_link | Camille Mougey | 2020-09-01 | 1 | -1/+3 |
| |\ \ | |/ |/| | Updt documentation links | ||||
| | * | Updt documentation links | Fabrice Desclaux | 2020-09-01 | 1 | -1/+3 |
| | | | |||||
| * | | Merge pull request #1274 from serpilliere/dont_gen_locationdb | serpilliere | 2020-08-31 | 108 | -551/+640 |
| |\ \ | |/ |/| | Avoid generate default locationdb | ||||