analysis. deriving software metrics and static analysis are increasingly deployed together, especially in creation of embedded systems, by defining so-called software quality objectives. [ ] a growing commercial use of static analysis is in the verification of properties of software used in safety-critical...