Which of the following will NOT be detected by static analysis?

Static analysis refers to the examination of code or software artifacts without executing the program. It involves checking the code for potential issues based on syntax and structure.

The correct choice indicates that errors in requirements will not be detected by static analysis because static analysis focuses on the implementation side of the code rather than the requirements or specifications. Errors in requirements occur at a higher level of software development, typically during the requirements gathering and documentation phase. These errors might involve ambiguous statements, conflicts, or omissions that cannot be identified through code examination.

In contrast, the other options all relate to issues that can be identified within the code during static analysis. For instance, parameter type mismatches can be detected by examining the function signatures and the types being passed in the code. Undeclared variables can be flagged because static analysis checks for scope and declaration of variables. Uncalled functions can also be identified, as static analysis tools can determine if there are functions in the code that are never invoked.

Therefore, the nature of the detection by static analysis is limited to aspects related to code structure and syntax rather than to requirements, making the identification of errors in requirements outside its scope.