about summary refs log tree commit diff stats
Commit message (Expand)AuthorAgeFilesLines
...
* Update README to include information about running helper toolsTheofilos Augoustis2025-10-161-1/+12
* Simplify issue 2248 reproducer ta/arm64Theofilos Augoustis2025-10-141-4/+12
* Update to new Miasm version with support for ldsmaxbTheofilos Augoustis2025-10-143-5/+8
* Add better diagnostic for incorrect symbolic expressionsTheofilos Augoustis2025-10-141-3/+6
* Add indentation to any and all Focaccia dunmps to make the human-inspectableTheofilos Augoustis2025-10-141-1/+1
* Dump Focaccia symbolic equations with indentation (to help debugging)Theofilos Augoustis2025-10-101-1/+1
* More alternatives for accessing aarch64 vectorsTheofilos Augoustis2025-10-091-1/+4
* Update QEMU validator to manually pass executable (necessary for cases where ...Theofilos Augoustis2025-10-092-12/+36
* Improve handling of vector reads when validating QEMUTheofilos Augoustis2025-10-071-6/+17
* Add basic indentation to the TraceEnvironment dumps to improve readabilityTheofilos Augoustis2025-10-071-1/+1
* Enable reading DCZID properlyTheofilos Augoustis2025-10-071-1/+9
* Add support for reading DCZID host-sideTheofilos Augoustis2025-10-077-3/+65
* Properly support TPIDR registerTheofilos Augoustis2025-10-072-3/+4
* Add correct handling for Q<num> registers by converting them to the (standard...Theofilos Augoustis2025-10-072-34/+75
* Make cross-validation of results with native execution optionalTheofilos Augoustis2025-10-073-21/+34
* Add basic reproducer for issue 2248 with Focaccia (hacked, does not work yet)Theofilos Augoustis2025-09-294-1/+28
* Disable hardening to enable compiling non-PIE binaries on aarch64Theofilos Augoustis2025-09-291-0/+2
* Add correct cross-compilation architecture for musl developer environmentTheofilos Augoustis2025-09-101-1/+1
* Add support for running tests with flake checkTheofilos Augoustis2025-09-105-83/+164
* Add descriptions to apps declared by flakeTheofilos Augoustis2025-09-101-0/+15
* Fix handling of Focaccia dependenciesTheofilos Augoustis2025-09-013-26/+44
* Refactor tool handling to match flake systemTheofilos Augoustis2025-08-287-22/+73
* Migrate to LLDB from pylldbTheofilos Augoustis2025-08-283-73/+96
* Migrate to nix flakes, uv and pyproject toml for buildsTheofilos Augoustis2025-08-2730-19/+663
* 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