A System and Language for Building System-Specific, Static Analyses.

Seth Hallem, Benjamin Chelf, Yichen Xie, Dawson R. Engler

Browse the full PLDI paper archive.