Title: A Study of the Static Method of Detecting Null Pointer Dereference
Abstract: Null pointer dereference is a kind of dynamic memory error that arises frequently in the C language.Roman Manevich has presented a backwards analysis method which is appropriate for detecting null pointer dereferences.In this paper,combining the idea of backwards analysis and a flow-and context-sensitive pointer analysis,we describe a demand-driven static analysis algorithm for detecting null pointer dereferences.It firstly gets the alias information from the pointer analysis,and then makes a backwards dataflow analysis to track the origin of the value of interest.We implement the algorithm in the SUIF2 compiler infrastructure,and the experimental results indicate that our algorithm has a high precision.
Publication Year: 2009
Publication Date: 2009-01-01
Language: en
Type: article
Access and Citation
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot