about summary refs log tree commit diff stats
path: root/tools/verify_qemu.py (unfollow)
Commit message (Collapse)AuthorFilesLines
2025-10-31Handle exit in post-event hookTheofilos Augoustis2-13/+22
2025-10-31Do not deduplicate but handle post eventsTheofilos Augoustis2-17/+18
2025-10-31Cross-correlate events with the Focaccia tracing sequenceTheofilos Augoustis2-9/+54
2025-10-31Support setting time limits for symbolic executionTheofilos Augoustis3-5/+42
2025-10-31Add caching mechanism for state valuesTheofilos Augoustis1-3/+22
2025-10-31Add special exception category for validation errorsTheofilos Augoustis1-14/+22
2025-10-31Skip instructions that cannot be lifted in forced modeTheofilos Augoustis1-7/+21
Handle missing instruction support gracefully
2025-10-31Enable cross-validation with single-stepping in debug modeTheofilos Augoustis2-3/+5
2025-10-31Add user option for setting a starting address for a symbolic traceTheofilos Augoustis3-2/+22
2025-10-31Add deterministic log as part of trace environmentTheofilos Augoustis4-6/+143
2025-10-30Package RR trace parsing mechanism in FocacciaTheofilos Augoustis6-3/+92
2025-10-30Integrate capnproto into python buildTheofilos Augoustis3-37/+93
2025-10-30Add RR as a submoduleTheofilos Augoustis2-0/+3
2025-10-30Cleanup old QEMU version from flakeTheofilos Augoustis2-23/+1
2025-10-30Enable tracing without single steppingTheofilos Augoustis6-91/+159
2025-10-30Use Instruction interface for miasm disassemblyTheofilos Augoustis1-12/+15
2025-10-30Update LLDB target to support multiple threadsTheofilos Augoustis1-2/+14
2025-10-30Add more packages to test in FocacciaTheofilos Augoustis1-1/+3
2025-10-30Print alternative disassemblyTheofilos Augoustis1-2/+6
2025-10-30Enable forced mode to push through errors (in hopes of tracing even ↵Theofilos Augoustis2-20/+36
partially-unsupported programs)
2025-10-30Refactor symbolic tracing logic to remove cruftTheofilos Augoustis1-15/+13
2025-10-30Update 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-10-30Push exception upwards when a register cannot be read to main tracer logicTheofilos Augoustis1-5/+1
2025-10-30Make it possible to use the LLDB disassembly when the Miasm disassembly does ↵Theofilos Augoustis2-8/+25
not work
2025-10-30Refactor native tracing to facilitate remote tracingTheofilos Augoustis4-82/+134
2025-10-30Add musl-extra target that includes RR but not minimal-redisTheofilos Augoustis1-0/+14
2025-10-30Splity LLDB target handling into local and remote with shared base classTheofilos Augoustis2-56/+70
2025-10-30Print which instructions where disassembledTheofilos Augoustis1-0/+1
2025-10-30Add support for remote targets to integrate with replayerTheofilos Augoustis3-20/+63
2025-10-30Enable LLDB disassembly when Miasm disassembly fails for better diagnosticsTheofilos Augoustis2-1/+13
2025-10-30Add support for building entire musl with reduced x86 instruction setTheofilos Augoustis1-8/+26
2025-10-30Make Redis build use reduced instruction setTheofilos Augoustis1-1/+7
2025-10-30Add interfaces for denoting an microarchitecturally-dependent instructions ↵Theofilos Augoustis5-12/+56
and support for xgetbv with that interface
2025-10-30Include musl-compiled and statically-linked redis as dependencyTheofilos Augoustis1-0/+19
2025-10-30Fix incorrect cross-validation flag specificationTheofilos Augoustis1-0/+1
2025-10-27Add BMI reproducerChristian Krinitsin5-0/+23
2025-10-24Refactor flake handling of box64Theofilos Augoustis1-47/+32
2025-10-23Add Box64 validation steps to READMEckrinitsin1-0/+13
2025-10-23Add Box64 build with erroneous CMPXCHG instructionChristian Krinitsin2-1/+107
2025-10-23Add Box64 parserChristian Krinitsin2-0/+32
2025-10-23Update TraceEnvironment parametersChristian Krinitsin1-1/+1
2025-10-21Update flake to check for missing git submodulesTheofilos Augoustis1-0/+16
2025-10-16Fix incorrect docstring for write_register ta/docsTheofilos Augoustis1-1/+1
2025-10-16Update README to include information about running helper toolsTheofilos Augoustis1-1/+12
2025-10-14Simplify issue 2248 reproducer ta/arm64Theofilos Augoustis1-4/+12
2025-10-14Update to new Miasm version with support for ldsmaxbTheofilos Augoustis3-5/+8
2025-10-14Add better diagnostic for incorrect symbolic expressionsTheofilos Augoustis1-3/+6
2025-10-14Add indentation to any and all Focaccia dunmps to make the human-inspectableTheofilos Augoustis1-1/+1
2025-10-10Dump Focaccia symbolic equations with indentation (to help debugging)Theofilos Augoustis1-1/+1
2025-10-09More alternatives for accessing aarch64 vectorsTheofilos Augoustis1-1/+4