trailofbits Goto Github PK

llvm-docker

A minimal Docker container built with specific versions of LLVM and Clang

llvm-sanitizer-tutorial

An LLVM sanitizer tutorial

llvm-wedlock

A copy of LLVM with the Wedlock backend pass

lms-go

lms-rust

maat

Open-source symbolic execution framework: https://maat.re

macroni

C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.

magnifier

manticore

Symbolic execution tool

manticore-examples

Example Manticore scripts

manticoreui

The Manticore User Interface with plugins for Binary Ninja and Ghidra

manticoreui-ghidra

ManticoreUI support for Ghidra. This is primarily a prototype repository. See the main ManticoreUI repo (https://github.com/trailofbits/ManticoreUI) for a more complete implementation with Binary Ninja.

mc-ansible

Ansible playbooks for deploying Manticore

mcircuit

Pronounced "mc urkit"

mishegos

A differential fuzzer for x86 decoders

ml-file-formats

List of ML file formats

monitoring_linux_events

Companion code for the "Monitoring Linux events" Empire Hacking talk

mpc-learning

Perform multi-party computation on machine learning applications

mttn

Memory tracer, take N

nate

A PoC parser for DWARF format written in Rust

necessist

A mutation-based tool for finding bugs in tests

nginx-json-kss

Painless JSON logging for Nginx.

not-going-anywhere

A set of vulnerable Golang programs

not-slithering-anywhere

The Python Version of our Not Go-ing Anywhere Vulnerable Application

nyc-infosec

Mapping the NYC Infosec Community

objcgraphview

A graph view plugin for Binary Ninja to visualize Objective-C

offlinebrew

A collection of tools for running Homebrew in offline environments.

on-edge

A library for detecting certain improper uses of the "Defer, Panic, and Recover" pattern in Go programs

onesixtyone

Fast SNMP Scanner

osquery

SQL powered operating system instrumentation, monitoring, and analytics.