Reference 1
To add new instructions to Remill: https://github.com/lifting-bits/remill/blob/master/docs/ADD_AN_INSTRUCTION.md
SEM: semantic of an instruction.
ISEL: An instruction ‘selection’.
XED:
Implementation
lift instruction to basic block: https://github.com/lifting-bits/remill/blob/master/remill/BC/Lifter.h
function lift: https://github.com/lifting-bits/remill/tree/master/tools/lift/Lift.cpp
If you could revise
the fundmental principles of
computer system design
to improve security...
... what would you change?