...
The LDRA tool suite V 7.6.0 is able to can detect violations of this rule.
Fortify SCA Version 5.0 is able to can detect violations of this rule.
Splint Version 3.1.1 can detect violations of this rule.
...
...
The LDRA tool suite V 7.6.0 is able to can detect violations of this rule.
Fortify SCA Version 5.0 is able to can detect violations of this rule.
Splint Version 3.1.1 can detect violations of this rule.
...