GSoC/GCI Archive
Google Summer of Code 2012 The Linux Foundation

Advanced Source Code Instrumentation for the Linux Driver Verification Project

by Evgeny Novikov for The Linux Foundation

This project tends to implement advanced source code instrumentation that will help the Linux Driver Verification project to formalize new correctness rules and verify Linux kernel drivers against them more efficiently with less human effort. This in turn will allow to find new real bugs in drivers and make them better and more reliable.