Checkbochs: Use Hardware to Check Software

Details Checkbochs: Use Hardware to Check Software Checkbochs: Use Hardware to Check Software

2006-01-14

arxiv.org/abs/cs/0601068v1

Computer Science

Operating Systems

4 pages, 4 figures

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Checkbochs: Use Hardware to Check Software does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Checkbochs: Use Hardware to Check Software, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Checkbochs: Use Hardware to Check Software will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-221655