BinNavi is a binary analysis IDE that allows to inspect, navigate, edit and annotate control flow graphs and call graphs of disassembled code.

BinAbsInspector: Vulnerability Scanner for Binaries

DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not w…

Official Todo.txt Android app for managing your todo.txt file stored in Dropbox.

FlowDroid Static Data Flow Tracker

Ghidra Program Analysis Library

A Simple showcase for the Sea-of-Nodes compiler IR

CERT Kaiju is a binary analysis framework extension for the Ghidra software reverse engineering suite. This repository is the primary, canonical repository for this project -- file bug reports and …

The Whiley Compiler (WyC)

eBPF Processor for Ghidra

ASCII diagrams and drawing on the web (GWT)

Demonstration on how to add an API key authentication feature to keycloak

This project tries to provide additional Ghidra Version Tracking Correlators suitable for patch diffing.

A Ghidra extension for scripting with GraalVM languages, including Javascript, Python3, R, and Ruby.

A tool that automatically detects both the execution context of user input validation and also the content involved in the validation, to automatically expose the secrets of interest.

Retypd plugin for Ghidra reverse engineering framework from NSA

A program diffing extension for Ghidra.

Constraint acquisition based precondition learner