이광근 교수 연구진의 소프트웨어 오류 검출 기술이 Facebook에 도입되었다.

Inferbo라는 분석기로 Facebook Research 홈페이지 커버를 장식하며(2017년 2월 6일 미서부시간 9:00개재) 전세계의 이목을 끌고 있다.

도입된 Inferbo분석기는 Facebook내부에서 사용중인 Infer 분석기의 근간이 되는 개별 분석 (modular analysis) 을 이용하여 빠르고 정확하게 배열 접근 오류를 찾아내는 기술이다. 개별 분석은 큰 소프트웨어의 각 부분을 따로 분석하고 그 정보를 한데 엮어 결과를 내는 기술로서 Facebook 과 같이 거대한 소프트웨어를 많은 사람들이 빠르게 개발하는 환경에는 필수이다. 기존에는 비교적 간단한 성질을 검사하는데 쓰였지만, 이 연구를 통해 배열 접근 오류 같은 복잡한 성질을 검사하는데도 이용할수 있게 되어 정적 분석 분야의 새로운 장이 열릴 것으로 기대한다.

Inferbo 분석기는 Infer분석기에 포함되어 GitHub 를 통해 모든 소스 코드가 공개되어 있기 때문에 Facebook 내부 개발자들뿐만 아니라 전세계 개발자 누구나 사용할 수 있다.

이 연구는 지난 11~12월 이광근 교수의 Facebook 방문 연구를 통해 진행된 것으로서 박사과정 허기홍, 조성근 학생이 참여하였다.
자세한 내용과 전세계 반응은 아래 링크를 통해 확인할 수 있다.

Facebook Research Homepage : https://research.fb.com
Hacker News : https://news.ycombinator.com/item?id=13583097
Facebook Infer GitHub : https://github.com/facebook/infer