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: