Skip to content
arpith
Switch branches/tags
Go to file
Code

Latest commit

 

Git stats

Files

Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
 
 
jar
 
 
 
 
 
 
 
 

README.md

Null-Dereference-Analysis

Given a Java program, this tool performs interprocedural pointer analysis on a user-specified method to verify a given dereference as safe or potentially unsafe.

About

A static null pointer analysis tool for Java

Resources

Releases

No releases published

Packages

No packages published