College Of Engineering
서울공대 이야기

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


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


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

번호 제목 글쓴이 날짜 조회 수
1137 서울대 이신두 교수, 국제정보디스플레이학회 석학회원(Fellow) 선정 lee496 2017.02.13 228
» 서울대 이광근 교수팀의 소프트웨어 오류 검출하는 Inferbo 기술, 페이스북 리서치에 도입 lee496 2017.02.13 219
1135 서울대 이종호 교수팀, 퇴행성 뇌질환 진단하는 새로운 뇌 영상 기술 개발 lee496 2017.02.13 231
1134 서울대 서승우 교수, 제58회 3·1문화상 기술상 수상 lee496 2017.02.13 222
1133 서울대 컴퓨터공학부 학생들, 제23회 휴먼테크논문대상 CSE 분야 수상 lee496 2017.02.13 143
1132 서울대 남기태 교수팀, 광합성 핵심원리 구현된 나노 촉매 개발 및 물 분해 반응기작 최초 규명 lee496 2017.02.13 117
1131 서울대 유기윤 교수팀, 자동제세동기(AED) 접근성 향상을 위한 적정 위치 모델 개발 lee496 2017.02.13 77
1130 강기석 교수팀, 신개념 리튬이차전지 개발 및 에너지 저장 반응 메커니즘 규명 lee496 2017.02.06 119
1129 전봉희 교수팀, 한옥 특성 살려 '레고' 같은 경복궁 조립모형 개발 lee496 2017.02.06 140
1128 제15기 차세대 건설리더 아카데미 개최 lee496 2017.02.06 144
1127 개교 70주년 기념 우리나라를 견인한 10대 기술 및 미래 7대 기술 선정 lee496 2017.02.06 100
1126 방경태 박사과정생(지도교수 최해천), ICSS 2016 젊은연구자상 수상 lee496 2017.02.06 115
1125 KBS 다큐멘터리 3일 열정, 미래를 열다 - 서울대 첨단과학기술연구팀 72시간 lee496 2017.02.06 151
1124 서울대 강유 교수, 제1회 젊은정보과학자상 수상 lee496 2017.02.06 117
1123 서울대 주종남 교수, 한국학술단체총연합회 이사장으로 선출 lee496 2017.02.06 132
1122 서울대 공대 이건우 학장, 한국공학교육학회 제13대 회장 선출 lee496 2017.01.02 247
1121 서울대 공대, 개교 70주년 기념 우리나라를 견인한 10대 기술 및 미래 7대 기술 선정 lee496 2017.01.02 270
1120 서울대 공대, 2016년 신양 공학 학술상 시상식 개최 lee496 2017.01.02 217
1119 서울대 남기태 교수팀, 구리 나노구조체 이용한 고효율 연료전환 촉매 개발 lee496 2017.01.02 221
1118 서울대 이신두 교수, 국제광전자공학회 석학회원(Fellow) 선정 lee496 2017.01.02 149
Login
College of Engineering Seoul National University
XE Login