about summary refs log tree commit diff stats
path: root/lldb_target.py (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Refactor project structureTheofilos Augoustis2023-12-311-211/+0
| | | | | | | | 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.
* Implement symbolic comparison and match traces via MiasmTheofilos Augoustis2023-12-141-46/+72
| | | | | 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-36/+36
| | | | | | | | | | | | 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>
* Replace symbolic execution tools with MiasmTheofilos Augoustis2023-12-071-4/+44
| | | | | | | | | Refactor SymbolicTransform interface a bit to include transformations of memory content. Implement it for Miasm as a backend. Move all symbolic execution things out of the test script (`miasm_test.py`) and move them to `symbolic.py` to replace the angr-based algorithms.
* Implement symbolic state comparison algorithmTheofilos Augoustis2023-11-271-4/+5
| | | | | | | | | This is the first draft of a `compare` algorithm that uses recorded symbolic transformations. Is currently based on angr, so it's probably going to be reworked to work with states generated by Miasm. Co-authored-by: Theofilos Augoustis <theofilos.augoustis@gmail.com> Co-authored-by: Nicola Crivellin <nicola.crivellin98@gmail.com>
* Migrate to Miasm for concolic execution from AngrTheofilos Augoustis2023-11-251-0/+4
| | | | | 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/+19
|
* Support for testing concrete and emulated execution with angrTheofilos Augoustis2023-10-211-0/+123