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 verifi er, NPEDetector guarantees the safety of proven dereferences but could imprecisely flag safe dereferences as faulty. NPEDetector is built using WALA, Watson Libraries For Analysis.
License
GNU Library or Lesser General Public License version 3.0 (LGPLv3)Follow NPEDetector
You Might Also Like
Rate This Project
Login To Rate This Project
User Reviews
There are no 4 star reviews.