about summary refs log tree commit diff stats
Commit message (Collapse)AuthorAgeFilesLines
* Save to trace final state transformation ta/support-memcachedTheofilos Augoustis2025-11-041-0/+2
|
* Support partial validation in QEMUTheofilos Augoustis2025-11-041-15/+31
|
* Add TID marker to collected symbolic transformsTheofilos Augoustis2025-11-041-7/+11
|
* Support parsing record logs with multiple chunksTheofilos Augoustis2025-11-041-4/+24
| | | | Update
* Add basic support for memcachedTheofilos Augoustis2025-11-032-0/+12
|
* Specialize event matching to guarantee a match by checking register state ta/support-redisTheofilos Augoustis2025-10-311-4/+28
|
* Handle exit in post-event hookTheofilos Augoustis2025-10-312-13/+22
|
* Do not deduplicate but handle post eventsTheofilos Augoustis2025-10-312-17/+18
|
* Cross-correlate events with the Focaccia tracing sequenceTheofilos Augoustis2025-10-312-9/+54
|
* Support setting time limits for symbolic executionTheofilos Augoustis2025-10-313-5/+42
|
* Add caching mechanism for state valuesTheofilos Augoustis2025-10-311-3/+22
|
* Add special exception category for validation errorsTheofilos Augoustis2025-10-311-14/+22
|
* Skip instructions that cannot be lifted in forced modeTheofilos Augoustis2025-10-311-7/+21
| | | | Handle missing instruction support gracefully
* Enable cross-validation with single-stepping in debug modeTheofilos Augoustis2025-10-312-3/+5
|
* Add user option for setting a starting address for a symbolic traceTheofilos Augoustis2025-10-313-2/+22
|
* Add deterministic log as part of trace environmentTheofilos Augoustis2025-10-314-6/+143
|
* Package RR trace parsing mechanism in FocacciaTheofilos Augoustis2025-10-306-3/+92
|
* Integrate capnproto into python buildTheofilos Augoustis2025-10-303-37/+93
|
* Add RR as a submoduleTheofilos Augoustis2025-10-302-0/+3
|
* Cleanup old QEMU version from flakeTheofilos Augoustis2025-10-302-23/+1
|
* Enable tracing without single steppingTheofilos Augoustis2025-10-306-91/+159
|
* Use Instruction interface for miasm disassemblyTheofilos Augoustis2025-10-301-12/+15
|
* Update LLDB target to support multiple threadsTheofilos Augoustis2025-10-301-2/+14
|
* Add more packages to test in FocacciaTheofilos Augoustis2025-10-301-1/+3
|
* Print alternative disassemblyTheofilos Augoustis2025-10-301-2/+6
|
* Enable forced mode to push through errors (in hopes of tracing even ↵Theofilos Augoustis2025-10-302-20/+36
| | | | partially-unsupported programs)
* Refactor symbolic tracing logic to remove cruftTheofilos Augoustis2025-10-301-15/+13
|
* Update LLDB target to include retry lists for some register names (useful ↵Theofilos Augoustis2025-10-301-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-10-301-5/+1
|
* Make it possible to use the LLDB disassembly when the Miasm disassembly does ↵Theofilos Augoustis2025-10-302-8/+25
| | | | not work
* Refactor native tracing to facilitate remote tracingTheofilos Augoustis2025-10-304-82/+134
|
* Add musl-extra target that includes RR but not minimal-redisTheofilos Augoustis2025-10-301-0/+14
|
* Splity LLDB target handling into local and remote with shared base classTheofilos Augoustis2025-10-302-56/+70
|
* Print which instructions where disassembledTheofilos Augoustis2025-10-301-0/+1
|
* Add support for remote targets to integrate with replayerTheofilos Augoustis2025-10-303-20/+63
|
* Enable LLDB disassembly when Miasm disassembly fails for better diagnosticsTheofilos Augoustis2025-10-302-1/+13
|
* Add support for building entire musl with reduced x86 instruction setTheofilos Augoustis2025-10-301-8/+26
|
* Make Redis build use reduced instruction setTheofilos Augoustis2025-10-301-1/+7
|
* Add interfaces for denoting an microarchitecturally-dependent instructions ↵Theofilos Augoustis2025-10-305-12/+56
| | | | and support for xgetbv with that interface
* Include musl-compiled and statically-linked redis as dependencyTheofilos Augoustis2025-10-301-0/+19
|
* 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
|