CSG Formal Methods Workshop

AoT is a system for automatically generating off-target test harness by using build information.

syzkaller is an unsupervised coverage-guided kernel fuzzer

Run one or more linters on changed code

Static code checker for C++

Sentiment analysis of commit comments in GitHub: an empirical study (replicate/extend results)

Finding potential software vulnerabilities from git commit messages

B2R2 is a fully managed binary analysis framework written in F#. It provides a rich set of algorithms, functions, and tools for reverse engineering, program analysis, and binary-level inspection.

cve-search - a tool to perform local searches for known vulnerabilities

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

PEDA - Python Exploit Development Assistance for GDB

A graphical threads-with-tags style, lightweight and fast, e-mail client for Notmuch

Free and Open Source Reverse Engineering Platform powered by rizin

BootStomp: a bootloader vulnerability finder

DR.CHECKER : A Soundy Vulnerability Detection Tool for Linux Kernel Drivers

A module that multiplexes interactions with lists of python objects.

A robust parser for C/C++ storing abstract syntax trees, control flow graphs and program dependence graphs in a neo4j graph database.

Documentation for the angr suite

Python bindings for Valgrind's VEX IR.

An abstraction layer for constraint solvers.

The Z3 Theorem Prover - repository for staging python distributions

A patched version of VEX to work with PyVEX.

A powerful and user-friendly binary analysis platform!

CLE Loads Everything (at least, many binary formats!)