Derive: a tool that automatically reverse-engineers instruction encodings
Efficient software-based fault isolation