Learning Probabilistic Models for Static Analysis AlarmsBest Artifact Award
Thu 12 May 2022 05:15 - 05:20 at ICSE room 4-odd hours - Program Analysis 1 Chair(s): Shahar Maoz
We present BayeSmith, a general framework for automatically learning probabilistic models of static analysis alarms. Several probabilistic reasoning techniques have recently been proposed which incorporate external feedback on semantic facts and thereby reduce the user’s alarm inspection burden. However, these approaches are fundamentally limited to models with pre-defined structure, and are therefore unable to learn or transfer knowledge regarding an analysis from one program to another. Furthermore, these probabilistic models often aggressively generalize from external feedback and falsely suppress real bugs. To address these problems, we propose BayeSmith that learns the structure and weights of the probabilistic model. Starting from an initial model and a set of training programs with bug labels, BayeSmith refines the model to effectively prioritize real bugs based on feedback. We evaluate the approach with two static analyses on a suite of C programs. We demonstrate that the learned models significantly improve the performance of three state-of-the-art probabilistic reasoning systems.
Mon 9 MayDisplayed time zone: Eastern Time (US & Canada) change
Thu 12 MayDisplayed time zone: Eastern Time (US & Canada) change
05:00 - 06:00 | Program Analysis 1SEIP - Software Engineering in Practice / Journal-First Papers / Technical Track / NIER - New Ideas and Emerging Results at ICSE room 4-odd hours Chair(s): Shahar Maoz Tel Aviv University, Israel | ||
05:00 5mTalk | Pluto: Exposing Vulnerabilities in Inter-Contract Scenarios Journal-First Papers Fuchen Ma Tsinghua University, Zhenyang Xu University of Waterloo, Meng Ren Tsinghua University, Zijing Yin Tsinghua University, Yuanliang Chen Tsinghua University, Yu Jiang Tsinghua University Pre-print Media Attached | ||
05:05 5mTalk | Toward the Analysis of Graph Neural Network NIER - New Ideas and Emerging Results Thanh-Dat Nguyen University of Melbourne, Le-Cong Thanh Hanoi University of Science and Technology, ThanhVu Nguyen George Mason University, Xuan-Bach D. Le Singapore Management University, Singapore, Quyet Thang Huynh Hanoi University of Science and Technology Pre-print Media Attached | ||
05:10 5mTalk | A Static Analysis Framework for Data Science Notebooks SEIP - Software Engineering in Practice Pre-print Media Attached | ||
05:15 5mTalk | Learning Probabilistic Models for Static Analysis AlarmsBest Artifact Award Technical Track DOI Pre-print Media Attached | ||
05:20 5mTalk | Characterizing and Detecting Bugs in WeChat Mini-Programs Technical Track Tao Wang , Qingxin Xu Institute of Software, Chinese Academy of Sciences, China, Xiaoning Chang Institute of Software, Chinese Academy of Sciences, Wensheng Dou Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Jiaxin Zhu Institute of Software at Chinese Academy of Sciences, China, Jinhui Xie Tencent Inc., Yuetang Deng Tencent, Jianbo Yang Tencent Inc., Jiaheng Yang Tencent Inc., Jun Wei Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Tao Huang Institute of Software Chinese Academy of Sciences Pre-print Media Attached | ||
05:25 5mTalk | Static Inference Meets Deep Learning: A Hybrid Type Inference Approach for PythonNominated for Distinguished Paper Technical Track Yun Peng The Chinese University of Hong Kong, Cuiyun Gao Harbin Institute of Technology, Zongjie Li The Hong Kong University of Science and Technology, Bowei Gao Harbin Institute of Technology, Shenzhen, David Lo Singapore Management University, Qirun Zhang Georgia Institute of Technology, USA, Michael Lyu The Chinese University of Hong Kong DOI Pre-print Media Attached |