Trail of Bits

Repositories

manticore

Symbolic execution tool

python testing security emulation ethereum blockchain symbolic-execution

Python AGPL-3.0 290 1,986 175 (20 issues need help) 16 Updated Jul 29, 2020

polytracker

An LLVM-based instrumentation tool for universal taint analysis.

C++ Apache-2.0 8 100 28 (1 issue needs help) 0 Updated Jul 29, 2020

osquery

Forked from osquery/osquery

SQL powered operating system instrumentation, monitoring, and analytics.

C++ 2,029 2 0 1 Updated Jul 28, 2020

mishegos

A differential fuzzer for x86 decoders

C Apache-2.0 14 100 7 (2 issues need help) 0 Updated Jul 28, 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 28, 2020

publications

Publications from Trail of Bits

conference-presentations academic-papers security-reviews

Python CC-BY-SA-4.0 73 412 2 1 Updated Jul 28, 2020

cb-multios

DARPA Challenges Sets for Linux, Windows, and macOS

test-suite vulnerabilities decree

C MIT 80 381 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 44 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 1 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

siderophile

Find the ideal fuzz targets in a Rust codebase

rust fuzzing program-analysis security-testing

Rust 7 86 13 (2 issues need help) 2 Updated Jul 27, 2020

warehouse

Forked from pypa/warehouse

The Python Package Repository

Python Apache-2.0 706 0 0 1 Updated Jul 24, 2020

algo

Set up a personal VPN in the cloud

security ansible encryption ipsec vpn vpn-server vpn-client

Python AGPL-3.0 1,611 18,904 82 (4 issues need help) 6 Updated Jul 23, 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 53 546 81 (17 issues need help) 9 Updated Jul 23, 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 97 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 287 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 66 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 14 34 0 0 Updated Jul 20, 2020

llvm-sanitizer-tutorial

An LLVM sanitizer tutorial

tutorial llvm llvm-sanitizer

C++ 11 109 0 0 Updated Jul 20, 2020

polyfile

A utility for mapping the file formats embedded within a single file

file-format-detection file-formats polyglots

Python Apache-2.0 5 82 11 0 Updated Jul 20, 2020

twa

A tiny web auditor with strong opinions.

security auditing web-security

Shell MIT 44 540 6 (5 issues need help) 0 Updated Jul 19, 2020

la-infosec

Mapping the LA Infosec Community

CSS 2 0 0 0 Updated Jul 19, 2020

mimid

Forked from vrthra/mimid

Replication package for Mining Input Grammars From Dynamic Control Flow

Python 1 0 0 0 Updated Jul 16, 2020

pygraphviz

Forked from pygraphviz/pygraphviz

Python interface to Graphviz graph drawing package

C 164 0 0 0 Updated Jul 15, 2020

not-slithering-anywhere

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

Python Apache-2.0 0 0 0 0 Updated Jul 11, 2020

sinter

A user-mode application authorization system for MacOS written in Swift

macos swift security-agent

Swift AGPL-3.0 0 8 11 2 Updated Jul 10, 2020

go-mutexasserts

A small library that allows to check if Go mutexes are locked

Go MIT 0 5 0 0 Updated Jul 8, 2020