서울대 이광근 교수팀의 소프트웨어 오류 검출하는
Inferbo 기술, 페이스북 리서치에 도입
- 연구팀이 페이스북 본사 직접 방문을 통해 연구 진행
- 페이스북 리서치 홈페이지 커버 장식하며 전세계 이목 끌어


▲ 서울대 컴퓨터공학부 이광근 교수

국내 연구팀이 개발한 소프트웨어의 오류를 검출하는 새로운 기술이 페이스북에 도입됐다.
서울대 공대(학장 이건우)는 컴퓨터공학부 이광근 교수 연구팀이 개발한 소프트웨어 오류를 검출하는 Inferbo 분석기가 페이스북 리서치에 도입됐다고 14일 밝혔다.
Inferbo 분석기는 페이스북 내부에서 사용하는 개별 분석(Modular Analysis) 기술 결과에서, 빠르고 정확하게 소프트웨어의 배열 접근 오류를 찾아내는 기술이다.
그동안 페이스북이 사용해온 개별 분석 기술은 큰 소프트웨어의 각 부분을 따로 분석하고 그 정보를 엮어 결과를 내는 것으로, 이는 거대한 소프트웨어에 다수의 개발자가 각자 담당 분야를 빠르게 개발해야 하는 환경에서 필수적이다. 기존에는 개별 분석 기술이 비교적 간단한 성질을 검사하는데 쓰였지만, Inferbo 분석기를 통해 배열 접근 오류 같은 복잡한 성질을 검사하는데도 이용 가능하게 됐다.
Inferbo 분석기는 GitHub를 통해 모든 소스 코드가 공개되어 있어, 페이스북 내부 개발자 뿐만 아니라 전세계 개발자 누구나 사용할 수 있다. 이로 인해 소프트웨어 정적 분석 분야의 새로운 장이 열릴 것으로 기대된다.
한편 해당 연구는 지난 11, 12월 서울대 이광근 교수 연구팀의 페이스북 방문 연구를 통해 진행된 것으로 박사과정 허기홍, 조성근 학생이 참여했다.