remi-delmas-3000 Goto Github PK

aws-c-common

Core c99 package for AWS SDK for C. Includes cross-platform primitives, configuration, data structures, and error handling.

aws-verification-model-for-libcrypto

Partial verification model for openssl.

cbmc

C Bounded Model Checker

cbmc-quantifiers

simple uses of quantifiers for loop verification

cbmc-starter-kit

The CBMC stater kit makes it easy to add CBMC verification to a software project.

cbmc-viewer

CBMC Viewer scans the output of CBMC and produces a browsable summary of its findings, making it easy to root cause the issues it finds.

corehttp

Client implementation of a subset of HTTP 1.1 protocol designed for embedded devices.

corejson

A parser strictly enforcing the ECMA-404 JSON standard, suitable for microcontrollers

ebpf-docs

eBPF Standard Documentation

freertos

'Classic' FreeRTOS distribution. Started as Git clone of FreeRTOS SourceForge SVN repo. Submodules the kernel.

freertos-1

FreeRTOS port for Arduino Uno

grammars-v4

Grammars written for ANTLR v4; expectation that the grammars are free of actions.

kani

Kani Rust Verifier

kani-github-action

This repository provides a GitHub Action for running the Kani Rust Verifier in CI.

kani-verifier-blog

lemma-functions-in-cbmc

Trying to express lemma functions with CBMC's contract system

s2n-tls

s2n : an implementation of the TLS/SSL protocols

shadow-map

stacked-borrows

A model of stacked borrows for code instrumentation and verification

stateful-contracts

Modelling stateful contracts in CBMC

unbounded-proofs-with-cbmc

Proofs for unbounded data structures using CBMC