Runtime Error의 정적 분석을 통한 소프트웨어 보안 취약성 검출

참고문헌

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