"Path-Sensitive Analysis Using Edge Strings" by Armand Navabi, Nicholas Kidd et al.

Menu

Skip to main content

Department of Computer Science Technical Reports

Path-Sensitive Analysis Using Edge Strings

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

Date of this Version

2010

Tech Report Number

10-006

Number of Pages

16

COinS