Diffblue

Repositories

• cbmc

  C Bounded Model Checker
  SWIG 177 341 248 193 Updated Jun 11, 2021

• gnat2goto

  GNAT 2 GOTO Converter
  Ada 13 4 50 5 Updated May 29, 2021

• git-format-merge

  Forked from emilio/clang-format-merge

  A git merge driver for google-java-format.

  git java conflict-resolution formatter
  Shell Unlicense 2 0 0 0 Updated May 13, 2021

• 2ls

  Static Analyzer and Verifier
  C++ 21 23 51 4 Updated May 1, 2021

• CoreBanking

  A simple CoreBanking app for demo purposes.
  Java 3 1 0 1 Updated Mar 19, 2021

• java-demo

  Demonstration project for Java analysis
  Java 24 7 0 3 Updated Mar 5, 2021

• cover-pipelines
  Python 0 0 0 0 Updated Feb 15, 2021

• Katacoda
  Java 0 1 0 0 Updated Feb 5, 2021

• cprover-sv-comp

  CPROVER wrappers and configuration for the Software Verification Competition (SV-COMP)
  PHP 9 1 0 5 Updated Jan 5, 2021

• java-models-library

  JDK 8 class model library
  Java 3 2 1 0 Updated Dec 30, 2020

• java-cprover-api

  Java library that exposes the CProver API of JBMC
  Java BSD-3-Clause 0 0 0 0 Updated Dec 23, 2020

• mocking-cookbook
  Java Apache-2.0 0 0 0 0 Updated Dec 2, 2020

• deeptest-utils

  Maven package for executing tests created by Diffblue Cover
  Java BSD-3-Clause 0 1 0 3 Updated Oct 13, 2020

• ecommerce-demo

  An e-commerce Java Spring demo project
  Java 7 6 1 1 Updated Oct 8, 2020

• intellij-community

  Forked from JetBrains/intellij-community

  IntelliJ IDEA Community Edition
  Apache-2.0 4,050 1 0 0 Updated Sep 7, 2020

• homebrew-core

  Forked from Homebrew/homebrew-core

  🍻 Default formulae for the missing package manager for macOS
  Ruby BSD-2-Clause 9,351 0 0 0 Updated Aug 13, 2020

• eclipse-cbmc

  Eclipse plugin for CBMC
  Java 4 3 24 1 Updated Feb 11, 2020

• hw-cbmc

  The HW-CBMC and EBMC Model Checkers for Verilog
  C++ 5 6 11 4 Updated Jan 24, 2020

• symex

  Symbolic Execution Tool based on CBMC
  C++ 5 5 2 4 Updated Sep 27, 2019

• github-changelog-generator

  Forked from thomasspriggs/github-changelog-generator

  Queries the GitHub issues API to format a changelog
  JavaScript GPL-3.0 16 0 0 1 Updated Sep 12, 2019

• pidusage

  Forked from soyuka/pidusage

  Cross-platform process cpu % and memory usage of a PID
  JavaScript MIT 47 0 0 0 Updated Sep 28, 2018

• connect-mongo

  Forked from jdesboeufs/connect-mongo

  MongoDB session store for Express and Connect
  JavaScript MIT 333 0 0 0 Updated Sep 27, 2018

• musketeer

  Musketeer - Automatic Fence Inserter

  concurrency
  C++ 2 1 0 0 Updated Sep 16, 2017

• cbmc-builder

  This is a repo of the Docker images for building CBMC in various operating systems.
  Java 1 0 0 0 Updated Sep 7, 2017

• output-repair

  A simple tool for repairing truncated XML and JSON files
  C++ 2 2 0 0 Updated May 27, 2017

• miniz

  Forked from uroni/miniz

  miniz: Single C source file zlib-replacement library, originally from code.google.com/p/miniz
  C 187 0 0 0 Updated Feb 8, 2017

• deltacheck

  Differential Verification Tool
  C++ 4 2 0 0 Updated Apr 19, 2016