Problem1 A Bit Vector Framework is a special instance of a monotone framework where L = (P(D), ) for some finite set D and where P(D) is the powerset of D and is either set union (U) or set intersection (n), and You will hand in a pdf containing the written answer to the following questions: (a) (15 points) Show that Live Variable Analysis is a bit vector framework (this is mostly trivial (b) (25 points) Show that all bit vector frameworks are distributive frameworks. (c) (10 points) Provide an example of a simple distributive framework that is not a bit vector framework to prove (by counterexample) that the converse of (b) is not true. Note that you are not being asked to remember something you have seen for this before, but to make up a small example that satisfies this condition. The example does not have necessarily have to correspond to a real widely used analysis. Anything that fits the definition of an analysis over a program will be acceptable. Problem1 A Bit Vector Framework is a special instance of a monotone framework where L = (P(D), ) for some finite set D and where P(D) is the powerset of D and is either set union (U) or set intersection (n), and You will hand in a pdf containing the written answer to the following questions: (a) (15 points) Show that Live Variable Analysis is a bit vector framework (this is mostly trivial (b) (25 points) Show that all bit vector frameworks are distributive frameworks. (c) (10 points) Provide an example of a simple distributive framework that is not a bit vector framework to prove (by counterexample) that the converse of (b) is not true. Note that you are not being asked to remember something you have seen for this before, but to make up a small example that satisfies this condition. The example does not have necessarily have to correspond to a real widely used analysis. Anything that fits the definition of an analysis over a program will be acceptable