about summary refs log tree commit diff stats
path: root/README.md (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Integrate QEMU plugin directly into Focaccia ta/uniformize-qemuTheofilos Augoustis2025-11-061-40/+55
|
* Cosmetic changes & README sr/pluginReimersS2025-11-041-1/+11
|
* Add Box64 validation steps to READMEckrinitsin2025-10-231-0/+13
|
* Update README to include information about running helper toolsTheofilos Augoustis2025-10-161-1/+12
|
* Add support for aarch64Theofilos Augoustis2024-07-121-4/+17
| | | | | | | | | | | | | | | | | | - Implement an architecture description for aarch64 - Add endianness information to the `Arch` class. - Move conversion from flags register to logical flag values from the calling code to the concrete targets (LLDB and GDB), which is the only point where we (have to) deal in flags registers. - Handle assembly/disassembly errors in serialization of SymbolicTransform - Move ProgramState's `arch` attribute into ReadableProgramState. Co-authored-by: Theofilos Augoustis <theofilos.augoustis@gmail.com> Co-authored-by: Nicola Crivellin <nicola.crivellin98@gmail.com>
* Extract matching algorithms into a moduleTheofilos Augoustis2024-02-071-0/+2
| | | | | | | | We have: - Trace folding: Resolve mismatches in snapshot granularity - Trace matching: Resolve mismatches in program flow
* Refactor project structureTheofilos Augoustis2023-12-311-16/+14
| | | | | | | | Read concrete state on demand during concolic exec During concolic tracing, don't record full program snapshots at each basic block, but instead read concrete values directly from the concrete target when they are needed.
* Verify QEMU by converting logs to internal data formatTheofilos Augoustis2023-12-261-1/+13
| | | | | Co-authored-by: Theofilos Augoustis <theofilos.augoustis@gmail.com> Co-authored-by: Nicola Crivellin <nicola.crivellin98@gmail.com>
* Implement symbolic comparison and match traces via MiasmTheofilos Augoustis2023-12-141-2/+2
| | | | | Co-authored-by: Theofilos Augoustis <theofilos.augoustis@gmail.com> Co-authored-by: Nicola Crivellin <nicola.crivellin98@gmail.com>
* Adapt symbolic compare to new transform interfaceTheofilos Augoustis2023-12-081-34/+18
| | | | | | | | | | | | Also implement a `MiasmSymbolicTransform.concat` function that concatenates two transformations. Some minor adaptions to the eval_expr code was necessary to remove some assumptions that don't work if the resolver state returns symbols instead of concrete values. Remove obsolete utilities that were used for angr. Co-authored-by: Theofilos Augoustis <theofilos.augoustis@gmail.com> Co-authored-by: Nicola Crivellin <nicola.crivellin98@gmail.com>
* Record symbolic transform for single instructionsTheofilos Augoustis2023-11-281-0/+18
| | | | | | | | | Step manually through single instructions instead of full basic blocks. Record the transformation performed by each instruction as symbolic equations. Co-authored-by: Theofilos Augoustis <theofilos.augoustis@gmail.com> Co-authored-by: Nicola Crivellin <nicola.crivellin98@gmail.com>
* Implement interpreter for symbolic expressionsTheofilos Augoustis2023-11-101-2/+5
|
* Implement symbolic tracing in trace_symbols.py using AngrTheofilos Augoustis2023-11-071-0/+48
|
* Add READMETheofilos Augoustis2023-07-121-0/+5