Static analyzers still face significant challenges in coping with large programs. And, of course, developers want their queries about the code answered quickly. I will present a CEGAR-based approach that enables analyzers to scale better. The assumptions being made are rather weak:
This is joint work with Xin Zhang, Ravi Mangal, Mayur Naik, and Hongseok Yang.