[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.

This repo contains the implementation of a number of algorithms for computing control dependencies, weak control closure, and static single assignment (SSA) program transformation.

A python script that generates a control dependence graph of a binary based on control flow graph and execution trace