Software quality analysis tools from Verilog SA, used to

evaluate the quality of software, both statically (based on

software metrics) and dynamically.