ISSTA 2022
Mon 18 - Fri 22 July 2022 Online
Thu 21 Jul 2022 03:20 - 03:40 at ISSTA 2 - Session 1-8: Concurrency, IoT, Embedded D
Thu 21 Jul 2022 17:20 - 17:40 at ISSTA 1 - Session 3-5: Concurrency, IoT, Embedded C Chair(s): Stefan Winter

Interrupt-driven programs are widely used in aerospace and other safety-critical areas. However, uncertain interleaving execution of interrupts may cause concurrency bugs, resulting in serious safety problems. Most of the previous research tackling the detection of interrupt concurrency bugs focuses on data races, that are usually benign as shown in empirical studies. Some studies focus on pattern-based atomicity violations that are most likely harmful. However, they cannot achieve simultaneous high precision and scalability. This paper presents intAtom, a precise and efficient static detection technique for interrupt atomicity violations, described by $access\ interleaving\ pattern$. The key point is that it eliminates false violations by staged path pruning with constraint solving. It first identifies all the violation candidates using data flow analysis and $access\ interleaving\ pattern$ matching. intAtom then analyzes the path feasibility between two consecutive accesses in preempted task/interrupt to recognize the atomicity intention of developers, with the help of which it filters out some candidates. Finally, it performs a modular path pruning by constructing symbolic summary and representative preemption points selection to efficiently eliminate the infeasible path in a concurrent context. All the path feasibility checking processes are based on sparse value-flow analysis, making intAtom scalable. intAtom is evaluated on a benchmark and 6 real-world aerospace embedded programs. The experimental results show that intAtom reduces the false positive by 72% and improves the detection speed by 3 times, compared to the state-of-the-art methods. Furthermore, it can finish analyzing the real-world aerospace embedded software very fast with an average FP rate of 19.6%, while finding 19 bugs confirmed by developers.

Thu 21 Jul

Displayed time zone: Seoul change

03:00 - 03:40
Session 1-8: Concurrency, IoT, Embedded DTechnical Papers at ISSTA 2
03:00
20m
Talk
Deadlock Prediction via Generalized Dependency
Technical Papers
Jinpeng Zhou University of Pittsburgh, Hanmei Yang University of Massachusetts Amherst, John Lange Oak Ridge National Lab/University of Pittsburgh, Tongping Liu University of Massachusetts at Amherst
DOI
03:20
20m
Talk
Precise and Efficient Atomicity Violation Detection for Interrupt-driven Programs via Staged Path Pruning
Technical Papers
Chao Li Beijing Institute of Control Engineering and Beijing Sunwise Information Technology Ltd, Rui Chen Beijing Institute of Control Engineering, Boxiang Wang Xidian University and Beijing Sunwise Information Technology Ltd, Tingting Yu Beijing Institute of Control Engineering and Beijing Sunwise Information Technology Ltd, Dongdong Gao Beijing Institute of Control Engineering and Beijing Sunwise Information Technology Ltd, Mengfei Yang China Academy of Space Technology, China
DOI
16:20 - 17:40
Session 3-5: Concurrency, IoT, Embedded CTechnical Papers at ISSTA 1
Chair(s): Stefan Winter LMU Munich
16:20
20m
Talk
Understanding Device Integration Bugs in Smart Home System
Technical Papers
Tao Wang , Kangkang Zhang Institute of Software Chinese Academy of Sciences, Wei Chen Institute of Software at Chinese Academy of Sciences, China, 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, 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
DOI
16:40
20m
Talk
Automated Testing of Image Captioning Systems
Technical Papers
BoXi Yu The Chinese University of Hong Kong, Shenzhen, Zhiqing Zhong South China University of Technology, Xinran Qin South China University of Technology, Jiayi Yao The Chinese University of Hong Kong, Shenzhen, Yuancheng Wang The Chinese University of Hong Kong, Shenzhen, Pinjia He The Chinese University of Hong Kong, Shenzhen
DOI
17:00
20m
Talk
LiRTest: Augmenting LiDAR Point Clouds for Automated Testing of Autonomous Driving Systems
Technical Papers
An Guo Nanjing University, Yang Feng Nanjing University, Zhenyu Chen Nanjing University
DOI
17:20
20m
Talk
Precise and Efficient Atomicity Violation Detection for Interrupt-driven Programs via Staged Path Pruning
Technical Papers
Chao Li Beijing Institute of Control Engineering and Beijing Sunwise Information Technology Ltd, Rui Chen Beijing Institute of Control Engineering, Boxiang Wang Xidian University and Beijing Sunwise Information Technology Ltd, Tingting Yu Beijing Institute of Control Engineering and Beijing Sunwise Information Technology Ltd, Dongdong Gao Beijing Institute of Control Engineering and Beijing Sunwise Information Technology Ltd, Mengfei Yang China Academy of Space Technology, China
DOI