diffblue/Katacoda

This repository has been archived on 29/Mar/2023
Stars
1
Language
Java
Created over 4 years ago
Updated almost 4 years ago

diffblue/Katacoda

diffblue

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

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