\relax 
\catcode`"\active
\bibstyle{alpha}
\citation{CoWaPuBeWa2000}
\citation{1994:pldi:austin}
\citation{NeculaMcPWei02}
\citation{conf/popl/SuW06}
\citation{Shankar:2001:DFS}
\citation{PieVan2005}
\citation{conf/sec/Nguyen-TuongGGSE05}
\citation{VNJKKV2007}
\citation{HaChFr2005}
\citation{conf/sigsoft/HalfondOM06}
\citation{conf/ndss/NewsomeS05}
\citation{conf/sp/JovanovicKK06}
\citation{Livshits05a}
\citation{Larochelle:2001:SDL}
\citation{MSR-TR-2005-135}
\citation{amme+01}
\citation{necula96:safe}
\citation{CheWag2002}
\citation{HiAhMc2006}
\bibdata{s07w,d}
\bibcite{1994:pldi:austin}{ABS94}
\bibcite{amme+01}{ADvRF01}
\bibcite{CheWag2002}{CW02}
\bibcite{CoWaPuBeWa2000}{CWP{$^{+}$}00}
\bibcite{HiAhMc2006}{HAM06}
\bibcite{HaChFr2005}{HCF05}
\bibcite{MSR-TR-2005-135}{HLA{$^{+}$}05}
\bibcite{conf/sigsoft/HalfondOM06}{HOM06}
\bibcite{conf/sp/JovanovicKK06}{JKK06}
\select@language{german}
\@writefile{toc}{\select@language{german}}
\@writefile{lof}{\select@language{german}}
\@writefile{lot}{\select@language{german}}
\bibcite{Larochelle:2001:SDL}{LE01}
\bibcite{Livshits05a}{LL05}
\bibcite{necula96:safe}{NL96}
\bibcite{NeculaMcPWei02}{NMW02}
\bibcite{conf/ndss/NewsomeS05}{NS05}
\bibcite{conf/sec/Nguyen-TuongGGSE05}{NTGG{$^{+}$}05}
\bibcite{PieVan2005}{PB06}
\bibcite{Shankar:2001:DFS}{STFW01}
\bibcite{conf/popl/SuW06}{SW06}
\bibcite{VNJKKV2007}{VNJ{$^{+}$}07}