Software Developed by Amogh Margoor, Ravichandhran

  • NPEDetector is a tool for statically detecting the dereferences in Java programs that are safe and those that could potentially result in NullPointerException. Designed to be a sound verifier, NPEDetector guarantees the safety of proven ...

    • Freeware (Free)
    • 129 Kb
    • Windows