GEF (GDB Enhanced Features) - a modern experience for GDB with advanced debugging capabilities for exploit devs & reverse engineers on Linux

A collection of out-of-tree LLVM passes for teaching and learning

cwe_checker finds vulnerable patterns in binary executables

Provides various information around an x86/64 instruction.

The X86 Encoder Decoder (XED), is a software library for encoding and decoding X86 (IA32 and Intel64) instructions

pySMT: A library for SMT formulae manipulation and solving

📄 Awesome CV is LaTeX template for your outstanding job application

[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.

A wrapper script to build whole-program LLVM bitcode files

A categorized list of C++ resources.

Checked C is an extension to C that lets programmers write C code with bounds checking and improved type-safety. The goal is to let people easily make their existing C code type-safe and eliminate …

TouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers)

Static Value-Flow Analysis Framework for Source Code

A tool for analyzing LLVM bitcode using Datalog.

Builds scripts for openSSL 1.0.2h on Android

🐍 Complete C99 parser in pure Python

Some helpful preload libraries for pwning stuff.

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

A broadcast based secure chat application.