Explore @diffblue Open Source projects

Diffblue (@diffblue)

diffblue

Stars
993
Global Org. Rank 15,397 (Top 5 %)
Registered almost 9 years ago
Most used languages

Java
45.5 %

C++
36.4 %

TypeScript
4.5 %

Ada
4.5 %

Ruby
4.5 %

CSS
4.5 %
Location 🇬🇧 United Kingdom
Country Total Rank 2,026
Country Ranking

Ada
11

C++
77

Java
771

TypeScript
1,058

Ruby
3,290

CSS
5,482

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

symex

Symbolic Execution Tool based on CBMC

CoreBanking

A simple CoreBanking app for demo purposes.

ecommerce-demo

An e-commerce Java Spring demo project

gnat2goto

GNAT 2 GOTO Converter

output-repair

A simple tool for repairing truncated XML and JSON files

java-models-library

JDK 8 class model library

cover-annotations

Cover Annotations

musketeer

Musketeer - Automatic Fence Inserter

deeptest-utils

Maven package for executing tests created by Diffblue Cover

eclipse-cbmc

Eclipse plugin for CBMC

cprover-sv-comp

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

deltacheck

Differential Verification Tool

mjsip

Open source java SIP application

homebrew-cbmc

brew tap for CBMC

BlueCov

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

demo-spring-petclinic

Demo based on Spring Petclinic

Katacoda