Overview

The Points-to Toolbox project is an Atlas native points-to analysis implementation and utilities for using the points-to analysis results for other client analyses. This plugin implements an Andersen-style points-to analysis for Java and Java bytecode (leveraging Atlas for Jimple). Additional details about the points-to analysis capabilities can be found on the analysis details page.

Features

Getting Started

Ready to get started?

  1. First install the Points-to Toolbox plugin
  2. Then check out the provided tutorials to jump start your analysis

Source Code

Need additional resources? Checkout the Javadocs or grab a copy of the source.