about summary refs log tree commit diff stats
path: root/src (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Use orjson instead of regular json (providing 2x faster dumps and loads) ta/json-dumpsTheofilos Augoustis2025-11-111-8/+11
|
* Merge pull request #22 from TUM-DSE/ta/rr-mmapsTheofilos Augoustis2025-11-111-52/+473
|\ | | | | Implement complete RR log support
| * 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 ↵Theofilos Augoustis2025-11-101-0/+1
| | | | | | | | write handling that we do not implement)
| * 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 #20 from TUM-DSE/ck/x86-cvtps2pdckrinitsin2025-11-081-1/+20
|\ \ | | | | | | Add helper to convert single precision to double precision
| * | Add better error handling for fpconvert_fp64Christian Krinitsin2025-11-081-2/+4
| | |
| * | Add helper to convert single precision to double precisionChristian Krinitsin2025-11-061-1/+18
| | | | | | | | | | | | Needed for CVTPS2PD instruction
* | | Check for QEMU crashes in an invocationChristian Krinitsin2025-11-061-1/+24
| |/ |/|
* | 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
* | 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
| | | | | | | | Handle missing instruction support gracefully
* | 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 ↵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
|/