Popular repositories Loading

1. Security-Vulnerabilities-caused-by-Memory-Errors Security-Vulnerabilities-caused-by-Memory-Errors Public

   A collection of important security vulnerabilities caused by memory errors, e.g., buffer overflows.

   1

2. tobireinhard.github.io tobireinhard.github.io Public

   Forked from academicpages/academicpages.github.io

   Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

   JavaScript

3. Publications Publications Public

   A collection of publications by Tobias Reinhard.

   TeX

4. verifast verifast Public

   Forked from verifast/verifast

   Research prototype tool for modular formal verification of C and Java programs

   OCaml

5. aws-c-common aws-c-common Public

   Forked from awslabs/aws-c-common

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

   C

6. cbmc cbmc Public

   Forked from diffblue/cbmc

   C Bounded Model Checker

   SWIG