Showing results 1 to 2 of 2
Reducing false alarms in static buffer overflow analysis = 정적 버퍼 오버플로우 분석의 거짓 경보 감소 기법link Kim, You-Il; 김유일; et al, 한국과학기술원, 2010 |
Type inference and lattice validation for program-analysis specifications = 프로그램 분석 명세의 타입 유추 및 래티스 타입 정의의 오류 검사link Kim, You-Il; 김유일; et al, 한국과학기술원, 2003 |
Discover