about summary refs log tree commit diff stats
Commit message (Collapse)AuthorAgeFilesLines
...
| * | 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-064-2/+64
| | |
| * | Integrate capnproto into python buildTheofilos Augoustis2025-11-063-36/+91
| | |
| * | Add RR as a submoduleTheofilos Augoustis2025-11-062-0/+5
| | |
| * | 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
| | |
| * | Add musl-extra target that includes RRTheofilos Augoustis2025-11-061-0/+14
| | |
| * | 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-065-12/+56
|/ / | | | | | | and support for xgetbv with that interface
* | Merge pull request #15 from TUM-DSE/ta/uniformize-qemuTheofilos Augoustis2025-11-069-154/+271
|\ \ | |/ |/| Integrate QEMU plugin directly into Focaccia
| * Integrate QEMU plugin directly into Focaccia ta/uniformize-qemuTheofilos Augoustis2025-11-069-154/+271
|/
* Merge pull request #12 from TUM-DSE/sr/pluginTheofilos Augoustis2025-11-049-39/+500
|\ | | | | Plugin validation
| * Cosmetic changes & README sr/pluginReimersS2025-11-045-55/+67
| |
| * Plugin validationReimersS2025-11-048-6/+455
|/
* Merge pull request #13 from TUM-DSE/ck/fsubTheofilos Augoustis2025-11-032-1/+31
|\ | | | | Add support for FSUB
| * Add fsub operationChristian Krinitsin2025-11-032-1/+31
|/
* Fix incorrect cross-validation flag specificationTheofilos Augoustis2025-10-301-0/+1
|
* Merge pull request #11 from TUM-DSE/ck/reproducersTheofilos Augoustis2025-10-305-0/+23
|\ | | | | Add BMI reproducer
| * Add BMI reproducerChristian Krinitsin2025-10-275-0/+23
|/
* Merge pull request #10 from TUM-DSE/ck/box64-parserTheofilos Augoustis2025-10-245-2/+138
|\ | | | | Add Box64 trace parser
| * Refactor flake handling of box64Theofilos Augoustis2025-10-241-47/+32
| |
| * Add Box64 validation steps to READMEckrinitsin2025-10-231-0/+13
| |
| * Add Box64 build with erroneous CMPXCHG instructionChristian Krinitsin2025-10-232-1/+107
| |
| * Add Box64 parserChristian Krinitsin2025-10-232-0/+32
| |
| * Update TraceEnvironment parametersChristian Krinitsin2025-10-231-1/+1
|/
* Update flake to check for missing git submodulesTheofilos Augoustis2025-10-211-0/+16
|
* Fix incorrect docstring for write_register ta/docsTheofilos Augoustis2025-10-161-1/+1
|
* 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
| | | | 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
|