about summary refs log tree commit diff stats
path: root/tools/capture_transforms.py (unfollow)
Commit message (Expand)AuthorFilesLines
2025-10-16Update README to include information about running helper toolsTheofilos Augoustis1-1/+12
2025-10-14Simplify issue 2248 reproducer ta/arm64Theofilos Augoustis1-4/+12
2025-10-14Update to new Miasm version with support for ldsmaxbTheofilos Augoustis3-5/+8
2025-10-14Add better diagnostic for incorrect symbolic expressionsTheofilos Augoustis1-3/+6
2025-10-14Add indentation to any and all Focaccia dunmps to make the human-inspectableTheofilos Augoustis1-1/+1
2025-10-10Dump Focaccia symbolic equations with indentation (to help debugging)Theofilos Augoustis1-1/+1
2025-10-09More alternatives for accessing aarch64 vectorsTheofilos Augoustis1-1/+4
2025-10-09Update QEMU validator to manually pass executable (necessary for cases where ...Theofilos Augoustis2-12/+36
2025-10-07Improve handling of vector reads when validating QEMUTheofilos Augoustis1-6/+17
2025-10-07Add basic indentation to the TraceEnvironment dumps to improve readabilityTheofilos Augoustis1-1/+1
2025-10-07Enable reading DCZID properlyTheofilos Augoustis1-1/+9
2025-10-07Add support for reading DCZID host-sideTheofilos Augoustis7-3/+65
2025-10-07Properly support TPIDR registerTheofilos Augoustis2-3/+4
2025-10-07Add correct handling for Q<num> registers by converting them to the (standard...Theofilos Augoustis2-34/+75
2025-10-07Make cross-validation of results with native execution optionalTheofilos Augoustis3-21/+34
2025-09-29Add basic reproducer for issue 2248 with Focaccia (hacked, does not work yet)Theofilos Augoustis4-1/+28
2025-09-29Disable hardening to enable compiling non-PIE binaries on aarch64Theofilos Augoustis1-0/+2
2025-09-10Add correct cross-compilation architecture for musl developer environmentTheofilos Augoustis1-1/+1
2025-09-10Add support for running tests with flake checkTheofilos Augoustis5-83/+164
2025-09-10Add descriptions to apps declared by flakeTheofilos Augoustis1-0/+15
2025-09-01Fix handling of Focaccia dependenciesTheofilos Augoustis3-26/+44
2025-08-28Refactor tool handling to match flake systemTheofilos Augoustis7-22/+73
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