Program analysis via satisfiability modulo path programs (0)

by W R Harris, S Sankaranarayanan, F Ivančić, A Gupta
Venue:in POPL, 2010