Computing Must and May Alias to Detect Null Pointer Dereference.

Xiaodong Ma Ji Wang Wei Dong

Published in: ISoLA (2008)

Keyphrases

data structure
detection method
artificial intelligence
detection algorithm
detection mechanism
neural network
learning algorithm
computer vision
decision making
high level
recommender systems
automatic detection