Welcome

Valgrind: A Framework for Heavyweight Dynamic Binary Instrumentation.

Nicholas Nethercote and Julian Seward. Proceedings of ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation (PLDI 2007), San Diego, California, USA, June 2007.

LLVM: An Infrastructure for Multi-Stage Optimization

Chris Lattner. Masters Thesis, Computer Science Dept., University of Illinois at Urbana-Champaign, Dec. 2002.

Data Mining Methods for Detection of New Malicious Executables

Schultz, M. G., Eskin, E., Zadok, E., and Stolfo, S. J. 2001. Data Mining Methods for Detection of New Malicious Executables. In Proceedings of the 2001 IEEE Symposium on Security and Privacy (May 14 - 16, 2001). SP. IEEE Computer Society, Washington, DC, 38.

KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs

C. Cadar, D. Dunbar, and D. R. Engler. Klee: Unassisted and automatic generation of high-coverage tests for complex systems programs. In OSDI, 2008.

Automatic Generation of Control Flow Hijacking Exploits for Software Vulnerabilities

Sean Heelan. MSc Computer Science Dissertation, University of Oxford Computing Laboratory, Sep. 2009