An Integration of Several Different Data Flow Analysis Techniques

Yuchen Xing,Hanfei Wang,Jianhua Zhao
DOI: https://doi.org/10.1007/978-3-642-35795-4_58
2013-01-01
Abstract:This paper describes a tool which integrates three different kinds of data flow analysis techniques: null pointer dereference analysis, integer variables differences analysis and single linked list analysis. Each one of them can share and exchange program information with the other two. And also users can add properties manually to enhance the processing capabilities. Through the demonstration in the case study section, we can see that our tool achieves the goal to connect these three analysis techniques and can explore more insightful program information with the artificial help. © Springer-Verlag Berlin Heidelberg 2013.
What problem does this paper attempt to address?