about summary refs log tree commit diff stats
Commit message (Collapse)AuthorAgeFilesLines
* upck32be vs upck16be Niko Schmidt2020-04-271-1/+1
| | | I guess it is a copy & paste error :)
* Merge pull request #1191 from serpilliere/add_pe_pages_to_allocatedserpilliere2020-04-203-3/+15
|\ | | | | Add pe pages to allocated_pages
| * Add pe pages to allocated_pagesFabrice Desclaux2020-04-203-3/+15
|/
* Merge pull request #1189 from serpilliere/fix_ida_pythonserpilliere2020-04-161-6/+5
|\ | | | | Fix ida graph_ir
| * Fix ida graph_irFabrice Desclaux2020-04-151-6/+5
| |
* | Merge pull request #1184 from WilliamBruneau/cpu_set_memserpilliere2020-04-151-1/+1
|\ \ | |/ |/| Fix cpu.set_mem() -> vm.set_mem()
| * Fix cpu.set_mem() -> vm.set_mem()William Bruneau2020-04-101-1/+1
| |
* | Merge pull request #1180 from serpilliere/updt_mips_instrserpilliere2020-04-131-3/+4
|\ \ | | | | | | Fix mips arch tipo
| * | Fix mips arch tipoFabrice Desclaux2020-04-091-3/+4
| | |
* | | Merge pull request #1181 from serpilliere/fix_visit_apiserpilliere2020-04-131-17/+10
|\ \ \ | | | | | | | | Fix expr api updt
| * | | Fix expr api updtFabrice Desclaux2020-04-091-17/+10
| |/ /
* | | Merge pull request #1177 from nofiv/patch-2serpilliere2020-04-131-0/+1
|\ \ \ | | | | | | | | Minor improvement in rebuild_edges
| * | | Minor improvement in rebuild_edgesVladislav Hrčka2020-04-081-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().
* | | Merge pull request #1182 from icecr4ck/fix_type_error_dseserpilliere2020-04-131-1/+1
|\ \ \ | |/ / |/| | Type Error when using the DSE with Python3
| * | Fix type error for Python3 in DSEHugo Porcher2020-04-131-1/+1
|/ /
* | Merge pull request #1175 from serpilliere/fix_vm_read_mem_ret_bufserpilliere2020-04-031-7/+36
|\ \ | |/ |/| Updt vm_read_ret_buf api
| * Updt vm_read_ret_buf apiFabrice Desclaux2020-04-031-7/+36
|/
* Merge pull request #1174 from serpilliere/fix_segmserpilliere2020-04-031-3/+3
|\ | | | | X86: fix segm index
| * X86: fix segm indexFabrice Desclaux2020-04-031-3/+3
|/
* Merge pull request #1173 from serpilliere/fix_int_export_vm_cpuserpilliere2020-04-0319-108/+162
|\ | | | | Fix int export vm cpu
| * Fix int(expr)Fabrice Desclaux2020-04-0315-108/+125
| |
| * vm_read_memFabrice Desclaux2020-04-031-0/+11
| |
| * export cpu addressFabrice Desclaux2020-04-033-0/+26
|/
* Merge pull request #1172 from serpilliere/use_int_exprserpilliere2020-04-0319-103/+152
|\ | | | | Use int(expr) instead of expr.arg.arg
| * Use int(expr) instead of expr.arg.argFabrice Desclaux2020-04-0319-103/+152
|/
* Merge pull request #1158 from serpilliere/expr_visitorserpilliere2020-03-307-304/+420
|\ | | | | Add Expression visitor
| * Add Expression visitorFabrice Desclaux2020-03-297-304/+420
|/
* Merge pull request #1166 from serpilliere/fix_syscall_linuxserpilliere2020-03-281-5/+0
|\ | | | | Fix syscall linux
| * Fix syscall linuxFabrice Desclaux2020-03-281-5/+0
|/
* Implements EXCEPT_SYSCALL (#1163)Tek2020-03-284-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_simplificationsserpilliere2020-03-203-0/+29
|\ | | | | Add simplifications
| * Add simplificationsFabrice Desclaux2020-03-203-0/+29
|/
* Merge pull request #1160 from serpilliere/updt_z3serpilliere2020-03-183-12/+11
|\ | | | | Updt z3 version; update z3 api
| * Updt z3 version; update z3 apiFabrice Desclaux2020-03-183-12/+11
|/
* Merge pull request #1159 from serpilliere/graph_weakly_connectedserpilliere2020-03-162-0/+65
|\ | | | | Graph: add weakly connected components
| * Graph: add weakly connected componentsFabrice Desclaux2020-03-162-0/+65
| |
* | Merge pull request #1155 from nofiv/patch-1serpilliere2020-03-161-1/+1
|\ \ | |/ |/| MemSparse potential read issue
| * Prevent Compose-stacking of solo ExprsVladislav Hrčka2020-03-121-1/+1
| |
* | Merge pull request #1157 from serpilliere/is_assignserpilliere2020-03-162-3/+12
|\ \ | |/ |/| Fix is_assign name
| * Fix is_assign nameFabrice Desclaux2020-03-162-3/+12
|/
* Merge pull request #1154 from XVilka/patch-1serpilliere2020-03-061-0/+2
|\ | | | | Link to the IR Notebook from README
| * Link to the IR Notebook from READMEAnton Kochkov2020-03-061-0/+2
|/
* Merge pull request #1148 from serpilliere/fix_automod_codeserpilliere2020-03-023-7/+39
|\ | | | | Fix Automod code
| * Fix missing selfFabrice Desclaux2020-02-281-1/+1
| |
| * Fix Automod codeFabrice Desclaux2020-02-283-6/+38
|/
* Merge pull request #1142 from serpilliere/add_ir_documentationserpilliere2020-02-231-0/+897
|\ | | | | Add ir documentation
| * Add some language rulesFabrice Desclaux2020-02-201-201/+46
| |
| * English translationCaroline Leman2020-02-201-307/+241
| |
| * Add documentation for expressionCamille Mougey2020-02-191-0/+1118
| |
* | Merge pull request #1144 from serpilliere/fix_msp430_warningserpilliere2020-02-231-0/+5
|\ \ | |/ |/| Fix msp430 warning