Static analysis is the quality engineering technique that ...
TBD
The objectives of static analysis are to:
Static analysis can typically begin when the following preconditions hold:
Static analysis is typically complete if the following postconditions hold:
During static analysis, the following producers typically perform the following steps:
Static analysis typically results in the following work products:
Static analysis typically is subject to the following limitations: