Showing results 1 to 3 of 3
Context-sensitive term rewriting system for detecting missing sequence points in C expressions = 시퀀스 포인트가 누락된 C 언어 수식 탐지를 위한 항 개서 시스템link Cho, Jun-Hee; 조준희; et al, 한국과학기술원, 2011 |
Context-sensitive term rewriting system for detecting missing sequence points in C expressions = 시퀀스 포인트가 누락된 C 언어 수식 탐지를 위한 항 개서 시스템link Cho, Jun-Hee; 조준희; et al, 한국과학기술원, 2011 |
Reducing false alarms in static buffer overflow analysis = 정적 버퍼 오버플로우 분석의 거짓 경보 감소 기법link Kim, You-Il; 김유일; et al, 한국과학기술원, 2010 |
Discover