Static Analysis Refinement on Defect Path Segment

Tianshuang Wu,Junwen Zhang,Dalin Zhang,Dahai Jin
DOI: https://doi.org/10.1007/978-981-10-0421-6_5
2015-01-01
Abstract:In this paper, we present a refinement method of static analysis based on path segment. The dataflow analysis generates the initial defect detection results and the defect path. Then the path constraints that might cause the defect are searched for on the defect path for a reported defect. Finally, all the path constraints are solved by a constraint solver. If no solution is found, the defect is a false positive, otherwise not. The comparative experiment on an embedded software of certain key field and the comparisons with similar tool PC-Lint show that our method has better analytical accuracy and efficiency.
What problem does this paper attempt to address?