about summary refs log tree commit diff stats
path: root/src (follow)
Commit message (Expand)AuthorAgeFilesLines
* Fix QEMU partial validation support ta/fixup-qemu-partial-validationTheofilos Augoustis2025-11-062-9/+23
* Implement start-stop mechanism for partial validation ta/partial-qemu-validationTheofilos Augoustis2025-11-064-22/+45
* Implement basic logging support for QEMU validator ta/speculative-tracingTheofilos Augoustis2025-11-062-1/+8
* Support partial validation in QEMUTheofilos Augoustis2025-11-061-15/+31
* Add TID marker to collected symbolic transformsTheofilos Augoustis2025-11-061-7/+11
* Support parsing record logs with multiple chunksTheofilos Augoustis2025-11-061-4/+24
* Update handling of discovered remote namesTheofilos Augoustis2025-11-062-11/+9
* Specialize event matching to guarantee a match by checking register stateTheofilos Augoustis2025-11-061-4/+28
* Save to trace final state transformationTheofilos Augoustis2025-11-061-0/+2
* Handle exit in post-event hookTheofilos Augoustis2025-11-062-13/+22
* Do not deduplicate but handle post eventsTheofilos Augoustis2025-11-062-17/+18
* Cross-correlate events with the Focaccia tracing sequenceTheofilos Augoustis2025-11-062-9/+54
* Support setting time limits for symbolic executionTheofilos Augoustis2025-11-063-5/+42
* Add caching mechanism for state valuesTheofilos Augoustis2025-11-061-3/+22
* Add special exception category for validation errorsTheofilos Augoustis2025-11-061-14/+22
* Skip instructions that cannot be lifted in forced modeTheofilos Augoustis2025-11-061-7/+21
* Enable cross-validation with single-stepping in debug modeTheofilos Augoustis2025-11-062-3/+5
* Add user option for setting a starting address for a symbolic traceTheofilos Augoustis2025-11-063-2/+22
* Add deterministic log as part of trace environmentTheofilos Augoustis2025-11-064-6/+143
* Package RR trace parsing mechanism in FocacciaTheofilos Augoustis2025-11-063-2/+63
* 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 partially...Theofilos Augoustis2025-11-062-20/+36
* Refactor symbolic tracing logic to remove cruftTheofilos Augoustis2025-11-061-15/+13
* Update LLDB target to include retry lists for some register names (useful bec...Theofilos Augoustis2025-11-061-4/+17
* 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
* 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 an...Theofilos Augoustis2025-11-064-12/+56
* 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
* 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