about summary refs log tree commit diff stats
Commit message (Collapse)AuthorAgeFilesLines
* 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
| * Fix msp430 warningFabrice Desclaux2020-02-211-0/+5
|/
* Merge pull request #1140 from 6oclock/msp430_sr_subregisters_offsetsserpilliere2020-02-191-6/+6
|\ | | | | Modification of the SR subregisters offsets
| * Modification of the SR subregisters offsetsNicolas DILLIES2020-02-191-6/+6
| |
* | Merge pull request #1139 from serpilliere/add_simplificationserpilliere2020-02-193-0/+103
|\ \ | |/ |/| Add == simplification
| * Add == simplificationserpilliere2020-02-193-0/+103
| |
* | Merge pull request #1138 from Frky/linux_x86_32serpilliere2020-02-193-0/+60
|\ \ | |/ |/| Linux x86_32: minimalist environment and syscall table
| * Implement minimalistic Linux environment and syscall table for x86_32Frky2020-02-193-0/+60
| |
* | Merge pull request #1131 from williballenthin/patch-3serpilliere2020-02-181-0/+241
|\ \ | |/ |/| win_api_x86_32: add further common windows API functions
| * win_api_x86_32: add further common windows API functionsWilli Ballenthin2020-02-041-0/+241
| |
* | Merge pull request #1137 from serpilliere/fix_ssaserpilliere2020-02-153-42/+47
|\ \ | | | | | | Fix ssa
| * | Data flow: rm phi srcs propag (for del_dummy_phi)Fabrice Desclaux2020-02-151-24/+0
| | |
| * | SSA: raise error on non connected graphsFabrice Desclaux2020-02-151-1/+4
| | |
| * | DataFlow: split passes in simplifierFabrice Desclaux2020-02-151-10/+31
| | |
| * | SSA: unused attributeFabrice Desclaux2020-02-151-4/+0
| | |
| * | SSA: allow ssa graph updateFabrice Desclaux2020-02-151-3/+12
|/ /
* | Merge pull request #1135 from cea-sec/fix_incomplete_irgraphserpilliere2020-02-152-12/+44
|\ \ | | | | | | Simplification works on incomplete graphs
| * | DataFlow: manage incomplete graphsFabrice Desclaux2020-02-141-0/+6
| | |
| * | DataFlow: fix updt phiFabrice Desclaux2020-02-141-5/+12
| | |
| * | DataFlow: fix resolved phi sourcesFabrice Desclaux2020-02-141-0/+4
| | |
| * | Simplification works on incomplete graphsFabrice Desclaux2020-02-142-7/+22
|/ /
* | Merge pull request #1136 from cea-sec/dead_simp_classserpilliere2020-02-148-116/+203
|\ \ | | | | | | Analysis: dead simp to class
| * | Analysis: dead simp to classFabrice Desclaux2020-02-148-116/+203
|/ /
* / Add preliminary support for PPC MMU registers (#1130)IridiumXOR2020-02-073-5/+75
|/
* Merge pull request #1128 from Frky/patch-1serpilliere2020-01-291-1/+4
|\ | | | | Fix bug in Microsoft x86-64 calling convention
| * Fix bug in Microsoft x86-64 calling convention_Frky2020-01-281-1/+4
| |
* | Merge pull request #1121 from carolineLe/fix_virtualprotectserpilliere2020-01-296-8/+147
|\ \ | |/ |/| Win_API: Fix VirtualProtect on multiple areas
| * Test/Win Api: Add test to virtualprotect functionsCaroline Leman2020-01-281-1/+46
| |
| * Win_API: Fix VirtualProtect when splitting access rightsCaroline Leman2020-01-281-20/+46
| |
| * Jitter: add remove_memory_page apiCaroline Leman2020-01-125-6/+74
|/
* Merge pull request #1124 from williballenthin/patch-2serpilliere2020-01-111-2/+31
|\ | | | | jitter.loader.pe: add docstrings for import/export accessors
| * jitter.loader.pe: add docstrings for import/export accessorsWilli Ballenthin2020-01-101-2/+31
|/
* Merge pull request #1120 from carolineLe/fix_pe_loaderserpilliere2020-01-071-1/+1
|\ | | | | Loader/PE: Initialize entry.originalfirstthunks if empty