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

Yichen Xie, Andy Chou, Dawson R. Engler (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics