Browse > Article

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

An, Seong-Min (파수닷컴 PA개발팀)
Jin, Min-Sik (파수닷컴 PA개발팀)
Jo, Gyu-Jin (파수닷컴 PA(Program Analysis) 사업본부)
Keywords
Citations & Related Records
연도 인용수 순위
  • Reference
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 ${\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