1. NIST, National vulnerability database; 2012 .
2. Sigfree: a signature-free buffer overflow attack blocker;Wang;IEEE Trans Depend Secure Comput,2010
3. Chen H, Dean D, Wagner D. Model checking one million lines of C code. In: Proceedings of the 11th annual network and distributed system security symposium (NDSS); 2004.
4. Larochelle D, Evans D. Statically detecting likely buffer overflow vulnerabilities. In: Proceedings of the 10th USENIX security symposium; 2001.
5. Chiueh T-C, Hsu F-H. Rad: a compile-time solution to buffer overflow attacks. In: The 21st international conference on distributed computing systems (ICDCS); 2001.