Dear Scan Project Maintainer,We wanted to share with you that we have updated the analysis capabilities in Coverity Scan
to find the Heartbleed bug. This functionality is now available for all the projects.
To check if your project has the Heartbleed bug, make sure you are using the Coverity build tool (7.0.2),
which was updated last month at https://scan.coverity.com/download. If you are you using right version,
just submit your build and look for any new defects found by the TAINTED_SCALAR checker.
Check out our blog on Heartbleed at http://blog.coverity.com/2014/04/18/coverity-heartbleed-part-2 or
join our upcoming webcast to learn more http://bit.ly/1p482Xy.
In the same webcast we will also discuss the top defects found and fixed in open source projects in 2013
and discuss the best practices for improving product quality adopted by leading open source projects.
Please contact me if you have any questions or concerns.
Regards, Dakshesh Vyas
Coverity Scan Administrator
Coverity | 185 Berry Street | Suite 6500, Lobby 3 | San Francisco, CA 94107
Office: 415.935.2957 | dvyas@coverity.com
http://scan.coverity.com/
The Leader in Development Testing