Path-Sensitive Analysis Using Edge Strings

Authors

Armand Navabi, Purdue UniversityFollow
Nicholas Kidd, Purdue UniversityFollow
Suresh Jagannathan, Purdue UniversityFollow

Tech Report Number

10-006

Date of this Version

6-7-2010

Recommended Citation

Navabi, Armand; Kidd, Nicholas; and Jagannathan, Suresh, "Path-Sensitive Analysis Using Edge Strings" (2010). Department of Computer Science Technical Reports. Paper 1732.
https://docs.lib.purdue.edu/cstech/1732

Number of Pages

16