Overview

The Slicing Toolbox project provides Atlas native Program Dependence Graph (PDG) based program slicing. The PDG is a combination of analysis on control and data flow graphs that makes the both control and data flow dependencies explicit.

PDG Construction

Features

The Slicing Toolbox project supports the following.

Getting Started

Ready to get started?

  1. First install the Slicing 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.