about summary refs log tree commit diff stats
Commit message (Expand)AuthorAgeFilesLines
* Add basic reproducers for QEMU bugs ta/reproducersTheofilos Augoustis2025-06-207-0/+51
* Update pyproject.toml to support a custom development version of miasmTheofilos Augoustis2025-06-202-6/+8
* Add cpuid dependency on fork of cpuid that supports pyproject.tomlTheofilos Augoustis2025-06-205-39/+28
* Add support for getting a glibc environmentTheofilos Augoustis2025-06-171-0/+9
* Lookup gdb in PATH in verify qemu scriptTheofilos Augoustis2025-06-171-1/+1
* Add new pyproject.toml that includes dev environmentTheofilos Augoustis2025-06-172-0/+175
* Update flake to expose better developer shellsTheofilos Augoustis2025-06-171-8/+7
* Include reproducer for 508 (and generalize gitignore)Theofilos Augoustis2025-06-122-2/+15
* Remove nix.shell (switching completely to flakes)Theofilos Augoustis2025-06-121-12/+0
* Update flake to include gccTheofilos Augoustis2025-06-121-2/+2
* Update flake to include support for muslTheofilos Augoustis2025-06-111-0/+13
* Add flake support for known-buggy QEMU versionTheofilos Augoustis2025-06-112-6/+36
* Update flake to include QEMU versionTheofilos Augoustis2025-06-101-0/+10
* Add multi-system support to flake;Theofilos Augoustis2025-06-102-8/+43
* Rename tests directoryTheofilos Augoustis2025-06-102-0/+0
* Update gitignore to hide Nix result filesTheofilos Augoustis2025-06-101-0/+4
* Migrate project to use flakesTheofilos Augoustis2025-06-102-0/+193
* Migrate project to standard structure with uvTheofilos Augoustis2025-06-1023-2/+117
* Merge branch 'ta/develop'Theofilos Augoustis2025-02-2531-588/+3730
|\
| * 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