Repository navigation

NullDeref

Public

About

A simple intra-procedural null-dereference checker for Java programs, based on the Soot analysis framework.

0 stars

1 watching

Report repository

Name		Name	Last commit message	Last commit date
README.md		README.md

Repository files navigation

NullDeref

A simple intra-procedural null-dereference checker for Java programs, based on the Soot analysis framework.

About

A simple intra-procedural null-dereference checker for Java programs, based on the Soot analysis framework.

0 stars

1 watching

Report repository

Releases

Packages

Contributors