Pallas: Semantic-Aware Checking for Finding Deep Bugs in Fast Path
EIO: Error Handling is Occasionally Correct