From 5d51b4fe0bb41bc9e86c5775de35a9aef023fec5 Mon Sep 17 00:00:00 2001 From: Theofilos Augoustis Date: Mon, 27 Nov 2023 13:22:01 +0100 Subject: Implement symbolic state comparison algorithm 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 Co-authored-by: Nicola Crivellin --- arch/x86.py | 2 ++ 1 file changed, 2 insertions(+) (limited to 'arch/x86.py') diff --git a/arch/x86.py b/arch/x86.py index 01c1631..25213a0 100644 --- a/arch/x86.py +++ b/arch/x86.py @@ -22,6 +22,8 @@ regnames = [ 'R14', 'R15', 'RFLAGS', + # Segment registers + 'CS', 'DS', 'SS', 'ES', 'FS', 'GS', # FLAGS 'CF', 'PF', 'AF', 'ZF', 'SF', 'TF', 'IF', 'DF', 'OF', 'IOPL', 'NT', # EFLAGS -- cgit 1.4.1