coreboot-kgpe-d16/Documentation/infrastructure/coverity.md

4.9 KiB
Raw Blame History

Coverity Scan for open source firmware

Whats Coverity and Coverity Scan?

Coverity is a static analysis tool. It hooks into the build process and in addition to the compiler creating object files, Coverity collects information about the code. That data is then processed in a separate pass to identify common programming errors, like out of bounds accesses in C.

Coverity Scan is an online service for Open Source projects providing this analysis for free. The analysis pass is done on their servers and issues can be handled in their web UI.

The Scan service has some quotas based on code size to avoid overloading the system, but even at one build per week, thats usually good enough because the identified issues still need to be triaged and fixed or they will simply be re-identified next week.

Triage?

The Web UI looks a bit like an issue tracker, even if its not a very good one. Its possible to mark identified issues as valid or invalid, and annotate them with metadata which CLs fix them. The latter isnt strictly necessary because Coverity Scan simply marks issues it cant find anymore as fixed, but at times it helped identify issues that made a comeback.

Alternatives

Theres also clangs scan-build, which is fully open-source, and finds different issues. As such, its less of an alternative and more of a complement.

Theres a regular run of that for coreboot but not for the other projects hosted at coreboot.org.

One downside is that it emits a bunch of HTML to report on issues, but theres no interactivity (e.g. marking issues solved), no way to merge multiple builds (e.g. multiple board builds of a single tree) or a simple way to extract burndown charts and the like from that.

Looking for a project?

On the upside, it can emit the data in a machine readable format, so if anybody needs a project, a scan-build web-frontend like Coverity Scan would be feasible without having to go through scan-builds guts, just by parsing text files - plus all the stateful and web parts to build on top.

Logging into Coverity Scan

Coverity Scan needs an account. It supports its own accounts and GitHub OAuth.

Access to the dashboards needs approval: Request and you shall receive.

coreboot & friends and Coverity Scan

coreboot, flashrom, Chromium EC and other projects of that family have been made Coverity aware, that is, their build systems support building with a custom compiler configuration passed in “just right” to enable Coverity to add its hooks.

The public coreboot CI system at https://qa.coreboot.org/ regularly does builds with Coverity and sends them off to Coverity Scan.

Specifically, it covers:

Some projects (e.g. Chromium EC) build a different subset of boards on each run, ensuring that everything is analyzed eventually. The downside is that coverity issues pop up and disappear somewhat randomly as they are discovered and go unnoticed in a later build.

More projects that are hosted on review.coreboot.org (potentially as a mirror, like vboot and EC) could be served through that pipeline. Reach out to {stepan,patrick,martin}@coreboot.org.