about summary refs log tree commit diff stats
path: root/compare.py (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Refactor project structureTheofilos Augoustis2023-12-311-319/+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.
* Extend error reporting systemTheofilos Augoustis2023-12-271-65/+108
| | | | | Add error severities and the ability to filter for them. Include more information in comparison error messages.
* Implement symbolic comparison and match traces via MiasmTheofilos Augoustis2023-12-141-23/+100
| | | | | 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/+42
| | | | | | | | | | | | 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>
* Implement symbolic state comparison algorithmTheofilos Augoustis2023-11-271-141/+74
| | | | | | | | | 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>
* Implement simple comparison algorithmTheofilos Augoustis2023-10-151-0/+99
| | | | | Co-authored-by: Theofilos Augoustis <theofilos.augoustis@gmail.com> Co-authored-by: Nicola Crivellin <nicola.crivellin98@gmail.com>
* Refactor file structureTheofilos Augoustis2023-10-111-230/+35
| | | | | | | | | | | | | | | | | - main.py: focaccia user-interface - snapshot.py: state trace snapshots handling - compare.py: snapshot comparison algorithms - run.py: native execution tracer - arancini.py: Arancini log handling - arch/: per-architecture abstractions Co-authored-by: Theofilos Augoustis <theofilos.augoustis@gmail.com> Co-authored-by: Nicola Crivellin <nicola.crivellin98@gmail.com>
* Simplify log file parsingTheofilos Augoustis2023-10-091-92/+94
| | | | | | | Employ some refactorings to make the parsing code simpler and faster. Co-authored-by: Theofilos Augoustis <theofilos.augoustis@gmail.com> Co-authored-by: Nicola Crivellin <nicola.crivellin98@gmail.com>
* Print statistics for unmatched reference basic blocksTheofilos Augoustis2025-02-251-0/+17
|
* Improve progressive comparisonTheofilos Augoustis2023-08-241-4/+29
|
* Add progressive search over basic blocksTheofilos Augoustis2023-08-241-16/+71
|
* Add initial support for diffs between snapshotsTheofilos Augoustis2023-08-201-6/+29
|
* Add development scripts for comparing Arancini dumpsTheofilos Augoustis2023-07-121-0/+234