diffblue/gnat2goto diffblue/gnat2goto

  • Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language
    Ada
  • Created over 7 years ago
  • Updated about 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
diffblue/gnat2goto
github

diffblue

Reviews

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

Repository Details

GNAT 2 GOTO Converter

More Repositories

1

cbmc

C Bounded Model Checker
C++
830
star
2

hw-cbmc

The HW-CBMC and EBMC Model Checkers for Verilog
C++
50
star
3

2ls

Static Analyzer and Verifier
C++
44
star
4

cover-github-action

GitHub Action for running Diffblue Cover from a GitHub Actions workflow
TypeScript
26
star
5

java-demo

Demonstration project for Java analysis
Java
14
star
6

symex

Symbolic Execution Tool based on CBMC
C++
10
star
7

CoreBanking

A simple CoreBanking app for demo purposes.
Java
9
star
8

ecommerce-demo

An e-commerce Java Spring demo project
Java
8
star
9

output-repair

A simple tool for repairing truncated XML and JSON files
C++
4
star
10

java-models-library

JDK 8 class model library
Java
4
star
11

cover-annotations

Cover Annotations
Java
3
star
12

musketeer

Musketeer - Automatic Fence Inserter
C++
3
star
13

deeptest-utils

Maven package for executing tests created by Diffblue Cover
Java
3
star
14

eclipse-cbmc

Eclipse plugin for CBMC
Java
3
star
15

cprover-sv-comp

CPROVER wrappers and configuration for the Software Verification Competition (SV-COMP)
C++
2
star
16

deltacheck

Differential Verification Tool
C++
2
star
17

mjsip

Open source java SIP application
Java
2
star
18

homebrew-cbmc

brew tap for CBMC
Ruby
2
star
19

BlueCov

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

demo-spring-petclinic

Demo based on Spring Petclinic
CSS
1
star
21

Katacoda

Java
1
star