Trail of Bits

Repositories

mishegos

A differential fuzzer for x86 decoders

C Apache-2.0 15 103 7 (2 issues need help) 1 Updated Aug 10, 2020

algo

Set up a personal VPN in the cloud

security ansible encryption ipsec vpn vpn-server vpn-client

Python AGPL-3.0 1,625 18,975 79 (4 issues need help) 3 Updated Aug 8, 2020

osquery

Forked from osquery/osquery

SQL powered operating system instrumentation, monitoring, and analytics.

C++ 2,036 2 0 1 Updated Aug 8, 2020

manticore

Symbolic execution tool

python testing security emulation ethereum blockchain symbolic-execution

Python AGPL-3.0 292 1,997 175 (20 issues need help) 17 Updated Aug 6, 2020

pe-parse

Principled, lightweight C/C++ PE parser

pe-format portable-executable

C++ MIT 97 383 11 (2 issues need help) 0 Updated Aug 6, 2020

publications

Publications from Trail of Bits

conference-presentations academic-papers security-reviews

Python CC-BY-SA-4.0 75 415 2 1 Updated Aug 6, 2020

polytracker

An LLVM-based instrumentation tool for universal taint analysis.

C++ Apache-2.0 8 101 30 (2 issues need help) 1 Updated Aug 6, 2020

mimid

Forked from vrthra/mimid

Replication package for Mining Input Grammars From Dynamic Control Flow

Python 1 0 0 0 Updated Aug 6, 2020

not-slithering-anywhere

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

Python Apache-2.0 0 1 0 0 Updated Aug 6, 2020

siderophile

Find the ideal fuzz targets in a Rust codebase

rust fuzzing program-analysis security-testing

Rust 7 86 13 (2 issues need help) 5 Updated Aug 6, 2020

gllvm

Forked from SRI-CSL/gllvm

Whole Program LLVM: wllvm ported to go

Go BSD-3-Clause 15 0 1 1 Updated Aug 4, 2020

warehouse

Forked from pypa/warehouse

The Python Package Repository

Python Apache-2.0 720 0 0 1 Updated Aug 4, 2020

vscode

Forked from microsoft/vscode

Visual Studio Code

TypeScript MIT 15,943 0 0 1 Updated Aug 2, 2020

twa

A tiny web auditor with strong opinions.

security auditing web-security

Shell MIT 45 541 5 (5 issues need help) 0 Updated Aug 2, 2020

graphtage

A semantic diff utility and library for tree-like files such as JSON, JSON5, XML, HTML, YAML, and CSV.

Python LGPL-3.0 0 5 2 0 Updated Jul 31, 2020

pygraphviz

Forked from pygraphviz/pygraphviz

Python interface to Graphviz graph drawing package

C 167 0 0 0 Updated Jul 29, 2020

uthenticode

A cross-platform library for verifying Authenticode signatures

C++ MIT 6 50 5 (1 issue needs help) 0 Updated Jul 29, 2020

cb-multios

DARPA Challenges Sets for Linux, Windows, and macOS

test-suite vulnerabilities decree

C MIT 81 384 17 (1 issue needs help) 3 Updated Jul 27, 2020

ebpfpub

ebpfpub is a generic function tracing library for Linux that supports tracepoints, kprobes and uprobes.

security monitoring llvm tracing ebpf bpf tracepoints

C++ Apache-2.0 0 45 2 0 Updated Jul 27, 2020

blight

A catch-all compile tool wrapper

instrumentation build-tool build-system compiler-wrapper

Python Apache-2.0 0 2 2 0 Updated Jul 27, 2020

ebpf-common

This object library contains code shared by ebpfpub and ebpfault

tracing ebpf

C++ Apache-2.0 0 5 0 0 Updated Jul 27, 2020

deepstate

A unit test-like interface for fuzzing and symbolic execution

unit-testing symbolic-execution property-based-testing fuzzing testing-tools testing-framework

4 packages Python Apache-2.0 54 550 81 (17 issues need help) 9 Updated Jul 22, 2020

anselm

Detect patterns of bad behavior in function calls

C++ Apache-2.0 1 18 0 0 Updated Jul 21, 2020

confidant

Forked from lyft/confidant

Confidant: your secret keeper.

Python Apache-2.0 98 0 6 5 Updated Jul 21, 2020

streamalert

Forked from airbnb/streamalert

StreamAlert is a serverless, realtime data analysis framework which empowers you to ingest, analyze, and alert on data from any environment, using datasources and alerting logic you define.

Python Apache-2.0 289 1 2 5 Updated Jul 21, 2020

sandshrew

Underconstrained symbolic execution for cryptography verification

unit-testing cryptography symbolic-execution

Python 1 10 1 2 Updated Jul 21, 2020

omaha-server

Forked from omaha-consulting/omaha-server

Google Omaha server (as known as Google Update)

Python 67 1 0 2 Updated Jul 21, 2020

doorman

Forked from mwielgoszewski/doorman

an osquery fleet manager

Python MIT 91 0 0 3 Updated Jul 21, 2020

nyc-infosec

Mapping the NYC Infosec Community

nyc meetup university conference calendar

CSS 15 35 0 0 Updated Jul 20, 2020

llvm-sanitizer-tutorial

An LLVM sanitizer tutorial

tutorial llvm llvm-sanitizer

C++ 10 111 0 0 Updated Jul 20, 2020