Preprint
Aug 2026
InSPECtor: Improving SLEIGH Processor Specification Veracity via Proxy
This study is a significant undertaking to enable, for the first time, the systematic validation of open-source SLEIGH language specifications, predominantly used by Ghidra, with a testing framework based on an automated oracle validation strategy by proxy.
Michael Chesser, Paul Quirk, D. Cooke et al.
· 0 citations