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>

1 files changed, 1 insertions, 0 deletions

diff --git a/arch/x86.py b/arch/x86.py
index 88e6d1a..776291d 100644
--- a/arch/x86.py
+++ b/arch/x86.py
@@ -34,6 +34,7 @@ regnames = [
 # A dictionary mapping aliases to standard register names.
 regname_aliases = {
     'PC': 'RIP',
+    'NF': 'SF',   # negative flag == sign flag in Miasm?
 }
 
 def decompose_rflags(rflags: int) -> dict[str, int]: