The FLARE team's open-source tool to identify capabilities in executable files.

Binary Ninja plugin to identify obfuscated code and other interesting code constructs

Modern Java decompiler aiming to be as accurate as possible, with an emphasis on output quality. Fork of the Fernflower decompiler.

Android Dex disassembler and Binary Ninja plugin

A command-line utility to chat with your codebase

Tensor library for machine learning

Android Application Identifier for Packers, Protectors, Obfuscators and Oddities - PEiD for Android

SMT 2023 Submission; license pending

Minimal setup to trigger the xz backdoor

XZ backdoor reverse engineering

notes, honeypot, and exploit demo for the xz backdoor (CVE-2024-3094)

CodeQL queries developed by Trail of Bits

Main source code repository of the Tamarin prover for security protocol verification.

Hex diff viewer using alignment algorithms from biology

python tool to transpile a tf.keras model into a circom circuit

A somewhat minimal but structured jumping-off point for Neovim with Lazy.nvim

A New Kind of Password Manager

Rust implementation of the Messaging Layer Security (MLS) protocol

physical memory introspection framework

jq for binary formats - tool, language and decoders for working with binary and text formats

Amarna is a static-analyzer and linter for the Cairo programming language.

A plugin to introduce interactive symbols into your debugger from your decompiler

The content behind MDN Web Docs

A black hole for Internet advertisements

Checklist of the most important security countermeasures when designing, testing, and releasing your API