1. What is code vulnerability?;Dean;Codegrip,2020
2. An empirical study of security warnings from static application security testing tools;Aloraini;J. Syst. Softw.,2019
3. LLVM: a compilation framework for lifelong program analysis & transformation;Lattner,2004
4. KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs;Cadar,2008
5. Program slicing;Weiser;IEEE Trans. Softw. Eng.,1984