Closed DenialAdams closed 1 year ago
Need to adjust main loop to be
-> go over procedures, marking reachable variables -> go over reachable variables, marking procedures
loop ad infinitum. alternative, worklist should be enum type of procedure and var
Implemented in ad4d51f57e8bd325a912f6216b01c583f2e61dd4
Need to adjust main loop to be
-> go over procedures, marking reachable variables -> go over reachable variables, marking procedures
loop ad infinitum. alternative, worklist should be enum type of procedure and var