ARCHER: Using Symbolic, Path-sensitive Analysis to Detect Memory Access Errors (2003)

Cached

Download Links

by Yichen Xie , Andy Chou , Dawson Engler
Venue:SIGSOFT Softw. Eng. Notes
Citations:62 - 0 self