pub fn compute_alive_vars(project: &Project) -> HashMap<Tid, BTreeSet<Variable>>Expand description
Compute alive variables by means of an intraprocedural fixpoint computation.
Returns a map that assigns to each basic block Tid the set of all variables
that are alive at the end of the basic block.