Beyond Bug-Finding: Sound Program Analysis for Linux

TitleBeyond Bug-Finding: Sound Program Analysis for Linux
Publication TypeConference Paper
Year of Publication2007
AuthorsAnderson Z, Brewer E
Conference Name11th Workshop on Hot Topics in Operating Systems (HotOS XI)
Date Published05/2007
PublisherUSENIX Association
Conference LocationSan Diego, CA
URLhttps://www.usenix.org/conference/hotos-xi/beyond-bug-finding-sound-program-analysis-linux