about summary refs log tree commit diff stats
path: root/utils.py (unfollow)
Commit message (Expand)AuthorFilesLines
2025-08-28Move capture transforms tool to our current setupTheofilos Augoustis3-0/+6
2025-08-28Move log conversion tool to our current setupTheofilos Augoustis2-6/+11
2025-08-28Add support for the convert toolTheofilos Augoustis4-3/+8
2025-08-28Add helper app for synchronizing uvTheofilos Augoustis1-3/+15
2025-08-28Update glibc and musl devShells to fully support editable buildsTheofilos Augoustis1-12/+24
2025-08-28Migrate to LLDB from pylldbTheofilos Augoustis3-73/+96
2025-08-27Migrate to nix flakes, uv and pyproject toml for buildsTheofilos Augoustis30-19/+663
2024-10-14Implement online verification of symbolic backend ta/developTheofilos Augoustis7-106/+412
2024-10-13Read instructions directly from program memoryTheofilos Augoustis2-19/+32
2024-07-28Enable Focaccia's logging in capture_transforms.pyTheofilos Augoustis2-11/+10
2024-07-12Add support for aarch64Theofilos Augoustis10-88/+293
2024-02-22Rework Focaccia's command line interfaceTheofilos Augoustis2-64/+132
2024-02-19Make symbolic equations more symbolicTheofilos Augoustis10-198/+413
2024-02-15Add hostname argument to `verify_qemu.py`Theofilos Augoustis1-6/+6
2024-02-14Rewrite symbolic tracing algorithmTheofilos Augoustis3-191/+139
2024-02-08Store instructions in SymbolicTransformationTheofilos Augoustis6-59/+151
2024-02-02Basic reproducer generator setupTheofilos Augoustis9-21/+257
2024-02-07Extract matching algorithms into a moduleTheofilos Augoustis3-39/+108
2024-01-30Verify QEMU by abstracting over inconsistencies in trace logs via matching al...Theofilos Augoustis3-135/+288
2024-02-02Add ReadableProgramState interfaceTheofilos Augoustis4-71/+97
2024-01-24Refactor comparison and user-facing logicTheofilos Augoustis5-102/+55
2024-01-22Use symbolic execution to speed up QEMU testingTheofilos Augoustis5-169/+231
2024-01-17Refactor symbolic transformation handlingTheofilos Augoustis9-209/+464
2023-12-31Refactor project structureTheofilos Augoustis17-121/+102
2023-12-26Verify QEMU by converting logs to internal data formatTheofilos Augoustis4-1/+274
2023-12-27Extend error reporting systemTheofilos Augoustis4-92/+169
2023-12-26Refactor parser.py (for gdb integration)Theofilos Augoustis1-25/+56
2023-12-26Improve SparseMemory.write_memory performanceTheofilos Augoustis2-8/+13
2023-12-14Implement symbolic comparison and match traces via MiasmTheofilos Augoustis10-293/+511
2023-12-08Adapt symbolic compare to new transform interfaceTheofilos Augoustis18-614/+278
2023-12-07Replace symbolic execution tools with MiasmTheofilos Augoustis4-400/+317
2023-11-28Record symbolic transform for single instructionsTheofilos Augoustis4-78/+178
2023-11-27Add memory storage capabilities to `ProgramState`Theofilos Augoustis4-156/+229
2023-11-27Implement symbolic state comparison algorithmTheofilos Augoustis8-191/+210
2023-11-26Standardize X86 register namesTheofilos Augoustis6-122/+142
2023-11-25Migrate to Miasm for concolic execution from AngrTheofilos Augoustis3-0/+363
2023-11-10Implement interpreter for symbolic expressionsTheofilos Augoustis6-71/+427
2023-11-07Implement symbolic tracing in trace_symbols.py using AngrTheofilos Augoustis3-180/+158
2023-10-21Support for testing concrete and emulated execution with angrTheofilos Augoustis9-92/+421
2023-10-15Implement simple comparison algorithmTheofilos Augoustis2-3/+119
2023-10-11Refactor file structureTheofilos Augoustis9-306/+326
2023-10-09Simplify log file parsingTheofilos Augoustis1-92/