Get the latest tech news
LibLISA – Instruction Discovery and Analysis on x86-64
libLISA derives x86-64 instruction semantics bottom-up from CPU behavior. The semantics are machine-readable and CPU-specific.
This is caused by the sheer complexity of the x86-64 architecture: the informal specification found in Intel manuals is roughly 4700 pages, and even these are known to be nottrustworthy. The current state-of-the-art formal semantics for x86-64 took 8 man-months to write, and even that specification still contains 34 errors (see Section 5.2 of our paper). libLISA aims to solve this problem by using a CPU as the ground truth, and deriving semantics by observing instruction execution.
Or read this on Hacker News
