about summary refs log tree commit diff stats
path: root/src (follow)
Commit message (Collapse)AuthorAgeFilesLines
...
* | Enable tracing without single steppingTheofilos Augoustis2025-11-066-91/+160
| |
* | Use Instruction interface for miasm disassemblyTheofilos Augoustis2025-11-061-12/+15
| |
* | Update LLDB target to support multiple threadsTheofilos Augoustis2025-11-061-2/+14
| |
* | Print alternative disassemblyTheofilos Augoustis2025-11-061-2/+6
| |
* | Enable forced mode to push through errors (in hopes of tracing even ↵Theofilos Augoustis2025-11-062-20/+36
| | | | | | | | partially-unsupported programs)
* | Refactor symbolic tracing logic to remove cruftTheofilos Augoustis2025-11-061-15/+13
| |
* | Update LLDB target to include retry lists for some register names (useful ↵Theofilos Augoustis2025-11-061-4/+17
| | | | | | | | because GDB stubs differ in how they expose the same register)
* | Push exception upwards when a register cannot be read to main tracer logicTheofilos Augoustis2025-11-061-5/+1
| |
* | Make it possible to use the LLDB disassembly when the Miasm disassembly does ↵Theofilos Augoustis2025-11-062-8/+25
| | | | | | | | not work
* | Refactor native tracing to facilitate remote tracingTheofilos Augoustis2025-11-064-82/+134
| |
* | Splity LLDB target handling into local and remote with shared base classTheofilos Augoustis2025-11-062-56/+70
| |
* | Print which instructions where disassembledTheofilos Augoustis2025-11-061-0/+1
| |
* | Add support for remote targets to integrate with replayerTheofilos Augoustis2025-11-063-20/+63
| |
* | Enable LLDB disassembly when Miasm disassembly fails for better diagnosticsTheofilos Augoustis2025-11-062-1/+13
| |
* | Add interfaces for denoting an microarchitecturally-dependent instructions ↵Theofilos Augoustis2025-11-064-12/+56
| | | | | | | | and support for xgetbv with that interface
* | Integrate QEMU plugin directly into Focaccia ta/uniformize-qemuTheofilos Augoustis2025-11-063-98/+112
|/
* Cosmetic changes & README sr/pluginReimersS2025-11-044-54/+56
|
* Plugin validationReimersS2025-11-048-6/+455
|
* Add fsub operationChristian Krinitsin2025-11-031-1/+25
|
* Fix incorrect cross-validation flag specificationTheofilos Augoustis2025-10-301-0/+1
|
* Add Box64 parserChristian Krinitsin2025-10-232-0/+32
|
* Update TraceEnvironment parametersChristian Krinitsin2025-10-231-1/+1
|
* Fix incorrect docstring for write_register ta/docsTheofilos Augoustis2025-10-161-1/+1
|
* 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
| | | | GDB cannot determine the executable on its own, e.g. when we specify -march)
* 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-075-3/+36
|
* Properly support TPIDR registerTheofilos Augoustis2025-10-072-3/+4
|
* Add correct handling for Q<num> registers by converting them to the ↵Theofilos Augoustis2025-10-072-34/+75
| | | | (standard) V<num> form
* 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-292-1/+7
|
* Fix handling of Focaccia dependenciesTheofilos Augoustis2025-09-012-10/+20
|
* Refactor tool handling to match flake systemTheofilos Augoustis2025-08-285-0/+501
|
* Migrate to nix flakes, uv and pyproject toml for buildsTheofilos Augoustis2025-08-2716-0/+3024