ndrewh

ndrewh's Stars

• bpftrace/bpftrace

  High-level tracing language for Linux

  Language:C++8.8k1711.2k1.4k

• AsahiLinux/m1n1

  A bootloader and experimentation playground for Apple Silicon

  Language:Python3.6k7993212

• DynamoRIO/dynamorio

  Dynamic Instrumentation Tool Platform

  Language:C2.7k1074.1k566

• TheDan64/inkwell

  It's a New Kind of Wrapper for Exposing LLVM (Safely)

  Language:Rust2.4k20309232

• google/souper

  A superoptimizer for LLVM IR

  Language:C++2.2k64141171

• marin-m/vmlinux-to-elf

  A tool to recover a fully analyzable .ELF from a raw kernel, through extracting the kernel symbol table (kallsyms)

  Language:Python1.4k3144132

• AliveToolkit/alive2

  Automatic verification of LLVM optimizations

  Language:C++82223498108

• eurecom-s3/symcc

  SymCC: efficient compiler-based symbolic execution

  Language:C++7922494139

• mahaloz/decomp2dbg

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

  Language:Python627124439

• trailofbits/multiplier

  Code auditing productivity multiplier.

  Language:C++4422033927

• trailofbits/vast

  VAST is an experimental compiler pipeline designed for program analysis of C and C++. It provides a tower of IRs as MLIR dialects to choose the best fit representations for a program analysis or further program abstraction.

  Language:C++4012434825

• foundryzero/llef

  LLEF is a plugin for LLDB to make it more useful for RE and VR

  Language:Python3457817

• ChefKissInc/QEMUAppleSilicon

  Apple Silicon devices emulated on QEMU, currently only iPhone 11. With SEP and SpringBoard, eventually

  Language:C282262224

• Vector35/debugger

  Binary Ninja debugger

  Language:C++2231165716

• redpwn/jail

  An nsjail Docker image for CTF pwnables. Easily create secure, isolated xinetd/inetd-style services.

  Language:Go177101014

• quarkslab/pastis

  PASTIS: Collaborative Fuzzing Framework

  Language:Python15711610

• kframework/X86-64-semantics

  Semantics of x86-64 in K

  Language:Assembly14522913

• R00tkitSMM/CVE-2024-27804

  POC for CVE-2024-27804

  Language:Objective-C1316025

• libdebug/libdebug

  libdebug is a python library to automate the debugging of a binary executable.

  Language:Python13057216

• ucsb-seclab/greed

  A symbolic execution engine for EVM smart contract binaries.

  Language:Python788913

• langston-barrett/tree-crasher

  Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.

  Language:Rust6641210

• mikekben/SLOT

  SLOT: SMT-LLVM Optimizing Translation

  Language:C++54306

• ndrewh/pyda

  Write dynamic binary analysis tools in Python

  Language:C402463

• psifertex/callgraph

  Binary Ninja Call Graph plugin

  Language:Python20311

• rhombusgg/rhombus

  The CTF framework for busy hackers

  Language:Rust13122

• SecurityLab-UCD/IRFuzzer

  Language:Python13321

• destr4ct/gef-kernel

  GEF - GDB Enhanced Features for exploit devs & reversers

  Language:Python6001

• kwesthaus/sniff2go

  Decode the ISO 18000-6B and -6C RF protocols used by the "GoodToGo!" tolling system in Washington and other states

  Language:Python6200

• eigenform/dendrite

  Rust library with examples and tools for exploring branch prediction strategies over DynamoRIO traces.

  Language:Rust210

• cscosu/kinfra

  Kubernetes infrastructure

  Language:YAML1200