| Commit message (Collapse) | Author | Files | Lines | ||
|---|---|---|---|---|---|
| 2020-04-20 | Add pe pages to allocated_pages | Fabrice Desclaux | 3 | -3/+15 | |
| 2020-04-15 | Fix ida graph_ir | Fabrice Desclaux | 1 | -6/+5 | |
| 2020-04-13 | Fix type error for Python3 in DSE | Hugo Porcher | 1 | -1/+1 | |
| 2020-04-10 | Fix cpu.set_mem() -> vm.set_mem() | William Bruneau | 1 | -1/+1 | |
| 2020-04-09 | Fix expr api updt | Fabrice Desclaux | 1 | -17/+10 | |
| 2020-04-09 | Fix mips arch tipo | Fabrice Desclaux | 1 | -3/+4 | |
| 2020-04-08 | Minor improvement in rebuild_edges | Vladislav Hrčka | 1 | -0/+1 | |
| If one deletes all the direct predecessors of a pending block, it dosn't get freed even thought it's not required anymore. Since all the pendings are recalculated here, there's no reason not to cover these cases here IMHO by clearing them prior the recalculation. Another solution is to add a watcher to del_block(). | |||||
| 2020-04-03 | Updt vm_read_ret_buf api | Fabrice Desclaux | 1 | -7/+36 | |
| 2020-04-03 | X86: fix segm index | Fabrice Desclaux | 1 | -3/+3 | |
| 2020-04-03 | Fix int(expr) | Fabrice Desclaux | 15 | -108/+125 | |
| 2020-04-03 | vm_read_mem | Fabrice Desclaux | 1 | -0/+11 | |
| 2020-04-03 | export cpu address | Fabrice Desclaux | 3 | -0/+26 | |
| 2020-04-03 | Use int(expr) instead of expr.arg.arg | Fabrice Desclaux | 19 | -103/+152 | |
| 2020-03-29 | Add Expression visitor | Fabrice Desclaux | 7 | -304/+420 | |
| 2020-03-28 | Fix syscall linux | Fabrice Desclaux | 1 | -5/+0 | |
| 2020-03-28 | Implements EXCEPT_SYSCALL (#1163) | Tek | 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 | |||||
| 2020-03-20 | Add simplifications | Fabrice Desclaux | 3 | -0/+29 | |
| 2020-03-18 | Updt z3 version; update z3 api | Fabrice Desclaux | 3 | -12/+11 | |