- [ ] Empty block - [ ] Terminator before end - [ ] Not ended by terminator - [ ] Mismatched instruction mapping - [ ] Broken branch link ...