diff options
| author | Theofilos Augoustis <theofilos.augoustis@gmail.com> | 2023-12-08 16:17:35 +0100 |
|---|---|---|
| committer | Theofilos Augoustis <theofilos.augoustis@gmail.com> | 2023-12-08 16:17:35 +0100 |
| commit | 4a5584d8f69d8ff511285387971d8cbf803f16b7 (patch) | |
| tree | 11c9e104fadc9b47f3f423f4be3bf0be34edf4f8 /arancini.py | |
| parent | 0cf4f736fd5d7cd99f00d6c5896af9a608d2df8b (diff) | |
| download | focaccia-4a5584d8f69d8ff511285387971d8cbf803f16b7.tar.gz focaccia-4a5584d8f69d8ff511285387971d8cbf803f16b7.zip | |
Adapt symbolic compare to new transform interface
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>
Diffstat (limited to 'arancini.py')
| -rw-r--r-- | arancini.py | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/arancini.py b/arancini.py index adbe6c8..71f45d7 100644 --- a/arancini.py +++ b/arancini.py @@ -45,7 +45,7 @@ def parse(lines: list[str], arch: Arch) -> list[ProgramState]: snapshots = [] for line in lines: if 'Backwards' in line and len(snapshots) > 0: - snapshots[-1].set_backwards() + # snapshots[-1].set_backwards() continue match = try_parse_line(line) @@ -85,10 +85,10 @@ def get_labels(): 'R13': ('R13', split_first), 'R14': ('R14', split_first), 'R15': ('R15', split_first), - 'flag ZF': ('flag ZF', split_second), - 'flag CF': ('flag CF', split_second), - 'flag OF': ('flag OF', split_second), - 'flag SF': ('flag SF', split_second), - 'flag PF': ('flag PF', split_second), - 'flag DF': ('flag DF', split_second)} + 'flag ZF': ('ZF', split_second), + 'flag CF': ('CF', split_second), + 'flag OF': ('OF', split_second), + 'flag SF': ('SF', split_second), + 'flag PF': ('PF', split_second), + 'flag DF': ('DF', split_second)} return labels |