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