313
edits
Changes
→Fixed Point Solving
// Set initial states
for each basic block bb:
set bb.inState = top bottom for every variable set bb.outState = top bottom for every variable
let ebb = the entry basic block
set ebb.inState = (user-defined initial state)
