A tool that analyzes source code to detect potential coding standard violations, security vulnerabilities, and unreachable code WITHOUT executing the program is classified as which type of tool?