Software Engineering: What can static analysis NOT find?

• A. the use of a variable before it has been defined
• B. unreachable (“dead”) code
• C. memory leaks
• D. array bound violations