Abstract:Exception handling is a mechanism in modern programming languages. Studies have shown that the exception handling code is error-prone. However, there is still limited research on detecting exception handling bugs, especially for C++ programs. To tackle the issue, we try to precisely represent the exception control flow in C++ programs and propose an analysis method that makes use of the control flow to detect such bugs. More specifically, we first extend control flow graph by introducing the concepts of five different kinds of basic blocks, and then modify the classic symbolic execution framework by extending the program state to a quadruple and properly processing try, throw and catch statements. Based on the above techniques, we develop a static analysis tool on the top of Clang Static Analyzer to detect exception handling bugs. We run our tool on projects with high stars from GitHub and find 36 exception handling bugs in 8 projects, with a precision of 84%. We compare our tool with four state-of-the-art static analysis tools (Cppcheck, Clang Static Analyzer, Facebook Infer and IKOS) on projects from GitHub and handmade benchmarks. On the GitHub projects, other tools are not able to detect any exception handling bugs found by our tool. On the handmade benchmarks, our tool has a significant higher recall.

An Approach to Analyzing Dependence Based on Exception Propagation Analysis

An Approach to Analyzing Recursive Programs with Exception Handling Constructs.

Dependence Analysis for C Programs with Combinability of Dataflow Facts under Consideration

An approach to analyzing dependency of concurrent programs

Dependence Analysis for Java

An Overview Of Methods For Dependence Analysis Of Concurrent Programs

An Approach to Analyzing Dependence of Concurrent Programs Based on Program Reachability Graphs

Dependence Analysis for Recursive Java Programs

Design and Implementation of a Exception Propagation Analysis Tool

Approach to Evaluating Exception Handling of Programs

An Approach to Static Analysis of Exception Handling in C~(++)

Static Dependency Analysis For Concurrent Ada 95 Programs

Dependence Analysis Of Concurrent Programs Based On Reachability Graph And Its Applications

System Dependence Graph Construction for Aspect Oriented C++

Data Dependence Analysis in Presence of Inheritance and Polymorphism

Visual Exploration of Dependency Graph in Source Code Via Embedding-Based Similarity.

Improvement on data dependence analysis supporting software pipelining technique

Slicing object-oriented Ada95 programs based on dependence analysis

Detecting Exception Handling Bugs in C++ Programs.

A New Methodology of Data Dependence Analysis for Parallelizing C++

Interactive Data Dependence Analysis Based on Range Tests