Software quality analysis tools from verilog SA, used to evaluate the quality of software, both statically (based on software metrics) and dynamically.