Finding the potential null pointer exception

This is the repo for an incremental pointer analysis for Java programs. This repo has been adopted by WALA

Refactorings for optimizing Java 8 stream client code for greater parallelism and efficiency.

Examples for slicing java executables

DASCA combines dynamic and static techniques for analysing code for finding security (i.e., vulnerabilities), safety, or reliability problems.

Python script to query JavaScript static analysis tooling for points to set of source variables.

MiniJar is a tool for jar reduction that uses WALA for static analysis of Java bytecode. See README.

Using wala to slice the java file.

For MIdterms