A stream-based runtime-verification framework for generating hard real-time C code.

TypeScript please give us types.

Release snapshots of the Frama-C platform for source code analysis

LLVM (Low Level Virtual Machine) Guide. Learn all about the compiler infrastructure, which is designed for compile-time, link-time, run-time, and "idle-time" optimization of programs. Originally implemented for C/C++ , though, has a variety of front-ends, including Java, Python, etc.

Analysis tool for Solidity smart contracts. Prototype.

ROSMonitoring: a Runtime Verification Framework for ROS

Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.

Runtime assertion checking based on Gospel specifications

Toolbox for software dependability engineering of artificial neural networks

A header-only C++ library for system-level verification and declarative testing of real-time systems with Python bindings.

Proof-of-concept tool for checking signal handlers for reentrancy issues.

Automated data race detection from a distributed trace via SMT constraint solving

A pure Python package to monitor formal specifications over temporal sequences

(DEPRECATED) Front-end of Copilot defining the user language.

A runtime verification tool for Erlang systems

MoonLight: a light-weight framework for runtime monitoring.

A Tool for Timed Patten Matching with Automata-Based Acceleration

A prototype tool to provoke uninitilized data errors by filling stack frames with garbage in prologue

Scripts to apply code analyzers to Debian packages.

Clang plugin which fills structure pads to provoke buffer overflow errors