Checkbochs: Use Hardware to Check Software
<|reference_start|>Checkbochs: Use Hardware to Check Software: In this paper, we present a system called Checkbochs, a machine simulator that checks rules about its guest operating system and applications at the hardware level. The properties to be checked can be implemented as `plugins' in the Checkbochs simulator. Some of the properties that were checked using Checkbochs include null-pointer checks, format-string vulnerabilities, user/kernel pointer checks, and race-conditions. On implementing these checks, we were able to uncover previously-unknown bugs in widely used Linux distributions. We also tested our tools on undergraduate coursework, and found numerous bugs.<|reference_end|>
@article{bansal2006checkbochs:,
    title={Checkbochs: Use Hardware to Check Software},
    author={Sorav Bansal},
    journal={arXiv preprint arXiv:cs/0601068},
    year={2006},
    archivePrefix={arXiv},
    eprint={cs/0601068},
    primaryClass={cs.OS cs.CR}
}