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
All-in-One Payroll and HR Platform Icon
All-in-One Payroll and HR Platform

For small and mid-sized businesses that need a comprehensive payroll and HR solution with personalized support

We design our technology to make workforce management easier. APS offers core HR, payroll, benefits administration, attendance, recruiting, employee onboarding, and more.
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