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

For MIdterms

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

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

Examples for slicing java executables

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

Finding the potential null pointer exception

Using wala to slice the java file.

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