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.

Project Activity

See All Activity >

Categories

Software Testing, QA Automation, Source Code Analysis

License

GNU Library or Lesser General Public License version 3.0 (LGPLv3)

Follow NPEDetector

NPEDetector Web Site

You Might Also Like
Alpega TMS: Your Comprehensive Transportation Management Solution Icon
Alpega TMS: Your Comprehensive Transportation Management Solution

For shippers, logistics service providers, distributors, and manufacturers of all sizes

Reduce your overall freight spend with a global, modular, cloud-based transportation management solution (TMS). Enable collaboration across the end-to-end process of transporting goods by connecting shippers with their carriers, suppliers and customers.
Learn More
Rate This Project
Login To Rate This Project

User Reviews

Filter Reviews:
★★

There are no 2 star reviews.

Additional Project Details

Intended Audience

Science/Research, Education, Developers, Quality Engineers, Testers

Programming Language

Java

Related Categories

Java Software Testing Tool, Java QA Automation Software, Java Source Code Analysis Tool

Registered

2012-06-13
Report inappropriate content