Static analyzer for C/C++ based on the theory of Abstract Interpretation.

signal-monitor is a linux kernel module to trace specified signal sent to specified process including it's threads.

PCP BCC PMDA

Go bindings for creating BPF programs.

coredump analyzer

The central ASPIRE framework repository, start here if you want to use our tools (this contains all tools and documentation)

Diablo is a retargetable link-time binary rewriting framework

Stack trace visualizer

collection of C/C++ programs that try to get compilers to exploit undefined behavior

An open-source lint program for C++ developed by, and formerly used at Facebook.

A static checker for identifying unstable code.

checkedthreads: no race condition goes unnoticed! Simple API, automatic load balancing, Valgrind-based checking

A script to measure and limit CPU time and memory consumption of black-box processes in Linux

Oink is a collaboration of C++ static analysis tools.

convert from a Go AST to JSON

Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection