Gradual Program Analysis for Null Pointers

Sam Estep, Jenna Wise, Jonathan Aldrich +3

Static analysis tools typically address the problem of excessive false positives by requiring programmers to explicitly annotate their code. However, when faced with incomplete ann…