Diffblue

cbmc

C Bounded Model Checker

hw-cbmc

The HW-CBMC and EBMC Model Checkers for Verilog

2ls

Static Analyzer and Verifier

cover-github-action

GitHub Action for running Diffblue Cover from a GitHub Actions workflow

java-demo

Demonstration project for Java analysis

CoreBanking

A simple CoreBanking app for demo purposes.

java-models-library

JDK 8 class model library

cover-annotations

Cover Annotations

homebrew-cbmc

brew tap for CBMC

cprover-sv-comp

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

BlueCov

A tool for instrumenting Java bytecode based on properties defined by JBMC

demo-spring-petclinic

Demo based on Spring Petclinic

intellij-community

IntelliJ IDEA Community Edition

aws-training

Material for AWS training days

ci-log-diff

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

demo-nacos

detekt

Detekt project with tests created by cover

JUnit-Examples

About JUnit 5, IntelliJ, Mockit and Diffblue Cover Code Samples

redash

Make Your Company Data Driven. Connect to any data source, easily visualize, dashboard and share your data.

tutorials

Source Code Examples for Diffblue Tutorials

apache-ant

Fork for testing purposes.

cover-pipelines

eureka-fork

AWS Service registry for resilient mid-tier load balancing and failover.

getting-started-with-springboot-and-docker

Getting started with Spring Boot and Docker

gitlab

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

nacos-fork

an easy-to-use dynamic service discovery, configuration and service management platform for building cloud native applications.

PiggymetricsDiffblueTests

redash-loader

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

SpringHotelManagementSystemExample

TicTacToe

Example Project for E-Book Tutorial