Path-Sensitive Multi-Variable Access Correlations Mining and Related Source Code Defects Detection

YU Xiu-Mei,LIANG Bin,CHEN Hong,XIE Su-Bin,WANG Mei-Lin
DOI: https://doi.org/10.3969/j.issn.1003-6059.2012.04.019
2012-01-01
Pattern Recognition and Artificial Intelligence
Abstract:A large number of widespread source systems make the security of source code of software increasingly important. Multi-variable access correlation rules are mined by the path-sensitive method and the defects caused by inconsistent access to correlated variables are detected automatically in the large-scale source code systems. Multi-variable access correlations can be mined via logical information of source code and sensitive path information, which avoids fault from the insensitive path method. The effective solutions to the uneven distribution of path weight and the path explosion problems are presented. The presented method is verified by Linux system, and the experimental result shows that it mines correct multi-variable access correlations.
What problem does this paper attempt to address?