diffblue Goto Github PK

2ls

Static Analyzer and Verifier

apache-ant

Fork for testing purposes.

aws-training

Material for AWS training days

bluecov

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

cbmc

C Bounded Model Checker

cbmc-builder

This is a repo of the Docker images for building CBMC in various operating systems.

ci-log-diff

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

connect-mongo

MongoDB session store for Express and Connect

corebanking

A simple CoreBanking app for demo purposes.

cover-annotations

Cover Annotations

cover-github-action

GitHub Action for running Diffblue Cover from a GitHub Actions workflow

cover-pipelines

cprover-sv-comp

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

deeptest-utils

Maven package for executing tests created by Diffblue Cover

deltacheck

Differential Verification Tool

demo-nacos

demo-spring-petclinic

Demo based on Spring Petclinic

detekt

Detekt project with tests created by cover

eclipse-cbmc

Eclipse plugin for CBMC

ecommerce-demo

An e-commerce Java Spring demo project

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

git-format-merge

A git merge driver for google-java-format.

github-changelog-generator

Queries the GitHub issues API to format a changelog

gitlab

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

gnat2goto

GNAT 2 GOTO Converter

homebrew-cbmc

brew tap for CBMC

homebrew-core

🍻 Default formulae for the missing package manager for macOS

hw-cbmc

The HW-CBMC and EBMC Model Checkers for Verilog

intellij-community

IntelliJ IDEA Community Edition