본문 바로가기 주메뉴 바로가기
22대 대한민국 국회 국회정보길라잡이 국회의원검색
회원가입 로그인
HOME

정보검색

소장정보 검색

국회도서관 홈으로 정보검색 소장정보 검색

결과 내 검색

동의어 포함

고급검색

인명/단체명

저자정보 상세정보
인명/단체명을 입력하세요.

키워드

  • 대표어

  • 외국어

-

목차보기

목차

고성능 정적 프로그램 분석 기법 / 오학주 1

1. 서론 1

1.1. 소프트웨어 오류 문제 1

1.2. 배경 기술: 정적 프로그램 분석 1

1.3. 고성능 정적 분석 기법 1

2. 기존 정적 분석 기술의 한계 2

3. 고성능 정적 분석 기법 2

3.1. 스파스 분석: 필요한 순간에, 필요한 부분만 분석하기 2

3.2. 선별적 정확도 향상 기법 3

4. 결론 4

참고문헌 4

약력 4

권호기사

권호기사 목록 테이블로 기사명, 저자명, 페이지, 원문, 기사목차 순으로 되어있습니다.
기사명 저자명 페이지 원문 목차
자바스크립트 웹 앱 분석과 결함 검출 류석영 pp.10-14

보기
고성능 정적 프로그램 분석 기법 오학주 pp.15-18

보기
OWASP 벤치마크의 보안약점 탐지 점수를 높이기 위한 정적 분석 기술 강동옥, 김경환, 진민식, 정영범 pp.19-26

보기
실용적인 컴파일러 무결점 검증 기술 허충길 pp.27-30

보기
A general distributed deep learning platform: a review of apache SINGA Chonho Lee, Wei Wang, Meihui Zhang, Beng Chin Ooi pp.31-34

보기
코드마인드 : 코드분석 전문벤처기업 박성우 pp.35-36

보기

참고문헌 (6건) : 자료제공( 네이버학술정보 )

참고문헌 목록에 대한 테이블로 번호, 참고문헌, 국회도서관 소장유무로 구성되어 있습니다.
번호 참고문헌 국회도서관 소장유무
1 http://ropas.snu.ac.kr/sparrow/ 미소장
2 Design and implementation of sparse global analyses for C-like languages 네이버 미소장
3 Global Sparse Analysis Framework 네이버 미소장
4 Selective context-sensitivity guided by impact pre-analysis 네이버 미소장
5 Selective X-Sensitive Analysis Guided by Impact Pre-Analysis 네이버 미소장
6 Learning a strategy for adapting a program analysis via bayesian optimisation 네이버 미소장

추천서가 (다양한 추천 자료를 만나보세요)

권호기사보기

권호기사 목록 테이블로 기사명, 저자명, 페이지, 원문, 기사목차 순으로 되어있습니다.
기사명 저자명 페이지 원문 기사목차

권호

기사명 원문보기 기사목차
닫기