Repositories list

• hw-cbmc

  Public
  The HW-CBMC and EBMC Model Checkers for Verilog

  C++

  •

  Other

  •2828 forks•115115 stars•3333 issues•112112 pull requests•Updated Sep 10, 2026Sep 10, 2026

• DemoV8-SB2

  Public
  Vaadin GUI upgrade demo project

  Java

  •22 forks•00 stars•00 issues•00 pull requests•Updated Sep 10, 2026Sep 10, 2026

• homebrew-cbmc

  Public
  brew tap for CBMC

  Ruby

  •

  Other

  •22 forks•33 stars•00 issues•00 pull requests•Updated Aug 28, 2026Aug 28, 2026

• cbmc

  Public
  C Bounded Model Checker

  C++

  •

  Other

  •302302 forks•1.1k1.1k stars•448448 issues•360360 pull requests•Updated Aug 21, 2026Aug 21, 2026

• cover-github-action

  Public
  GitHub Action for running Diffblue Cover from a GitHub Actions workflow

  TypeScript

  •

  MIT License

  •44 forks•3131 stars•00 issues•88 pull requests•Updated Aug 17, 2026Aug 17, 2026

• PiggymetricsDiffblueTests

  Public
  Java

  •

  MIT License

  •11 fork•11 star•00 issues•00 pull requests•Updated Aug 14, 2026Aug 14, 2026

• firedancer

  Public
  Firedancer is Jump Crypto's Solana validator software.

  C

  •

  Other

  •520520 forks•00 stars•00 issues•00 pull requests•Updated Aug 3, 2026Aug 3, 2026

• java-models-library

  Public
  JDK 8 class model library

  Java

  •44 forks•44 stars•00 issues•88 pull requests•Updated Jul 30, 2026Jul 30, 2026

• sonar-update-center-properties

  Public
  Shell

  •

  GNU Lesser General Public License v3.0

  •8080 forks•00 stars•00 issues•00 pull requests•Updated Jul 14, 2026Jul 14, 2026

• diffblue-sonar-plugin

  Public
  Diffblue SonarQube plugin

  Java

  •

  Apache License 2.0

  •00 forks•00 stars•00 issues•11 pull request•Updated Jul 14, 2026Jul 14, 2026

• Diffblue-SonarQube-Example-Repo

  Public
  CSS

  •

  Apache License 2.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated May 22, 2026May 22, 2026

• demo-spring-petclinic

  Public
  Demo based on Spring Petclinic

  CSS

  •

  Apache License 2.0

  •1313 forks•11 star•00 issues•11 pull request•Updated Feb 16, 2026Feb 16, 2026

• cover-annotations

  Public
  Cover Annotations

  Java

  •

  Apache License 2.0

  •00 forks•66 stars•00 issues•00 pull requests•Updated Jan 2, 2026Jan 2, 2026

• cover-mcp

  Public
  MCP server for Diffblue Cover

  Python

  •

  Apache License 2.0

  •00 forks•22 stars•00 issues•11 pull request•Updated Dec 18, 2025Dec 18, 2025

• trivial-ant-project

  Public
  A trivial project to show the configuration needed to get Diffblue Cover configured.

  Java

  •00 forks•00 stars•00 issues•00 pull requests•Updated Dec 3, 2025Dec 3, 2025

• cprover-sv-comp

  Public
  CPROVER wrappers and configuration for the Software Verification Competition (SV-COMP)

  BitBake

  •1212 forks•22 stars•11 issue•44 pull requests•Updated Nov 20, 2025Nov 20, 2025

• CoreBanking

  Public
  A simple CoreBanking app for demo purposes.

  Java

  •

  Apache License 2.0

  •1313 forks•1111 stars•00 issues•22 pull requests•Updated Sep 12, 2025Sep 12, 2025

• redash-loader

  Public
  Tool to extract and reload queries and dashboards from a redash instance as plain text that can be managed with a SCM like git

  Python

  •

  Apache License 2.0

  •22 forks•11 star•00 issues•00 pull requests•Updated Sep 9, 2025Sep 9, 2025

• cover-mocks

  Public
  Java mocking utilities

  Java

  •

  Apache License 2.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Aug 16, 2025Aug 16, 2025

• demo-java-ee-servlet

  Public
  Demonstrates Diffblue performance on a Java EE Servlet API project

  Java

  •00 forks•00 stars•00 issues•11 pull request•Updated Mar 6, 2025Mar 6, 2025

• apache-ant

  Public
  Fork for testing purposes.

  Java

  •

  Other

  •457457 forks•00 stars•00 issues•00 pull requests•Updated Jan 23, 2025Jan 23, 2025

• 2ls

  Public
  Static Analyzer and Verifier

  C++

  •

  Other

  •2525 forks•5353 stars•5757 issues•44 pull requests•Updated Oct 12, 2024Oct 12, 2024

• java-demo

  Public
  Demonstration project for Java analysis

  Java

  •

  Other

  •2828 forks•1414 stars•00 issues•33 pull requests•Updated Aug 1, 2024Aug 1, 2024

• SpringHotelManagementSystemExample

  Public
  Java

  •

  Apache License 2.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jun 18, 2024Jun 18, 2024

• cover-pipelines

  Public
  Shell

  •22 forks•00 stars•00 issues•00 pull requests•Updated Apr 23, 2024Apr 23, 2024

• ci-log-diff

  Public
  Tool to analyse log files from CI and highlight where changes are important

  TypeScript

  •

  Apache License 2.0

  •00 forks•11 star•00 issues•00 pull requests•Updated Mar 16, 2024Mar 16, 2024

• detekt

  Public
  Detekt project with tests created by cover

  Kotlin

  •

  Apache License 2.0

  •00 forks•00 stars•00 issues•11 pull request•Updated Mar 5, 2024Mar 5, 2024

• tutorials

  Public
  Source Code Examples for Diffblue Tutorials

  Java

  •00 forks•00 stars•00 issues•11 pull request•Updated Oct 19, 2023Oct 19, 2023

• gitlab

  Public
  Clone of https://gitlab.com/gitlab-org/gitlab

  Ruby

  •

  Other

  •44 forks•55 stars•22 issues•00 pull requests•Updated Sep 28, 2023Sep 28, 2023

• aws-training

  Public
  Material for AWS training days

  C

  •00 forks•11 star•00 issues•00 pull requests•Updated Jul 28, 2023Jul 28, 2023