From 69c55d68d68c00007afa1af76a1d06f74ee72fe6 Mon Sep 17 00:00:00 2001 From: Theofilos Augoustis Date: Wed, 11 Oct 2023 16:21:21 +0200 Subject: Refactor file structure - 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 Co-authored-by: Nicola Crivellin --- arch/x86.py | 33 +++++++++++++++++++++++++++++++++ 1 file changed, 33 insertions(+) create mode 100644 arch/x86.py (limited to 'arch/x86.py') diff --git a/arch/x86.py b/arch/x86.py new file mode 100644 index 0000000..0f60457 --- /dev/null +++ b/arch/x86.py @@ -0,0 +1,33 @@ +"""Architexture-specific configuration.""" + +from .arch import Arch + +# Names of registers in the architexture +regnames = ['PC', + 'RAX', + 'RBX', + 'RCX', + 'RDX', + 'RSI', + 'RDI', + 'RBP', + 'RSP', + 'R8', + 'R9', + 'R10', + 'R11', + 'R12', + 'R13', + 'R14', + 'R15', + 'RFLAGS', + 'flag ZF', + 'flag CF', + 'flag OF', + 'flag SF', + 'flag PF', + 'flag DF'] + +class ArchX86(Arch): + def __init__(self): + super().__init__(regnames) -- cgit 1.4.1