Blogs (1) >>
ICSE 2019
Sat 25 - Fri 31 May 2019 Montreal, QC, Canada
Fri 31 May 2019 11:00 - 11:20 at Place du Canada - Machine Learning in Static Analysis Chair(s): Na Meng

We present a technique that enables us to distinguish valid from invalid data structure objects. The technique is based on building an artificial neural network, more precisely a binary classifier, and training it to identify valid and invalid instances of a data structure. The obtained classifier can then be used in place of the data structure’s invariant, in order to attempt to identify (in)correct behaviors in programs manipulating the structure. In order to produce the valid objects to train the network, an assumed-correct set of object building routines is randomly executed. Invalid instances are produced by generating values for object fields that ``break'' the collected valid values, i.e., that assign values to object fields that have not been observed as feasible in the assumed-correct program executions that led to the collected valid instances. We experimentally assess this approach, over a benchmark of data structures. We show that this learning technique produces classifiers that achieve significantly better accuracy in classifying valid/invalid objects compared to a technique for dynamic invariant detection, and leads to improved bug finding.

Fri 31 May
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

icse-2019-Paper-Presentations
11:00 - 12:30: Papers - Machine Learning in Static Analysis at Place du Canada
Chair(s): Na MengVirginia Tech
icse-2019-Technical-Papers11:00 - 11:20
Talk
Facundo MolinaUniversidad Nacional de Rio Cuarto, Argentina, Renzo DegiovanniSnT, University of Luxembourg, Pablo PonzioDept. of Computer Science FCEFQyN, University of Rio Cuarto, Germán RegisUniversidad Nacional de Río Cuarto, Nazareno AguirreDept. of Computer Science FCEFQyN, University of Rio Cuarto, Marcelo F. FriasDept. of Software Engineering Instituto Tecnológico de Buenos Aires
icse-2019-Technical-Papers11:20 - 11:40
Talk
Ming FanMOEKLINNS Lab, Department of Computer Science and Technology, Xi'an Jiaotong University, 710049, China, Xiapu Luo, Jun LiuMOEKLINNS Lab, Department of Computer Science and Technology, Xi'an Jiaotong University, 710049, China, Meng WangUniversity of Bristol, UK, Chunyin Nong, Qinghua ZhengMOEKLINNS Lab, Department of Computer Science and Technology, Xi'an Jiaotong University, 710049, China, Ting LiuMOEKLINNS Lab, Department of Computer Science and Technology, Xi'an Jiaotong University, 710049, China
icse-2019-Technical-Papers11:40 - 12:00
Talk
Jian ZhangBeihang University, Xu WangBeihang University, Hongyu ZhangThe University of Newcastle, Hailong SunBeihang University, Kaixuan WangBeihang University, Xudong LiuBeihang University
Pre-print
icse-2019-Technical-Papers12:00 - 12:20
Talk
Alexander LeClairUniversity Of Notre Dame, Siyuan JiangEastern Michigan University, Collin McMillan
icse-2019-Paper-Presentations12:20 - 12:30
Talk