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