| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| | * | | vm_read_mem | Fabrice Desclaux | 2020-04-03 | 1 | -0/+11 | |
| | | | | ||||||
| | * | | export cpu address | Fabrice Desclaux | 2020-04-03 | 3 | -0/+26 | |
| |/ / | ||||||
| * | | Merge pull request #1172 from serpilliere/use_int_expr | serpilliere | 2020-04-03 | 19 | -103/+152 | |
| |\ \ | | | | | | | Use int(expr) instead of expr.arg.arg | |||||
| | * | | Use int(expr) instead of expr.arg.arg | Fabrice Desclaux | 2020-04-03 | 19 | -103/+152 | |
| |/ / | ||||||
| * | | Merge pull request #1158 from serpilliere/expr_visitor | serpilliere | 2020-03-30 | 7 | -304/+420 | |
| |\ \ | | | | | | | Add Expression visitor | |||||
| | * | | Add Expression visitor | Fabrice Desclaux | 2020-03-29 | 7 | -304/+420 | |
| |/ / | ||||||
| * | | Merge pull request #1166 from serpilliere/fix_syscall_linux | serpilliere | 2020-03-28 | 1 | -5/+0 | |
| |\ \ | | | | | | | Fix syscall linux | |||||
| | * | | Fix syscall linux | Fabrice Desclaux | 2020-03-28 | 1 | -5/+0 | |
| |/ / | ||||||
| * | | Implements EXCEPT_SYSCALL (#1163) | Tek | 2020-03-28 | 4 | -8/+103 | |
| | | | | | | | | | | | | | | | * Implements EXCEPT_SYSCALL * Improves example and remove EXCEPT_PRIV_INSN call from syscall * fixes exceptions to raise or remove EXCEPTION_SYSCALL with linux x86_64 | |||||
| * | | Merge pull request #1161 from serpilliere/add_simplifications | serpilliere | 2020-03-20 | 3 | -0/+29 | |
| |\ \ | | | | | | | Add simplifications | |||||
| | * | | Add simplifications | Fabrice Desclaux | 2020-03-20 | 3 | -0/+29 | |
| |/ / | ||||||
| * | | Merge pull request #1160 from serpilliere/updt_z3 | serpilliere | 2020-03-18 | 3 | -12/+11 | |
| |\ \ | | | | | | | Updt z3 version; update z3 api | |||||
| | * | | Updt z3 version; update z3 api | Fabrice Desclaux | 2020-03-18 | 3 | -12/+11 | |
| |/ / | ||||||
| * | | Merge pull request #1159 from serpilliere/graph_weakly_connected | serpilliere | 2020-03-16 | 2 | -0/+65 | |
| |\ \ | | | | | | | Graph: add weakly connected components | |||||
| | * | | Graph: add weakly connected components | Fabrice Desclaux | 2020-03-16 | 2 | -0/+65 | |
| | | | | ||||||
| * | | | Merge pull request #1155 from nofiv/patch-1 | serpilliere | 2020-03-16 | 1 | -1/+1 | |
| |\ \ \ | |/ / |/| | | MemSparse potential read issue | |||||
| | * | | Prevent Compose-stacking of solo Exprs | Vladislav Hrčka | 2020-03-12 | 1 | -1/+1 | |
| | | | | ||||||
| * | | | Merge pull request #1157 from serpilliere/is_assign | serpilliere | 2020-03-16 | 2 | -3/+12 | |
| |\ \ \ | |/ / |/| | | Fix is_assign name | |||||
| | * | | Fix is_assign name | Fabrice Desclaux | 2020-03-16 | 2 | -3/+12 | |
| |/ / | ||||||
| * | | Merge pull request #1154 from XVilka/patch-1 | serpilliere | 2020-03-06 | 1 | -0/+2 | |
| |\ \ | | | | | | | Link to the IR Notebook from README | |||||
| | * | | Link to the IR Notebook from README | Anton Kochkov | 2020-03-06 | 1 | -0/+2 | |
| |/ / | ||||||
| * | | Merge pull request #1148 from serpilliere/fix_automod_code | serpilliere | 2020-03-02 | 3 | -7/+39 | |
| |\ \ | |/ |/| | Fix Automod code | |||||
| | * | Fix missing self | Fabrice Desclaux | 2020-02-28 | 1 | -1/+1 | |
| | | | ||||||
| | * | Fix Automod code | Fabrice Desclaux | 2020-02-28 | 3 | -6/+38 | |
| |/ | ||||||
| * | Merge pull request #1142 from serpilliere/add_ir_documentation | serpilliere | 2020-02-23 | 1 | -0/+897 | |
| |\ | | | | | Add ir documentation | |||||
| | * | Add some language rules | Fabrice Desclaux | 2020-02-20 | 1 | -201/+46 | |
| | | | ||||||
| | * | English translation | Caroline Leman | 2020-02-20 | 1 | -307/+241 | |
| | | | ||||||
| | * | Add documentation for expression | Camille Mougey | 2020-02-19 | 1 | -0/+1118 | |
| | | | ||||||
| * | | Merge pull request #1144 from serpilliere/fix_msp430_warning | serpilliere | 2020-02-23 | 1 | -0/+5 | |
| |\ \ | |/ |/| | Fix msp430 warning | |||||
| | * | Fix msp430 warning | Fabrice Desclaux | 2020-02-21 | 1 | -0/+5 | |
| |/ | ||||||
| * | Merge pull request #1140 from 6oclock/msp430_sr_subregisters_offsets | serpilliere | 2020-02-19 | 1 | -6/+6 | |
| |\ | | | | | Modification of the SR subregisters offsets | |||||
| | * | Modification of the SR subregisters offsets | Nicolas DILLIES | 2020-02-19 | 1 | -6/+6 | |
| | | | ||||||
| * | | Merge pull request #1139 from serpilliere/add_simplification | serpilliere | 2020-02-19 | 3 | -0/+103 | |
| |\ \ | |/ |/| | Add == simplification | |||||
| | * | Add == simplification | serpilliere | 2020-02-19 | 3 | -0/+103 | |
| | | | ||||||
| * | | Merge pull request #1138 from Frky/linux_x86_32 | serpilliere | 2020-02-19 | 3 | -0/+60 | |
| |\ \ | |/ |/| | Linux x86_32: minimalist environment and syscall table | |||||
| | * | Implement minimalistic Linux environment and syscall table for x86_32 | Frky | 2020-02-19 | 3 | -0/+60 | |
| | | | ||||||
| * | | Merge pull request #1131 from williballenthin/patch-3 | serpilliere | 2020-02-18 | 1 | -0/+241 | |
| |\ \ | |/ |/| | win_api_x86_32: add further common windows API functions | |||||
| | * | win_api_x86_32: add further common windows API functions | Willi Ballenthin | 2020-02-04 | 1 | -0/+241 | |
| | | | ||||||
| * | | Merge pull request #1137 from serpilliere/fix_ssa | serpilliere | 2020-02-15 | 3 | -42/+47 | |
| |\ \ | | | | | | | Fix ssa | |||||
| | * | | Data flow: rm phi srcs propag (for del_dummy_phi) | Fabrice Desclaux | 2020-02-15 | 1 | -24/+0 | |
| | | | | ||||||
| | * | | SSA: raise error on non connected graphs | Fabrice Desclaux | 2020-02-15 | 1 | -1/+4 | |
| | | | | ||||||
| | * | | DataFlow: split passes in simplifier | Fabrice Desclaux | 2020-02-15 | 1 | -10/+31 | |
| | | | | ||||||
| | * | | SSA: unused attribute | Fabrice Desclaux | 2020-02-15 | 1 | -4/+0 | |
| | | | | ||||||
| | * | | SSA: allow ssa graph update | Fabrice Desclaux | 2020-02-15 | 1 | -3/+12 | |
| |/ / | ||||||
| * | | Merge pull request #1135 from cea-sec/fix_incomplete_irgraph | serpilliere | 2020-02-15 | 2 | -12/+44 | |
| |\ \ | | | | | | | Simplification works on incomplete graphs | |||||
| | * | | DataFlow: manage incomplete graphs | Fabrice Desclaux | 2020-02-14 | 1 | -0/+6 | |
| | | | | ||||||
| | * | | DataFlow: fix updt phi | Fabrice Desclaux | 2020-02-14 | 1 | -5/+12 | |
| | | | | ||||||
| | * | | DataFlow: fix resolved phi sources | Fabrice Desclaux | 2020-02-14 | 1 | -0/+4 | |
| | | | | ||||||
| | * | | Simplification works on incomplete graphs | Fabrice Desclaux | 2020-02-14 | 2 | -7/+22 | |
| |/ / | ||||||
| * | | Merge pull request #1136 from cea-sec/dead_simp_class | serpilliere | 2020-02-14 | 8 | -116/+203 | |
| |\ \ | | | | | | | Analysis: dead simp to class | |||||