, make and try using the MURZ framework. There were a few minor errors in the version available from the web that I have fixed in the local copy.
Knowing Italian is helpful but not necessary to complete this assignment.
Create and submit five files:
strong.desc - a textual description of the analysis performed by strong.ml
mayuninitialized.ml - possibility uninitialized variables
mustuninitialized.ml - definitely uninitialized variables
reaching.ml - Reaching definition analysis
main.ml - a modified version of main.ml so that your new analysis passes are invoked