Digital twinUS & West
Vulnerability Detection in AArch64 Machine Code Using a Digital Twin
An explainable digital twin is proposed for detecting vulnerabilities in AArch64 machine code without access to source code. The twin reproduces program execution, preserving register, memory, and allocated block states. Each instruction is transformed into a trace event, and vulnerabilities are described by symbolic rules in Kleene algebra with tests, compiled into finite automata to scan the trace without an SMT solver.
Why it matters
The novelty lies in using a digital twin for executable code analysis, extending the concept to cybersecurity and software asset management.
- Original headline
- Vulnerability Detection in AArch64 Machine Code Using a Digital Twin
Translation and summary are machine-generated from the source. The full article is not republished; its rights belong to the source.