Survey on Thread Sensitivity in Static Analysis

Overview
Cite Work

Abstract

Multithreaded program’s popularity has been increased due to their efficient parallel computations and their structuring mechanisms. Multithreading has a considerable advantage when compared to the multithreaded programs for large servers. Due to the increasing state-space exponentially, multithreading programs are very hard to write. Static analysis can be applied to the programs to find the faults and errors in the software without its code execution. It is difficult to find the error and defects in the multithreaded programs due to the synchronization between the threads. We have discussed the problems with the multithreaded programs, such as deadlocks and race conditions that are caused due to the interleaving between the threads. We have proposed a static Java program checker, Jlint1, which supports the synchronous statements in Java. Its extended version, Jlint2, supports the synchronous blocks, which improves the fault detection capabilities. The extended Jlint version has been applied on the Trilogy package and some other software packages to check its ability related to the multithreading faults. An experimental analysis has been conducted on the four static analysis tools, i.e., Jtest, Jlint, FindBugs, Coverity, used to detect concurrency bugs and bug patterns. These are evaluated on the collection of benchmark programs. We also proposed threadsensitive points-to analysis, which exploits the thread context information and provides precise analysis related to the thread. We have also proposed flow-sensitive thread modular analysis by using the WATTS method.

Read Download

Survey on Thread Sensitivity in Static Analysis

Related Works