understand and maintain. In the approach used here:
- It's easier to see that the analyzer is correct: you just see
- whether the analyzer properly (albiet conservatively) simulates
+ whether the analyzer properly (albeit conservatively) simulates
the effect of each instruction.
- It's easier to extend the analyzer: you can add support for new