Computer Science · Formal Methods & Verification
A topic within Formal Methods & Verification, itself one of 9 topics in that field and part of Computer Science.
2 works
Gary A. Kildall
Frames data-flow analysis as computing a fixed point over a lattice of program facts, giving static analysis a single mathematical framework that every later data-flow algorithm is an instance of.
Dawson Engler, Benjamin Chelf, Andy Chou & Seth Hallem
Lets programmers write small, system-specific correctness rules as compiler extensions, and reports that checking Linux and other large codebases this way found hundreds of real bugs missed by generic analysis.