about summary refs log tree commit diff stats
Commit message (Expand)AuthorAgeFilesLines
* Implement online verification of symbolic backend ta/developTheofilos Augoustis2024-10-147-106/+412
* Read instructions directly from program memoryTheofilos Augoustis2024-10-132-19/+32
* Enable Focaccia's logging in capture_transforms.pyTheofilos Augoustis2024-07-282-11/+10
* Add support for aarch64Theofilos Augoustis2024-07-1210-88/+293
* Rework Focaccia's command line interfaceTheofilos Augoustis2024-02-222-64/+132
* Make symbolic equations more symbolicTheofilos Augoustis2024-02-1910-198/+413
* Add hostname argument to `verify_qemu.py`Theofilos Augoustis2024-02-151-6/+6
* Rewrite symbolic tracing algorithmTheofilos Augoustis2024-02-143-191/+139
* Store instructions in SymbolicTransformationTheofilos Augoustis2024-02-086-59/+151
* Basic reproducer generator setupTheofilos Augoustis2024-02-029-21/+257
* Extract matching algorithms into a moduleTheofilos Augoustis2024-02-073-39/+108
* Verify QEMU by abstracting over inconsistencies in trace logs via matching al...Theofilos Augoustis2024-01-303-135/+288
* Add ReadableProgramState interfaceTheofilos Augoustis2024-02-024-71/+97
* Refactor comparison and user-facing logicTheofilos Augoustis2024-01-245-102/+55
* Use symbolic execution to speed up QEMU testingTheofilos Augoustis2024-01-225-169/+231
* Refactor symbolic transformation handlingTheofilos Augoustis2024-01-179-209/+464
* Refactor project structureTheofilos Augoustis2023-12-3117-121/+102
* Verify QEMU by converting logs to internal data formatTheofilos Augoustis2023-12-264-1/+274
* Extend error reporting systemTheofilos Augoustis2023-12-274-92/+169
* Refactor parser.py (for gdb integration)Theofilos Augoustis2023-12-261-25/+56
* Improve SparseMemory.write_memory performanceTheofilos Augoustis2023-12-262-8/+13
* Implement symbolic comparison and match traces via MiasmTheofilos Augoustis2023-12-1410-293/+511
* Adapt symbolic compare to new transform interfaceTheofilos Augoustis2023-12-0818-614/+278
* Replace symbolic execution tools with MiasmTheofilos Augoustis2023-12-074-400/+317
* Record symbolic transform for single instructionsTheofilos Augoustis2023-11-284-78/+178
* Add memory storage capabilities to `ProgramState`Theofilos Augoustis2023-11-274-156/+229
* 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
* 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