1DOR N, RODEH M, SAGIV M. Cssv: Towards a realistic tool for statically detecting all buffer overflows in c[ A]. Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Designand Implementation[ C], 2003. 155 - 167.
2WAGNER D, FOSTER J, BREWER E, et al. A first step towards automated detection of buffer overrun vulnerabilities[ A]. Proceedings of the Network and Distributed Systems Security Symposium[C]. 2000. 3 - 17.
3EVANS D. Statie Detection of Dynamic Memory Errors[ A]. ACM Conference on Programming Language Design and Implementation[C], 1996. 44-52.