A suite of examples of buffer overflows in open source software, for benchmarking static analysis tools

Open Machine Learning course

Clade is a tool for extracting information about software build process and source code

Proceedings of ISP RAS LaTeX Template

adding support for attributes in CPAchecker

NVIDIA Linux open GPU kernel module source

SoSy-Lab Java Common Library

Repository for OpenJDK Mission Control, a production time profiling and diagnostics tools suite. https://openjdk.org/projects/jmc

A list of Free Software network services and web applications which can be hosted on your own servers

Google core libraries for Java

Telegram Desktop messaging app

A public database of C compiler test cases, minimal test runners, and public test results.

BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

A parser for Google Scholar, written in Python

Master repository for the JGraphT project

Embedded C Library (mirror)

KLEE's version of uClibc

An Exchange Format for Verification Witnesses (MOVED, please follow the link)

Grph is a high-performance Java library for the manipulation of graphs.

DARPA Cyber Grand Challenge Sample Challenges

solver for the reachability modulo theories problem

The MemCAD static analyzer

A static analyzer for Java, C, C++, and Objective-C

Tiny programs with ACSL specifications.

Fully proved small C functions (examples for verification course).

The CompCert formally-verified C compiler

seL4 specification and proofs

The seL4 microkernel

📚 Freely available programming books

A Shape Analyzer Based on Symbolic Memory Graphs