Continuous Inspection

SonarLint for Visual Studio 2.5 Released

SonarSource is pleased to announce the release of SonarLint for Visual Studio version 2.5.

In this version there is a new rule benefiting from the Symbolic Execution technology to track bugs by doing some path-sensitive data flow analysis:

Moreover the following improvements were added:

  • Extension of Rule S1944 to report on nullable casts that definitely fail due to the nullness of the operand
  • Rule S1858 doesn’t report on structs anymore
  • Rule S3459 doesn’t report on fixed arrays anymore

Also, the symbolic execution engine was improved to support the propagation of constraints on symbolic values. Here are two simple examples illustrating this propagation of constraints in action:

example

If you have any feedback or any idea of new rules, feel free to join the SonarLint Google Group. Have fun with SonarLint for Visual Studio!