about summary refs log tree commit diff stats
Commit message (Expand)AuthorAgeFilesLines
* Add type annotation to parser for memory writes ta/rr-mmapsTheofilos Augoustis2025-11-101-1/+1
* Implement streaming reader for data chunksTheofilos Augoustis2025-11-101-40/+85
* Fix reading from file (needed decompression first)Theofilos Augoustis2025-11-101-39/+46
* Add exception for system call buffer events (they require special memory writ...Theofilos Augoustis2025-11-101-0/+1
* Add support for reading memory writes when system call buffering is not usedTheofilos Augoustis2025-11-101-13/+39
* Handle memory writes as a separate classTheofilos Augoustis2025-11-071-9/+49
* Parse special events separatelyTheofilos Augoustis2025-11-071-35/+183
* Enable high-level interface for reading mmaps and tasksTheofilos Augoustis2025-11-071-5/+159
* Merge pull request #18 from TUM-DSE/ta/fixup-qemu-partial-validationTheofilos Augoustis2025-11-062-9/+23
|\
| * Fix QEMU partial validation support ta/fixup-qemu-partial-validationTheofilos Augoustis2025-11-062-9/+23
|/
* Separate box64 musl environment for regular musl environmentTheofilos Augoustis2025-11-061-0/+13
* Merge pull request #17 from TUM-DSE/ta/partial-qemu-validationTheofilos Augoustis2025-11-064-22/+45
|\
| * Implement start-stop mechanism for partial validation ta/partial-qemu-validationTheofilos Augoustis2025-11-064-22/+45
|/
* Merge pull request #14 from TUM-DSE/ta/speculative-tracingTheofilos Augoustis2025-11-0621-245/+1056
|\
| * 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
| * Document the force flag workaround for Zen CPUsTheofilos Augoustis2025-11-061-0/+4
| * Update README instructions to include steps for tracing non-deterministic pro...Theofilos Augoustis2025-11-061-0/+14
| * 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-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 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
| * 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