If you turned in a solution in class, you already got credit for this assignment. Otherwise, answer the following and submit to the E8 box on Canvas.
Exercise 8
Consider a simple bug-finding analysis that looks for null pointer deferences in C programs. The analysis raises an alert on any program that has ANY pointer operation, and does not raise an alert on any other program. Is this analysis sound, complete, neither, or both? Justify your answer.