본문 바로보기

menu

  • menu
  • menu
  • menu

소장자료

상세 정보
서명 / 저자 Reducing false alarms in static buffer overflow analysis = 정적 버퍼 오버플로우 분석의 거짓 경보 감소 기법 / You-Il Kim.
저자명 Kim, You-Il ; 김유일
발행사항 [대전 : 한국과학기술원, 2010].
online access
Online Access /thesis_pdf_02/2010/2010D02003...  원문
서가 정보
등록번호 소장위치/청구기호 도서상태 반납예정일
8021097 학술문화관(문화관) 보존서고
DCS 10004  

SMS전송

이용가능
대출가능확인

초록

상세 정보
형태사항 vii, 72 p. : 삽도 ; 26 cm
언어 영어
일반주기 저자명의 한글표기 : 김유일
지도교수의 영문표기 : Kwang-Moo Choe
지도교수의 한글표기 : 최광무
수록잡지명 : "Filtering false alarms of buffer overflow analysis using SMT solvers". Information and Software Technology, v.52.no.2, pp.210-219(2010)
학위논문 학위논문(박사) - 한국과학기술원 : 전산학과,
서지주기 References : p. 69-72
주제 false alarm
SMT solver
buffer overflow
static analysis
C programming language
거짓 경보
SMT 해결기
버퍼 오버플로우
정적 분석
C 프로그래밍 언어
QR CODE QR code

print

청구기호 Browsing (유사한 주제의 도서 정보를 브라우징 할 수 있습니다.)
이전 다음
이 주제의 인기대출도서
한줄서평
상단으로 이동