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
AI-based, Comprehensive Service Management for Businesses and IT Providers Icon
AI-based, Comprehensive Service Management for Businesses and IT Providers

Modular solutions for change management, asset management and more

ChangeGear provides IT staff with the functions required to manage everything from ticketing to incident, change and asset management and more. ChangeGear includes a virtual agent, self-service portals and AI-based features to support analyst and end user productivity.
Learn More
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of NPEDetector!

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