A map with CFG node IDs as keys and their corresponding def set as value
A map with CFG node IDs as keys and their corresponding use set as value
A map with CFG node IDs as keys and their corresponding live in set as value
A map with CFG node IDs as keys and their corresponding live out set as value
A map with CFG node IDs as keys and their corresponding def set as value
A map with CFG node IDs as keys and their corresponding liveIn set as value
A map with CFG node IDs as keys and their corresponding liveOut set as value
A map with CFG node IDs as keys and their corresponding use set as value
StaticanalyseThe control flow graph. Can be either a Cytoscape graph or a ControlFlowGraph object and each instruction list node must contain only one statement
A new instance of the LivenessAnalysis class
Creates a new instance of the LivenessAnalysis class