scan.coverity.comCoverity Scan - Static Analysis

Toggle navigation Scan Home FAQ OSS Success Stories Projects Using Scan About Community Sign up Sign in Coverity Scan Static Analysis Find and fix defects in your Java, C/C++, C#, JavaScript, Ruby, or Python open source project for free Test every line of code and potential execution path. The root cause of each defect is clearly explained, making it easy to fix bugs Integrated with Sign Up For Free Coverity Scan Open Source Report 2020. Read more >> Apache Hbase fixed 75% of Resource leak defects found by Coverity Scan. Read more >> Linux reduced time to fix new defects, found by Coverity Scan, from 120 days to 5 days. Read more >> Coverity Scan finds Remote Code Execution in Apache Roller via OGNL Injection. Read more >> Coverity static analysis successfully uncovers “goto fail” SSL/TLS defect in iOS. Read more >> Coverity Scan identifies buffer overflow and overrun vulnerabilities in PostgreSQL. Read more >> More than 7000 open source projects and 35000 developers use Coverity Scan “From my experience, I think that Coverity improves the software quality of the NNStreamer project.” nnstreamer “ I manage Coverity Scan for the Tesseract OCR project Coverity Scan had be very helpful to find various bugs in the code, but since about a year it no longer allows configuring components for Tesseract OCR. That makes reports less useful. ” “ Perfect for our small team of developers . With Coverity we have a good program which supports us . ” AscEmu “ Within minutes we were able to narrow down and fix some significant resource leaks that we were totally unaware even existed. We use Coverity at work now we can use it at home as well! ” crane “ As a large project with a lot of legacy code, Coverity has helped understanding the quality of that code (and confirming/refusing the developers' hunches). And of course it helps keeping quality high for the better maintained parts. ” QEMU “ Coverity helped me find some issues that were invisible even to Valgrind. It is a valuable tool to add to any C developer's arsenal against the bugs. ” iucode-tool “ Coverity Scan helps us find defects in our software - which after ten years of development - are of course still to be found. While it's not perfect, it got us started and interested in fixing more issues and improving the overall stability of our project. ” mangos zero “ Coverity allows use to execute a weekly static analysis on the whole sources and keeps spotting issues that would go unnoticed otherwise. It's also changing the mind of developers to pay more attention about possible NULL dereference and uninitialized values. ” TrinityCore “ With Coverity Scan, newer issues when they are getting introduced, are getting jumped on faster than before ” Dave Jones, Linux Kernel developer “ When run against the CPython code base for the first time, Coverty Scan found several actual bugs and even security issues. ” Stefan Behnel “ Coverity Scan identified the path_in() vulnerability; code inspection led to the rest. ” PostgreSQL “ The open source tools are good, and improving, but Coverity currently provides a superior experience. ” VINCENT SANDERS “Coverity remains the single most useful tool I've used.” Ward Fisher (NetCDF contributor) “ Coverity is really great and its web GUI is fun to use, too. I was able to identify and fix resource leaks, NULL pointer issues, buffer overflows and missing checks all over the place. ” Christian, Python developer “ If you contribute to an open source project, you should be using Coverity Scan. It will likely find bugs that can certainly have security implications in your code. ” fwknop “ Coverity points out that we do not free [the memory] in one case and sure enough we forgot. ” Konrad Rzeszutek Wilk, Linux Contributor “ We've run our code through Coverity Scan, and as a result, we've been alerted to potential future security issues within our products. We are grateful to Coverity for this fine service ” PowerDNS “ Vulnerability Notifications- We recommend all administrators upgrade immediately. The vulnerability was created in commit. Coverity scan discovered it. ” FreeRADIUS “ For those who have either never used static analysis tools, don't fall into the trap of thinking that gcc-pedantic-Wall or even LLVM's scan-build should be 'good enough for anyone' ” Upstart and Whoopsie “ For more than 2100 issues reported, every issue was inspected, and now all reported issues are resolved. ” BRL-CAD project leader “ The reports from Coverity are a valuable contribution to - among others - the LibreOffice development process. ” LibreOffice “Coverity's static source code analysis has proven to be an effective step towards furthering the quality and security of Linux” Andrew Morton, Lead Kernel Maintainer “ Coverity is a code-analysis tool - an extremely good one, probably at this moment the best in the world. ” GPSd “ Several other Coverity issues have been resolved and their fixes have made their way into release candidate 7. I've no doubt that Coverity is adding value to our project. ” POV-Ray “Ah, that's cool. Pretty neat that an automated tool can catch mutex lock problems in conditional statements wrapped in macros! I'm impressed.” Genivi “ Coverity performs very deep analysis and its results may well surprise you...but rather that than unexpected surprises for your users. ” Upstart and Whoopsie “You have a very good product and provide a great service to the open source community (certainly to the Linux kernel community).” Linux Contributor “Thank you guys for making such an awesome tool accessible to the open source community!” Java Developer Announcements Coverity Upgrade to 2020.09 2020 November 14 Attention SCAN users! We will begin upgrading the Coverity tools in SCAN on Saturday, 14 November to make this free service even better. The SCAN team has been hard at work stabilizing the service and getting ready for this upgrade. SCAN will be unavailable during the upgrade, locking registration and triage, and halting builds. Defect data will be unavailable at that time. The upgrade is expected to take three to five hours. After the upgrade, a new version of the Coverity build package will be available for download. Be sure to download the new build package. Full details of new features are available at the Community Site . Events Updates Coverity 2019.03 has been released! There are an number of checker additions and updated language support. The following improvements have been made: SCALA Language analysis? Added macOS 10.13, 10.14 support Added Java9, java10, openjdk11 support Added .NET Core 2.0.2-1 support Added TypeScript support Added Swift 3.3 and 4.1.x support All users who are experiencing build issues should upgrade to this version; a number of bugs have been fixed with this release. Supported Versions Versions 2017.07 and older are no longer supported. The current supported versions are: 2019.03 Users are encouraged to download the latest tools in Downloads . Going forward, only the latest two releases will be supported. This means projects should be expected to update their tools approximately once a year (or more frequently if you want the latest features/support). Build Limits The number of weekly builds per project are as follows: Up to 28 builds per week, with a maximum of 4 builds per day, for projects with fewer than 100K lines of code Up to 21 builds per week, with a maximum of 3 builds per day, for projects with 100K to 500K lines of code Up to 14 builds per week, with a maximum of 2 build per day, for projects with 500K to 1 million lines of code Up to 7 builds per week, with a maximum of 1 build per day, for projects with more than 1 million lines of code Once a project reaches the maximum builds per week, additional build requests will be rejected. } Interested in open source quality? Check out what's happening with your favorite open source projects. Find Your Project Free Report Agile Security Manifesto Learn how adding four ...