Static analysis tools are designed to analyze code without executing it. They are particularly good at finding defects related to code structure, such as variables that are not used or improperly declared. These tools can parse the code and identify issues that may not be easily detected through dynamic testing methods. Other issues like omission of a major requirement (A), inadequate decision coverage (B), and component memory leakage (C) are typically found through dynamic testing or higher-level verification techniques​​ .