about summary refs log tree commit diff stats
Commit message (Expand)AuthorAgeFilesLines
...
| * Implement symbolic state comparison algorithmTheofilos Augoustis2023-11-278-191/+210
| * Standardize X86 register namesTheofilos Augoustis2023-11-266-122/+142
| * Migrate to Miasm for concolic execution from AngrTheofilos Augoustis2023-11-253-0/+363
| * Implement interpreter for symbolic expressionsTheofilos Augoustis2023-11-106-71/+427
| * Implement symbolic tracing in trace_symbols.py using AngrTheofilos Augoustis2023-11-073-180/+158
| * Support for testing concrete and emulated execution with angrTheofilos Augoustis2023-10-219-92/+421
| * Implement simple comparison algorithmTheofilos Augoustis2023-10-152-3/+119
| * Refactor file structureTheofilos Augoustis2023-10-119-306/+326
| * Simplify log file parsingTheofilos Augoustis2023-10-091-92/+94
| * Print statistics for unmatched reference basic blocksTheofilos Augoustis2025-02-251-0/+17
* | Print statistics for unmatched reference basic blocksTheofilos Augoustis2023-08-241-0/+17
|/
* Improve progressive comparisonTheofilos Augoustis2023-08-241-4/+29
* Add progressive search over basic blocksTheofilos Augoustis2023-08-241-16/+71
* Add initial support for diffs between snapshotsTheofilos Augoustis2023-08-201-6/+29
* Add READMETheofilos Augoustis2023-07-121-0/+5
* Add development scripts for comparing Arancini dumpsTheofilos Augoustis2023-07-123-0/+466
* Add initial gitignoreTheofilos Augoustis2023-07-121-0/+11