SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement

Gogul Balakrishnan

Sriram Sankaranarayanan

Franjo Ivancic

Ou Wei

Aarti Gupta

SAS (2008), pp. 238-254

Google Scholar

Abstract