프로젝트 소개
본 과제는 C++ 프로그램에서 private 멤버에 잘못 접근하는 코드를 자동으로 찾아 소프트웨어 오류와 보안 문제를 줄이기 위한 정적분석기 개발에 관한 연구임.
연구 목표는 가시성 규칙 위반 문제를 명확히 정의하고 이를 검출하는 분석기 구조를 설계하며 효율적 분석을 위한 메모리 모델과 알고리즘을 마련하는 데 있음. 핵심 내용은 포인터 연산으로 인해 발생하는 가시성 규칙 위반을 탐지하기 위한 타입 계산 알고리즘 개발과 정확성 검증, 그리고 성능 개선 연구임. 기대 효과는 기밀 데이터 보호와 실행시간 오류 감소를 통한 신뢰성 높은 소프트웨어 개발 가능성 제고 및 정보유출 방지에 따른 경제적 손실 완화임