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.

Website: https://ensoftcorp.github.io/slicing-toolbox

The Slicing Toolbox project supports the following.

• Forward Dominance Tree (Post Dominance) analysis
• Reverse and forward Control Dependence Graph (CDG) slices
• Reverse and forward Data Dependence Graph (DDG) slices
• Reverse and forward Program Dependence Graph (PDG) slices
• Convenient Smart Views for viewing slice results
• Source to sink taint analysis (includes implicit information flow)
• Smart views for CDG, DDG, and PDG slices