Analyze code complexity

The more complex code is, the harder and more expensive it is to verify. Ensuring that complexity isn't too high can reduce verification costs and improve code quality.

RVS analyzes the cyclomatic complexity (McCabe complexity) of your code, so you can identify overly complex code for which simplification could improve verifiability.  If your coding guidelines include requirements related to code complexity, these metrics can help you demonstrate compliance and identify any non-compliant code. 

You can view and sort by code complexity in your RVS report, and view complexity across your code base at a glance with treemaps, making it easy to identify problem areas that you may want to refactor.

For zero-footprint RVS tools such as RapiCover^Zero, cyclomatic complexity metrics can only be calculated if source code is made available to the tools.