Questions tagged [static-analysis]

Static analysis is the process of detecting errors and defects in software's source code. Although manual code review is technically static analysis, the term is most commonly used to refer to an automated code review process.

Filter by
Sorted by
Tagged with
29 votes
3 answers
50k views

How to deactivate a rule in SonarQube?

I want to deactivate a particular rule. I am checking my php code. Eg: This branch's code block is the same as the block for the branch This is the rule I deactivate I go through quality profile-->...
user avatar
2 votes
2 answers
373 views

Licensing restrictions of formal methods (code proof) tools and contractors

This is NOT Intended to be a product/service recommendation question - I am trying really hard to word this so it isn't one. Does anyone here perform static analysis on your code using abstract ...
  • 131