-
myssa: Simple Implementation of SSA transformation.
-
copypropagation: Propagate Assignment (e.g.,
x := y; z := x
tox := y; z := y
). -
mydeadcode: DeadCode elimination, the alogirithm is same to BinaryAnalysisPlatform/bap-plugins.
-
prune ssa: The Set of passes (myssa, copypropagation, mydeadcode). This produces prune ssa.