Ball T, Bounimova E, Cook B, et al. Thorough static analysis of device drivers//2006 EuroSys Conference. New York: Association for Computing Machinery, 2006: 73-85.
[2]
Yang Junfeng, Sar Can, Engler Dawson. Explode: a lightweight, general system for finding serious storage system errors//7th USENIX Symposium on Operating Systems Design and Implementation. : USENIX ASSOC, 2006: 131-146.
[3]
Engler D, Chelf B, Chou A, et al. Checking system rules using system-specific, programmer-written compiler extensions//Proceedings of the 4th Conference on Symposium on Operating System Design & Implementation. : USENIX Association, 2000: 1-16.
[4]
Ashcraft K, Engler D. Using programmer-written compiler extensions to catch security holes//2002 Symposium on Security and Privacy. : Institute of Electrical and Electronics Engineers Inc, 2002: 143-159.
[5]
Hovemeyer D, Pugh W. Finding bugs is easy[J]. ACM SIGPLAN Notices, 2004, 39(12): 92-106.
[6]
Hovemeyer D, Pugh W. Finding more null pointer bugs, but not too many//Proceedings of the 7th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering. New York: ACM Press, 2007: 9-14.
[7]
Klocwork Inc. Klocwork trail version. : Klocwork Inc.?2008.?
