marche147

windiff

Web-based tool that allows comparing symbol, type and syscall information of Microsoft Windows binaries across different versions of the OS.

gcovr

generate code coverage reports with gcc/gcov

bap

Binary Analysis Platform

Theseus

Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between compiler and hardware by maximally leveraging the power of language safety and affine types. Theseus aims to shift OS responsibilities like resource management into the compiler.

tiramisu

A polyhedral compiler for expressing fast and portable data parallel algorithms

comprehensive-rust

This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust.

cppyy

speedscope

🔬 A fast, interactive web-based viewer for performance profiles.

FlameGraph

Stack trace visualizer

Fuzzing101

An step by step fuzzing tutorial. A GitHub Security Lab initiative

clingo

🤔 A grounder and solver for logic programs.

Suborner

ipsw

iOS/macOS Research Swiss Army Knife

gef

GEF - GDB Enhanced Features for exploit devs & reversers

symbolic-execution-papers

Recent symbolic execution papers and tools.

Nintendo_Switch_Reverse_Engineering

A look at inner workings of Joycon and Nintendo Switch

linux-kernel-exploitation

A collection of links related to Linux kernel security and exploitation

phasar

A LLVM-based static analysis framework.

whole-program-llvm

A wrapper script to build whole-program LLVM bitcode files

cb-multios

DARPA Challenges Sets for Linux, Windows, and macOS

caronte

A tool to analyze the network flow during attack/defence Capture the Flag competitions

cling

The cling C++ interpreter

mininet

Emulator for rapid prototyping of Software Defined Networks

isogenies.bib

A BibTeX collection on Isogeny-based Cryptography

SVF

Static Value-Flow Analysis Framework for Source Code

deuring

souper

A superoptimizer for LLVM IR

goomba

gooMBA is a Hex-Rays Decompiler plugin to simplify Mixed Boolean-Arithmetic (MBA) expressions

alive2

Automatic verification of LLVM optimizations

hBPF

hBPF = eBPF in hardware