Static Program Analysis PA-2

1 Assignment Objectives Implement a constant propagation for Java Implement a generic worklist solver, which will be used to solve the data-flow problem you defined, i.e., constant propagation. Assignment-SPA-Nanjing-University GitHub-Code-SPA-Na...