Accurate Interprocedural Null-Dereference Analysis for Java.

Mangala Gowri Nanda Saurabh Sinha

Published in: ICSE (2009)

Keyphrases

automatic analysis
quantitative analysis
multi agent systems
object oriented
source code
error analysis
high precision
software systems
computationally efficient
statistical analysis
web applications
real world
open source
general purpose
probabilistic model
data structure
high quality
decision making