ABSTRACT
A great deal of attention has been given lately to addressing applicationspecific software bugs such as errors in operating system drivers [4,14], security errors [24, 43], or errors in reliability-critical embedded software in domains like avionics [7,8]. These represent critical errors in widely used software and tend to get fixed relatively quickly when found. A variety of static and dynamic analysis tools have been developed to address these high-profile bugs.
