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