Thu 12 May 2022 05:20 - 05:25 at ICSE room 4-odd hours - Program Analysis 1 Chair(s): Shahar Maoz
Fri 13 May 2022 12:15 - 12:20 at ICSE room 2-even hours - Program Analysis 5 Chair(s): Karim Ali
Fri 13 May 2022 12:15 - 12:20 at ICSE room 2-even hours - Program Analysis 5 Chair(s): Karim Ali
Built on the WeChat social platform, WeChat Mini-Programs are widely used by more than 400 million users every day. Consequently, the reliability of Mini-Programs is particularly crucial. However, WeChat Mini-Programs suffer from various bugs related to execution environment, lifecycle management, asynchronous mechanism, etc. These bugs have seriously affected users’ experience and caused serious impacts.
In this paper, we conduct the first empirical study on 83 WeChat Mini-Program bugs, and perform an in-depth analysis about their root causes, impacts and fixes. From this study, we obtain many interesting findings that can open up new research directions for combating WeChat Mini-Program bugs. Based on the bug patterns found in our study, we further develop WeDetector to detect WeChat Mini-Program bugs. Our evaluation on 25 real-world Mini-Programs has found 11 previously unknown bugs, and 7 of them have been confirmed by developers.
Thu 12 MayDisplayed time zone: Eastern Time (US & Canada) change
Thu 12 May
Displayed 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 | ||
Fri 13 MayDisplayed time zone: Eastern Time (US & Canada) change
Fri 13 May
Displayed time zone: Eastern Time (US & Canada) change
12:00 - 13:00 | Program Analysis 5SEIP - Software Engineering in Practice / Technical Track / Journal-First Papers at ICSE room 2-even hours Chair(s): Karim Ali University of Alberta | ||
12:00 5mTalk | Guided Feature Identification and Removal for Resource-constrained Firmware Journal-First Papers Ryan Williams Northeastern University, Tongwei Ren Worcester Polytechnic Institute, Lorenzo De Carli Worcester Polytechnic Institute, Long Lu Northeastern University, n.n., Gillian Smith Worcester Polytechnic Institute Link to publication Pre-print Media Attached | ||
12:05 5mTalk | A Static Analysis Framework for Data Science Notebooks SEIP - Software Engineering in Practice Pre-print Media Attached | ||
12:10 5mTalk | PUS: A Fast and Highly Efficient Solver for Inclusion-based Pointer AnalysisDistinguished Paper Award Technical Track Peiming Liu Texas A&M University, Yanze Li University of British Columbia, Bradley Swain Texas A&M University, Jeff Huang Texas A&M University Pre-print Media Attached | ||
12:15 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 | ||
12:20 5mTalk | Fast and Precise Application Code Analysis using a Partial Library Technical Track Akshay Utture University of California, Los Angeles (UCLA), Jens Palsberg University of California at Los Angeles DOI Pre-print Media Attached | ||
12:25 5mTalk | Inference and Test Generation Using Program Invariants in Chemical Reaction Networks Technical Track Michael C. Gerten Iowa State University, Alexis L. Marsh Iowa State University, James I. Lathrop Iowa State University, Myra Cohen Iowa State University, Andrew S. Miner Iowa State University, Titus H. Klinge Drake University DOI Pre-print Media Attached | ||
Information for Participants
Thu 12 May 2022 05:00 - 06:00 at ICSE room 4-odd hours - Program Analysis 1 Chair(s): Shahar Maoz
Info for room ICSE room 4-odd hours:
Fri 13 May 2022 12:00 - 13:00 at ICSE room 2-even hours - Program Analysis 5 Chair(s): Karim Ali
Info for room ICSE room 2-even hours: