CNnotator: LLM 가이드 기반 메모리 안전 주석 합성

요약

CNnotator는 LLM을 활용하여 C 언어 코드의 메모리 사용 패턴을 나타내는 CN 명세 주석을 자동으로 합성하는 연구입니다. OpenAI의 o3 모델이 높은 성공률을 보이며 AI를 통한 메모리 안전성 분석의 가능성을 입증했습니다.

핵심 포인트

• LLM을 이용한 C 코드의 메모리 안전 주석 자동 생성 기술 제안
• OpenAI o3 모델이 첫 시도 90%, 최종 97%의 높은 성공률 기록
• GPT-4o 대비 추론 모델(Reasoning model)의 뛰어난 성능 확인
• 레거시 코드의 메모리 조작 패턴 파악을 위한 AI 보조 도구로서의 가치