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.
Supported by Foundation for Talents of Beijing Jiaotong University (Grant No. O14RC00010).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Xiao, Q., Gong, Y.Z., Yang, C.H., Jin, D.H., Wang, Y.W.: Path sensitive static defect detecting method. J. Softw. 21(2), 209–217 (2010)
Xiao, Q.: Research on Key Technologies of Improving the Accuracy of Static Defect Detecting. Beijing University of Posts and Telecommunications, Beijing (2011)
Zhao, Y.S.: Research on Symbolic Analysis Based Static Defect Detection Technique. Beijing University of Posts and Telecommunications, Beijing (2012)
Wang, Y.W.: Research on Software Testing Technology Based on Defect Pattern. Beijing University of Posts and Telecommunications, Beijing (2009)
Zhao, Y.S., Gong, Y.Z., Zhou, A., Wang, Q., Zhou, H.B.: False positive elimination in static defect detection. J. Comput. Res. Develop. 49(9), 1822–1831 (2012)
Wei, L.: Segmented symbolic analysis. In: Proceedings of ICSE 2013, pp. 212–221. IEEE Press, San Francisco (2013)
Zhou, H.B., Wang, Q., Jin, D.H., Gong, Y.Z.: A static detecting model for invalid arithmetic operation based on alias analysis. In: Proceedings of the 2012 IEEE 23rd International Symposium on Software Reliability Engineering Workshops (ISSREW), pp. 183–188. IEEE Press, New York (2012)
Zhang, D.L., Jin, D.H., Gong, Y.Z., Wang, Q., Dong, Y.K., Zhang, H.L.: Optimizing static analysis based on defect correlations. J. Softw. 25(2), 386–399 (2014)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer Science+Business Media Singapore
About this paper
Cite this paper
Wu, T., Zhang, J., Zhang, D., Jin, D. (2015). Static Analysis Refinement on Defect Path Segment. In: Zhang, X., Wu, Z., Sha, X. (eds) Embedded System Technology. ESTC 2015. Communications in Computer and Information Science, vol 572. Springer, Singapore. https://doi.org/10.1007/978-981-10-0421-6_5
Download citation
DOI: https://doi.org/10.1007/978-981-10-0421-6_5
Publisher Name: Springer, Singapore
Print ISBN: 978-981-10-0420-9
Online ISBN: 978-981-10-0421-6
eBook Packages: Computer ScienceComputer Science (R0)