4.2.2 Static analysers
Static analysis is the process of evaluating a system or component
based on its form, structure, content or documentation [Ref 6]. Reviews,
especially software inspections, may include activities such as:
• control flow analysis to find errors such as unreachable code, endless
loops, violations of recursion conventions, and loops with multiple entry
and exit points