Program Analysis via Satisfiability Modulo Path Programs (0)

by W R Harris, S Sankaranarayanan, F Ivančić, A Gupta
Venue:In POPL’10