Repositories list

• hw-cbmc

  Public
  The HW-CBMC and EBMC Model Checkers for Verilog

  C++

  •

  Other

  •14•53•19•25•Updated Oct 1, 2024Oct 1, 2024

• cover-github-action

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

  TypeScript

  •

  MIT License

  •2•26•0•18•Updated Oct 1, 2024Oct 1, 2024

• cbmc

  Public
  C Bounded Model Checker

  C++

  •

  Other

  •260•827•381•133•Updated Sep 29, 2024Sep 29, 2024

• PiggymetricsDiffblueTests

  Public
  Java

  •

  MIT License

  •1•0•0•0•Updated Sep 24, 2024Sep 24, 2024

• demo-spring-petclinic

  Public
  Demo based on Spring Petclinic

  CSS

  •

  Apache License 2.0

  •6•1•0•0•Updated Sep 24, 2024Sep 24, 2024

• homebrew-cbmc

  Public
  brew tap for CBMC

  Ruby

  •

  Other

  •2•3•0•0•Updated Sep 23, 2024Sep 23, 2024

• java-demo

  Public
  Demonstration project for Java analysis

  Java

  •

  Other

  •28•14•0•3•Updated Aug 1, 2024Aug 1, 2024

• cover-annotations

  Public
  Cover Annotations

  Java

  •

  Apache License 2.0

  •0•3•0•0•Updated Jul 17, 2024Jul 17, 2024

• CoreBanking

  Public
  A simple CoreBanking app for demo purposes.

  Java

  •

  Apache License 2.0

  •12•10•0•2•Updated Jul 13, 2024Jul 13, 2024

• SpringHotelManagementSystemExample

  Public
  Java

  •

  Apache License 2.0

  •0•0•0•0•Updated Jun 18, 2024Jun 18, 2024

• cover-pipelines

  Public
  Shell

  •2•0•0•0•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

  •0•0•0•0•Updated Mar 16, 2024Mar 16, 2024

• 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

  •1•0•0•0•Updated Mar 7, 2024Mar 7, 2024

• detekt

  Public
  Detekt project with tests created by cover

  Kotlin

  •

  Apache License 2.0

  •0•0•0•1•Updated Mar 5, 2024Mar 5, 2024

• 2ls

  Public
  Static Analyzer and Verifier

  C++

  •

  Other

  •24•44•53•4•Updated Nov 24, 2023Nov 24, 2023

• cprover-sv-comp

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

  C++

  •11•2•1•3•Updated Nov 22, 2023Nov 22, 2023

• tutorials

  Public
  Source Code Examples for Diffblue Tutorials

  Java

  •0•0•0•1•Updated Oct 19, 2023Oct 19, 2023

• gitlab

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

  Ruby

  •

  Other

  •2•1•0•1•Updated Sep 28, 2023Sep 28, 2023

• aws-training

  Public
  Material for AWS training days

  C

  •0•0•0•0•Updated Jul 28, 2023Jul 28, 2023

• redash

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

  Python

  •

  BSD 2-Clause "Simplified" License

  •4.3k•0•0•1•Updated Jun 22, 2023Jun 22, 2023

• getting-started-with-springboot-and-docker

  Public
  Getting started with Spring Boot and Docker

  Java

  •0•0•0•0•Updated Jun 19, 2023Jun 19, 2023

• JUnit-Examples

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

  Java

  •0•0•0•0•Updated Jun 19, 2023Jun 19, 2023

• demo-nacos

  Public
  Java

  •

  Apache License 2.0

  •0•0•0•0•Updated Jun 14, 2023Jun 14, 2023

• TicTacToe

  Public
  Example Project for E-Book Tutorial

  Java

  •

  Other

  •1•0•0•0•Updated Jun 6, 2023Jun 6, 2023

• nacos-fork

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

  Java

  •

  Apache License 2.0

  •13k•0•0•0•Updated Apr 26, 2023Apr 26, 2023

• eureka-fork

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

  Java

  •

  Apache License 2.0

  •3.7k•0•0•0•Updated Apr 18, 2023Apr 18, 2023

• java-models-library

  Public
  JDK 8 class model library

  Java

  •4•4•1•0•Updated Oct 22, 2022Oct 22, 2022

• apache-ant

  Public
  Fork for testing purposes.

  Java

  •

  Other

  •426•0•0•0•Updated Jul 5, 2022Jul 5, 2022

• intellij-community

  Public
  IntelliJ IDEA Community Edition

  Apache License 2.0

  •5.2k•1•0•0•Updated Mar 16, 2022Mar 16, 2022

• BlueCov

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

  Java

  •

  Apache License 2.0

  •1•1•1•0•Updated Oct 1, 2021Oct 1, 2021