--- title: Integrating Coverity static analysis with Bazel | daily.dev description: Tweag integrated Coverity static analysis with Bazel to enable cacheable, incremental analysis suitable for merge request pipelines. The solution involved... canonical: https://daily.dev/posts/integrating-coverity-static-analysis-with-bazel-i60dyvffx twitter:card: summary_large_image twitter:site: @dailydotdev og:type: website og:site_name: daily.dev og:title: Integrating Coverity static analysis with Bazel | daily.dev og:description: Tweag integrated Coverity static analysis with Bazel to enable cacheable, incremental analysis suitable for merge request pipelines. The solution involved... og:url: https://daily.dev/posts/integrating-coverity-static-analysis-with-bazel-i60dyvffx og:image: https://api.daily.dev/og/posts/I60DyVFfX.png og:image:alt: Integrating Coverity static analysis with Bazel og:image:width: 1200 og:image:height: 630 og:locale: en --- > ## Documentation Index > Fetch the complete documentation index at: https://daily.dev/llms.txt > Use this file to discover all available pages before exploring further. # Integrating Coverity static analysis with Bazel **[Planet Haskell](https://daily.dev/sources/phaskell)** · 13 min read · 0 upvotes · 0 comments ## Summary Tweag integrated Coverity static analysis with Bazel to enable cacheable, incremental analysis suitable for merge request pipelines. The solution involved creating a custom Bazel toolchain that wraps cov-translate invocations, producing granular SQLite databases (emit-dbs) that can be cached and merged. Key challenges included ensuring reproducibility by normalizing volatile data in databases (timestamps, PIDs, absolute paths) and optimizing performance through compression and selective remote execution. The result reduced analysis time from 12+ hours in nightly builds to ~22 minutes in merge requests, with most time spent on database merging and targeted analysis using --tu-pattern for changed files. ## Full article daily.dev links to this article rather than hosting it. Read it at the original source: ## Similar posts on daily.dev - [How we used Quint to find over 10 bugs in SQLite while hardening Turso](https://daily.dev/posts/how-we-used-quint-to-find-over-10-bugs-in-sqlite-while-hardening-turso-o1aufeqp3) · Lobsters · 2 upvotes · 0 comments - [Leaving performance on the table](https://daily.dev/posts/leaving-performance-on-the-table-z6ieh43af) · Farid Zakaria’s Blog · 0 upvotes · 0 comments - [Build better software to build software better](https://daily.dev/posts/build-better-software-to-build-software-better-kopbq9xdt) · Slack engineering · 67 upvotes · 3 comments - [building sqlite with a small swarm](https://daily.dev/posts/building-sqlite-with-a-small-swarm-pbrqz4xyf) · Hacker News · 1 upvotes · 0 comments --- Tags: [#bazel](https://daily.dev/tags/bazel), [#build-systems](https://daily.dev/tags/build-systems), [#c++](https://daily.dev/tags/c++), [#devops](https://daily.dev/tags/devops) [View this post on daily.dev](https://daily.dev/posts/integrating-coverity-static-analysis-with-bazel-i60dyvffx) ```json {"@context":"https://schema.org","@graph":[{"@type":"Organization","@id":"https://daily.dev/#organization","name":"daily.dev","url":"https://daily.dev","logo":{"@type":"ImageObject","url":"https://daily.dev/apple-touch-icon.png","width":180,"height":180},"sameAs":["https://twitter.com/dailydotdev","https://github.com/dailydotdev","https://www.linkedin.com/company/daily-dev-ltd"]},{"@type":"WebSite","@id":"https://daily.dev/#website","url":"https://daily.dev","name":"daily.dev","publisher":{"@id":"https://daily.dev/#organization"},"potentialAction":{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https://daily.dev/search?q={search_term_string}"},"query-input":"required name=search_term_string"}}]} {"@context":"https://schema.org","@type":"TechArticle","headline":"Integrating Coverity static analysis with Bazel","url":"https://daily.dev/posts/integrating-coverity-static-analysis-with-bazel-i60dyvffx","mainEntityOfPage":{"@type":"WebPage","@id":"https://daily.dev/posts/integrating-coverity-static-analysis-with-bazel-i60dyvffx"},"datePublished":"2026-02-05T12:16:27.746Z","dateModified":"2026-03-15T05:31:49.368Z","description":"Tweag integrated Coverity static analysis with Bazel to enable cacheable, incremental analysis suitable for merge request pipelines. The solution involved...","image":"https://media.daily.dev/image/upload/f_auto,q_auto/v1/posts/022ae1f163e3837faf7572f4d1b4761b?_a=AQAEulh","thumbnailUrl":"https://media.daily.dev/image/upload/f_auto,q_auto/v1/posts/022ae1f163e3837faf7572f4d1b4761b?_a=AQAEulh","isAccessibleForFree":true,"articleSection":"Planet Haskell","inLanguage":"en","publisher":{"@type":"Organization","name":"daily.dev","url":"https://daily.dev","logo":{"@type":"ImageObject","url":"https://daily.dev/apple-touch-icon.png","width":180,"height":180}},"author":{"@type":"Organization","name":"Planet Haskell","logo":"https://media.daily.dev/image/upload/t_logo,f_auto/v1/logos/cd3e48fb3b974d10993a5b5b8dcb8a08","url":"https://daily.dev/sources/phaskell"},"commentCount":0,"discussionUrl":"https://daily.dev/posts/integrating-coverity-static-analysis-with-bazel-i60dyvffx","interactionStatistic":[{"@type":"InteractionCounter","interactionType":{"@type":"LikeAction"},"userInteractionCount":0},{"@type":"InteractionCounter","interactionType":{"@type":"CommentAction"},"userInteractionCount":0}],"keywords":"bazel,build-systems,c++,devops","timeRequired":"PT13M"} {"@context":"https://schema.org","@type":"BreadcrumbList","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https://daily.dev"},{"@type":"ListItem","position":2,"name":"Planet Haskell","item":"https://daily.dev/sources/phaskell"},{"@type":"ListItem","position":3,"name":"Integrating Coverity static analysis with Bazel"}]} ```