about summary refs log tree commit diff stats
path: root/tools/capture_transforms.py (unfollow)
Commit message (Expand)AuthorFilesLines
2025-08-27Support using custom miasm fork directly in flakeTheofilos Augoustis3-26/+12
2025-08-27Update to new miasm version with pyproject supportTheofilos Augoustis1-0/+0
2025-08-27Remove unused submodulesTheofilos Augoustis1-6/+0
2025-08-27Add miasm as a dependencyTheofilos Augoustis2-0/+4
2025-08-27Make default develop shell editableTheofilos Augoustis1-3/+54
2025-06-20Update pyproject.toml to support a custom development version of miasmTheofilos Augoustis2-6/+8
2025-06-20Add cpuid dependency on fork of cpuid that supports pyproject.tomlTheofilos Augoustis5-39/+28
2025-06-17Add support for getting a glibc environmentTheofilos Augoustis1-0/+9
2025-06-17Lookup gdb in PATH in verify qemu scriptTheofilos Augoustis1-1/+1
2025-06-17Add new pyproject.toml that includes dev environmentTheofilos Augoustis2-0/+175
2025-06-17Update flake to expose better developer shellsTheofilos Augoustis1-8/+7
2025-06-12Include reproducer for 508 (and generalize gitignore)Theofilos Augoustis2-2/+15
2025-06-12Remove nix.shell (switching completely to flakes)Theofilos Augoustis1-12/+0
2025-06-12Update flake to include gccTheofilos Augoustis1-2/+2
2025-06-11Update flake to include support for muslTheofilos Augoustis1-0/+13
2025-06-11Add flake support for known-buggy QEMU versionTheofilos Augoustis2-6/+36
2025-06-10Update flake to include QEMU versionTheofilos Augoustis1-0/+10
2025-06-10Add multi-system support to flake;Theofilos Augoustis2-8/+43
2025-06-10Rename tests directoryTheofilos Augoustis2-0/+0
2025-06-10Update gitignore to hide Nix result filesTheofilos Augoustis1-0/+4
2025-06-10Migrate project to use flakesTheofilos Augoustis2-0/+193
2025-06-10Migrate project to standard structure with uvTheofilos Augoustis23-2/+117
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