Pinned Repositories
2ls
Static Analyzer and Verifier
cbmc
C Bounded Model Checker
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
demo-spring-petclinic
Demo based on Spring Petclinic
ecommerce-demo
An e-commerce Java Spring demo project
hw-cbmc
The HW-CBMC and EBMC Model Checkers for Verilog
java-demo
Demonstration project for Java analysis
symex
Symbolic Execution Tool based on CBMC
Diffblue's Repositories
diffblue/cbmc
C Bounded Model Checker
diffblue/hw-cbmc
The HW-CBMC and EBMC Model Checkers for Verilog
diffblue/2ls
Static Analyzer and Verifier
diffblue/cover-github-action
GitHub Action for running Diffblue Cover from a GitHub Actions workflow
diffblue/java-demo
Demonstration project for Java analysis
diffblue/CoreBanking
A simple CoreBanking app for demo purposes.
diffblue/java-models-library
JDK 8 class model library
diffblue/cover-annotations
Cover Annotations
diffblue/homebrew-cbmc
brew tap for CBMC
diffblue/cprover-sv-comp
CPROVER wrappers and configuration for the Software Verification Competition (SV-COMP)
diffblue/BlueCov
A tool for instrumenting Java bytecode based on properties defined by JBMC
diffblue/demo-spring-petclinic
Demo based on Spring Petclinic
diffblue/gitlab
Clone of https://gitlab.com/gitlab-org/gitlab
diffblue/intellij-community
IntelliJ IDEA Community Edition
diffblue/aws-training
Material for AWS training days
diffblue/ci-log-diff
Tool to analyse log files from CI and highlight where changes are important
diffblue/cover-pipelines
diffblue/demo-nacos
diffblue/detekt
Detekt project with tests created by cover
diffblue/JUnit-Examples
About JUnit 5, IntelliJ, Mockit and Diffblue Cover Code Samples
diffblue/redash
Make Your Company Data Driven. Connect to any data source, easily visualize, dashboard and share your data.
diffblue/tutorials
Source Code Examples for Diffblue Tutorials
diffblue/apache-ant
Fork for testing purposes.
diffblue/eureka-fork
AWS Service registry for resilient mid-tier load balancing and failover.
diffblue/getting-started-with-springboot-and-docker
Getting started with Spring Boot and Docker
diffblue/nacos-fork
an easy-to-use dynamic service discovery, configuration and service management platform for building cloud native applications.
diffblue/PiggymetricsDiffblueTests
diffblue/redash-loader
Tool to extract and reload queries and dashboards from a redash instance as plain text that can be managed with a SCM like git
diffblue/SpringHotelManagementSystemExample
diffblue/TicTacToe
Example Project for E-Book Tutorial