Reasoning services are a huge value. Depending on your needs, the cost can be less than a penny per line of source code.

You buy just what you need, just when you need it – that’s the beauty of Software as a Service. At any stage of your application life cycle, Reasoning services can assess the reliability and security risk in your code, accelerate defect removal, and give development schedule time back to engineering.

Reasoning users get all the benefits of sophisticated static analysis without the 6-figure Total Cost of Ownership tab for “doing it in-house”.

The in-house, hands-on approach is always a popular one, and sometimes may seem like a natural choice. But add up the costs you can avoid using Reasoning: the high license and annual subscription costs of expensive tools, acquiring and setting up servers, installing and maintaining tools with frequent software changes and updates, training engineers to write special processing rules, allowing time in schedules to run the tools, planning the hours to manually look at all the output, weed out the unimportant, distracting false-positives then track complex path information to finally understand the nature and preconditions of a defect.

Instead, you can simply glance at Reasoning results to see a clear report pinpointing a problem and presented in the format developers prefer. Check the examples provided for open source projects here: Reasoning Resources and Downloads