| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Refactor project structure | Theofilos Augoustis | 2023-12-31 | 1 | -11/+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. | ||||
| * | Adapt symbolic compare to new transform interface | Theofilos Augoustis | 2023-12-08 | 1 | -2/+6 |
| | | | | | | | | | | | | | 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> | ||||
| * | Support for testing concrete and emulated execution with angr | Theofilos Augoustis | 2023-10-21 | 1 | -0/+7 |