Detecting Null-dereference Bugs via a Backward Analysis.

Qian Wang Dahai Jin Yunzhan Gong Hongbo Zhou

Published in: J. Softw. (2013)

Keyphrases

multiresolution
wide range
expert systems
image analysis
information systems
three dimensional
feature extraction
special case
quantitative analysis
static analysis
automatic analysis