초록 ▼

□ 연구개요
이 연구의 목표는 다양한 프로그래밍 환경과 끊임없이 상호작용하며 학습하는 정적 분석 시스템을 개발하는 것이다. 이 시스템은 사용자에게 복잡한 정적 분석의 배경 지식을 요구하지 않으며, 기존 프로그래밍 환경에 자연스럽게 결합하여 동작한다. 특히 이 연구에서는 사용자, 동적 분석, 이전 버전의 프로그램과 상호작용하는 시스템을 개발하는 것을 주요 목표로 한다.

□ 연구 목표대비 연구결과
본 과제에서는 제안한 목표에 따라 아래와 같은 결과를 도출하였음.
1. 정적 분석 결과와 사용자의 응답을 통합하

□ 연구개요
이 연구의 목표는 다양한 프로그래밍 환경과 끊임없이 상호작용하며 학습하는 정적 분석 시스템을 개발하는 것이다. 이 시스템은 사용자에게 복잡한 정적 분석의 배경 지식을 요구하지 않으며, 기존 프로그래밍 환경에 자연스럽게 결합하여 동작한다. 특히 이 연구에서는 사용자, 동적 분석, 이전 버전의 프로그램과 상호작용하는 시스템을 개발하는 것을 주요 목표로 한다.

□ 연구 목표대비 연구결과
본 과제에서는 제안한 목표에 따라 아래와 같은 결과를 도출하였음.
1. 정적 분석 결과와 사용자의 응답을 통합하는 시스템 실현
- 베이지안 네트워크를 이용한 오류 확률 학습 및 추론 기술 개발
- 사용자의 응답을 이용하는 상호작용 기반 오류 보고서 생성 기술 개발
- 기존 오류 데이터를 이용한 베이지안 네트워크 구조 학습 기술 개발
- 최우수 학술대회 논문 1건 게재

2. 정적 분석 결과와 동적 분석 결과를 통합하는 시스템 실현
- 베이지안 네트워크를 이용하여 테스팅과 정적 분석 결과를 통합하는 기술 개발
- 정적 분석 결과를 이용하여 퍼징 (fuzzing)의 효율을 높이는 기술 개발
- 정적 분석기와 퍼징을 결합하여 컴파일러의 오류를 심층분석하는 기술 개발
- 최우수 학술대회 논문 4건 게재

3. 프로그램 버전 별 분석 결과를 통합하는 시스템 실현
- 베이지안 네트워크를 이용하여 프로그램 버전 별 분석 결과를 통합하는 기술 개발
- 과거 오류 데이터를 활용하여 정적 분석의 성능을 높이는 기술 개발
- 최우수 학술대회 논문 1건 게재

□ 연구개발성과의 활용 계획 및 기대효과(연구개발결과의 중요성)
본 과제의 개발 성과는 아래와 같이 활용 가능할 것으로 기대함.

1. 정적 분석 서비스 양산화 및 대중화: 새로운 프로그래밍 언어 출현, 소프트웨어 복잡도와 규모 증가 등 현장의 소프트웨어 오류 문제는 심각해지는데 비해 이에 대응할 정적 분석 전문 인력의 수는 턱없이 부족함. 이러한 상황에서 사용자의 다양한 요구를 만족하는 자동화된 시스템은 반드시 필요할 것으로 예상.

2. 사이버 보안 위협에 선제적 대응: 해마다 발견되는 심각한 보안 취약점의 개수는 꾸준히 증가하는 상황임. 이에 따라 소프트웨어 개발 단계에서 개발자 스스로가 선제적으로 오류에 대응하는 시스템은 안전한 소프트웨어 생태계를 위해 필수임.

(출처 : 요약문 2p)

목차 Contents

• 표지 ... 1
• 연구결과 요약문 ... 2
• 목차 ... 3
• 1. 연구개발과제의 개요 ... 4
• 1) 연구개발과제의 최종 목표 ... 4
• 2) 연구개발과제의 필요성 ... 4
• 3) 연구 범위 ... 4
• 2. 연구개발과제의 수행 과정 및 수행 내용 ... 5
• 1) 1차년도: 정적 분석 결과와 사용자의 응답을 통합하는 시스템 ... 5
• 2) 2차년도: 정적 분석과 동적 분석을 통합하는 시스템 ... 6
• 3) 3차년도: 프로그램 버전 별 정적 분석결과를 통합하는 시스템 ... 7
• 3. 연구개발과제의 수행 결과 및 목표 달성 수준 ... 8
• 1) 정성적 연구개발성과(연구개발결과) ... 8
• 2) 세부 정량적 연구개발성과 ... 10
• 3) 목표 달성 수준 ... 11
• 4) 목표 미달 시 원인 분석 ... 12
• 4. 연구개발성과의 관련 분야에 대한 기여 정도(연구개발결과의 중요성) ... 12
• 1) 정적 분석 서비스 양산화 및 대중화 ... 12
• 2) 사이버 보안 위협에 선제적 대응 ... 12
• 5. 연구개발성과의 관리 및 활용 계획 ... 12
• 6. 자체점검표 ... 13
• 7. 참고문헌 ... 13
• 끝페이지 ... 34