about summary refs log tree commit diff stats
path: root/src (unfollow)
Commit message (Collapse)AuthorFilesLines
2025-11-10Add type annotation to parser for memory writes ta/rr-mmapsTheofilos Augoustis1-1/+1
2025-11-10Implement streaming reader for data chunksTheofilos Augoustis1-40/+85
2025-11-10Fix reading from file (needed decompression first)Theofilos Augoustis1-39/+46
2025-11-10Add exception for system call buffer events (they require special memory ↵Theofilos Augoustis1-0/+1
write handling that we do not implement)
2025-11-10Add support for reading memory writes when system call buffering is not usedTheofilos Augoustis1-13/+39
2025-11-07Handle memory writes as a separate classTheofilos Augoustis1-9/+49
2025-11-07Parse special events separatelyTheofilos Augoustis1-35/+183
2025-11-07Enable high-level interface for reading mmaps and tasksTheofilos Augoustis1-5/+159
2025-11-06Fix QEMU partial validation support ta/fixup-qemu-partial-validationTheofilos Augoustis2-9/+23
2025-11-06Separate box64 musl environment for regular musl environmentTheofilos Augoustis1-0/+13
2025-11-06Implement start-stop mechanism for partial validation ta/partial-qemu-validationTheofilos Augoustis4-22/+45
2025-11-06Implement basic logging support for QEMU validator ta/speculative-tracingTheofilos Augoustis2-1/+8
2025-11-06Support partial validation in QEMUTheofilos Augoustis1-15/+31
2025-11-06Add TID marker to collected symbolic transformsTheofilos Augoustis1-7/+11
2025-11-06Support parsing record logs with multiple chunksTheofilos Augoustis1-4/+24
Update
2025-11-06Document the force flag workaround for Zen CPUsTheofilos Augoustis1-0/+4
2025-11-06Update README instructions to include steps for tracing non-deterministic ↵Theofilos Augoustis1-0/+14
programs
2025-11-06Update handling of discovered remote namesTheofilos Augoustis2-11/+9
2025-11-06Specialize event matching to guarantee a match by checking register stateTheofilos Augoustis1-4/+28
2025-11-06Save to trace final state transformationTheofilos Augoustis1-0/+2
2025-11-06Handle exit in post-event hookTheofilos Augoustis2-13/+22
2025-11-06Do not deduplicate but handle post eventsTheofilos Augoustis2-17/+18
2025-11-06Cross-correlate events with the Focaccia tracing sequenceTheofilos Augoustis2-9/+54
2025-11-06Support setting time limits for symbolic executionTheofilos Augoustis3-5/+42
2025-11-06Add caching mechanism for state valuesTheofilos Augoustis1-3/+22
2025-11-06Add special exception category for validation errorsTheofilos Augoustis1-14/+22
2025-11-06Skip instructions that cannot be lifted in forced modeTheofilos Augoustis1-7/+21
Handle missing instruction support gracefully
2025-11-06Enable cross-validation with single-stepping in debug modeTheofilos Augoustis2-3/+5
2025-11-06Add user option for setting a starting address for a symbolic traceTheofilos Augoustis3-2/+22
2025-11-06Add deterministic log as part of trace environmentTheofilos Augoustis4-6/+143
2025-11-06Package RR trace parsing mechanism in FocacciaTheofilos Augoustis4-2/+64
2025-11-06Integrate capnproto into python buildTheofilos Augoustis3-36/+91
2025-11-06Add RR as a submoduleTheofilos Augoustis2-0/+5
2025-11-06Enable tracing without single steppingTheofilos Augoustis6-91/+160
2025-11-06Use Instruction interface for miasm disassemblyTheofilos Augoustis1-12/+15
2025-11-06Update LLDB target to support multiple threadsTheofilos Augoustis1-2/+14
2025-11-06Print alternative disassemblyTheofilos Augoustis1-2/+6
2025-11-06Enable forced mode to push through errors (in hopes of tracing even ↵Theofilos Augoustis2-20/+36
partially-unsupported programs)
2025-11-06Refactor symbolic tracing logic to remove cruftTheofilos Augoustis1-15/+13
2025-11-06Update LLDB target to include retry lists for some register names (useful ↵Theofilos Augoustis1-4/+17
because GDB stubs differ in how they expose the same register)
2025-11-06Push exception upwards when a register cannot be read to main tracer logicTheofilos Augoustis1-5/+1
2025-11-06Make it possible to use the LLDB disassembly when the Miasm disassembly does ↵Theofilos Augoustis2-8/+25
not work
2025-11-06Refactor native tracing to facilitate remote tracingTheofilos Augoustis4-82/+134
2025-11-06Add musl-extra target that includes RRTheofilos Augoustis1-0/+14
2025-11-06Splity LLDB target handling into local and remote with shared base classTheofilos Augoustis2-56/+70
2025-11-06Print which instructions where disassembledTheofilos Augoustis1-0/+1
2025-11-06Add support for remote targets to integrate with replayerTheofilos Augoustis3-20/+63
2025-11-06Enable LLDB disassembly when Miasm disassembly fails for better diagnosticsTheofilos Augoustis2-1/+13
2025-11-06Add interfaces for denoting an microarchitecturally-dependent instructions ↵Theofilos Augoustis5-12/+56
and support for xgetbv with that interface
2025-11-06Integrate QEMU plugin directly into Focaccia ta/uniformize-qemuTheofilos Augoustis9-154/+271