References
-
Robert C. Seacord: Secure Coding in C and C++, published by Person Education, Inc., publishing as Addison Wesley Professional, Copyright
${\copyright}$ 2006 - Kwangkeun Yi, Jaewhang Kim, Yungbum Jung: Design and Implementation of Static Program Analyzer Finding All Buffer Overrun Errors in C Programs), 정보과학회 2006.5
- Yungbum Jung: Practical Memory Leak Detector Based on Parameterized Procedural Summaries, 2007
- Jaeho Shin: An abstract Interpretation with the Interval Domain for C-like Programs, 2006.7
- Yungbum Jung, Kwangkeun Yi: Practical Memory Leak Detector Based on Parameterized Procedural Summaries, ISMM 08, 2008.6