NPEDetector

alpha

Null dereference verifier for Java Programs

5.0 Stars (1)
1 Download (This Week)
Last Update:
Download NPEDetector1.1.tar.gz
Browse All Files

Description

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 verifier, NPEDetector guarantees the safety of proven dereferences but could imprecisely flag safe dereferences as faulty. NPEDetector is built using WALA, Watson Libraries For Analysis.

NPEDetector Web Site

Update Notifications





User Ratings

★★★★★
★★★★
★★★
★★
1
0
0
0
0
ease 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5
features 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5
design 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5
support 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5
Write a Review

User Reviews

  • evanrivera
    1 of 5 2 of 5 3 of 5 4 of 5 5 of 5

    great product

    Posted 09/20/2012
Read more reviews

Additional Project Details

Intended Audience

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

Programming Language

Java

Registered

2012-06-13
Screenshots can attract more users to your project.
Features can attract more users to your project.

Icons must be PNG, GIF, or JPEG and less than 1 MiB in size. They will be displayed as 48x48 images.