오늘날 소프트웨어는 다양한 분야에서 활용되고 있으며, 그 안에 존재하는 오류 및 보안 취약점은 심각한 사고와 피해를 초래할 수 있습니다. 정보보안 연구실은 이러한 오류를 자동으로 탐지하고 사전에 제거하는 기술을 연구합니다. 프로그램을 실제로 실행하지 않은 채로 그 동작을 어림잡아 오류를 예측하는 정적 분석(static analysis) 이론과, 프로그램을 다양한 입력으로 반복 실행하여 오류를 찾아내는 퍼즈 테스팅(fuzz testing) 기술을 활용하여 다양한 도메인의 소프트웨어에서 오류를 탐지하는 연구를 수행합니다. 최근에는 거대언어모델(large language model)의 뛰어난 코드 이해 능력을 프로그램 분석 및 테스팅 기술과 결합하여, 소프트웨어 오류 탐지의 새로운 가능성을 모색하고 있습니다.