A new technology developed by a domestic research team which detects software error was adapted to Facebook.
 
SNU College of Engineering (Dean Lee Kun-woo) stated on 14th that Department of Computer Science and Engineering Professor Kwangkeun Yi’s research team developed Inferbo which detects software error and it was adapted to Facebook Research.
 
Inferbo detects software array access error fast and accurately in modular analysis of Facebook.
 
Meantime, modular analysis of Facebook was individual analysis technology which analyzes each part and combines to make the result. This is essential in the big software environment where many developers have to quickly develop their responsible parts. Previously, individual analysis technology was used in checking relatively simple properties. Now, this can be used in more complex properties such as 0testing array access error through Inferbo.
 
Inferbo’s source code is open to public through GitHub; any developers can use this code including those of Facebook. We expect new chapter in the area of software static analysis.
 
Meanwhile, this research was processed through Facebook visiting research of Professor Yi’s research team in last November and December. Ph.D. candidate Kihong Heo and Sungkeun Cho participated.