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
Red Hat Enterprise Linux (RHEL) on Microsoft Azure provides a secure, reliable, and flexible foundation for your cloud infrastructure. Red Hat Enterprise Linux on Microsoft Azure is ideal for enterprises seeking to enhance their cloud environment with seamless integration, consistent performance, and comprehensive support.
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of NPEDetector!