diffblue/deeptest-utils

This repository has been archived on 10/Jan/2022
Stars
3
Rank 3,963,521 (Top 79 %)
Language
Java
License
BSD 3-Clause "New...
Created almost 7 years ago
Updated about 4 years ago

diffblue/deeptest-utils

diffblue

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Maven package for executing tests created by Diffblue Cover

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

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