1. Aleph One: Smashing the Stack for Fun and Profit. Phrack Magazine 7(49) (1996)
2. Zitser, M.: Securing Software: An Evaluation of Static Source Code Analyzers. M. Sc. Thesis. Department of Electrical Engineering and Computer Science, Massachusetts Institute of Technology (2003)
3. Kratkiewicz, K.: Evaluating Static Analysis Tools for Detecting Buffer Overflows in C Code. M. Sc. Thesis. Harvard University (2005)
4. Zhivich, M.A.: Detecting Buffer Overflows Using Testcase Synthesis and Code Instrumentation. M. Sc. Thesis. Massachusetts Institute of Technology (2005)
5. Akritidis, P., Cadar, C., Raiciu, C., Costa, M., Castro, M.: Preventing Memory Error Exploits with WIT. In: IEEE Symposium on Security and Privacy, pp. 263–277. IEEE Computer Society, Washington, DC, USA (2008)