ARCHER: using symbolic, path-sensitive analysis to detect memory access errors.

Yichen Xie Andy Chou Dawson R. Engler ARCHER: using symbolic, path-sensitive analysis to detect memory access errors. 327-336 2003 conf/sigsoft/2003 ESEC / SIGSOFT FSE http://doi.acm.org/10.1145/940071.940115 db/conf/sigsoft/fse2003.html#XieCE03