If you turned in a solution in class, you already got credit for this assignment. Otherwise, answer the following and submit to the E3 box on Canvas.

Briefly describe how you might create a sound analysis that detects null pointer errors. Your analysis should be non-trivial (i.e. it should detect at least SOME true positives)

• email drewdavidson@ku.edu
• office: 2050 Eaton Hall
• zoom: link