AI 생성 C 프로그램 데이터셋 FormAI: 형식 검증을 통한 소프트웨어 보안 분석

GPT-3.5-turbo가 생성한 C 프로그램에는 다양한 취약점이 존재하며, 이를 형식 검증 기법을 통해 체계적으로 분석하고 분류할 수 있다.