4VIEGA J, BLOCH J T, KOHNO Y, et al. ITS4: a static vulnerability scanner for C and C ++ code[ C ]//Proc of the 16th Annual Computer Security Applications Conference. New Orleans, Louisiana: Springer-Verlag, 2000 : 257.
6COWAN C, BEATTIE S, JOHANSEN J,et al. PointGuard: protecting pointers from buffer overflow vulnerabilities [ C ]//Proc of the 12th USENIX Security Symposium. Washington DC : [ s. n ], 2003:4- 8.
7JONES R, KELLY P. Bounds checking for C [ EB/OL ]. ( 1995 ). http://www, doe. ie. ae. uk/-phjk/Bounds Checking. html.