Trail of Bits

Repositories

• mishegos

  A differential fuzzer for x86 decoders
  C Apache-2.0 15 105 7 (2 issues need help) 1 Updated Sep 16, 2020

• cxx-common

  Common dependency management for various Trail of Bits C++ codebases

  c-plus-plus
  13 packages Python Apache-2.0 4 12 3 (1 issue needs help) 0 Updated Sep 15, 2020

• reverie

  An efficient implementation of the IKOS-style KKW proof system (https://eprint.iacr.org/2018/475) for arbitrary rings.

  cryptography crypto rust-lang zk nizk zkproof-prover blake3
  Rust 0 0 0 0 Updated Sep 15, 2020

• siderophile

  Find the ideal fuzz targets in a Rust codebase

  rust fuzzing program-analysis security-testing
  Rust 7 87 13 (2 issues need help) 5 Updated Sep 15, 2020

• polytracker

  An LLVM-based instrumentation tool for universal taint analysis.
  C++ Apache-2.0 9 106 32 (2 issues need help) 0 Updated Sep 15, 2020

• manticore

  Symbolic execution tool

  python testing security emulation ethereum blockchain symbolic-execution
  Python AGPL-3.0 298 2,075 176 (20 issues need help) 11 Updated Sep 14, 2020

• twa

  A tiny web auditor with strong opinions.

  security auditing web-security
  Shell MIT 45 543 6 (6 issues need help) 0 Updated Sep 13, 2020

• vscode

  Forked from microsoft/vscode

  Visual Studio Code
  TypeScript MIT 16,311 0 0 2 Updated Sep 13, 2020

• osquery

  Forked from osquery/osquery

  SQL powered operating system instrumentation, monitoring, and analytics.
  C++ 2,049 3 0 1 Updated Sep 11, 2020

• tubertc

  Peer-to-Peer Video Chat for Corporate LANs

  video-conferencing video-chat web-rtc
  JavaScript MIT 44 290 25 (12 issues need help) 1 Updated Sep 11, 2020

• psf-tuf-runbook

  A WIP runbook for the PSF, for TUF key setup and initial signing operations
  Rust 0 3 2 0 Updated Sep 11, 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 98 11 0 Updated Sep 9, 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 6 320 11 (2 issues need help) 0 Updated Sep 9, 2020

• PrivacyRaven

  Privacy Testing for Deep Learning

  python machine-learning privacy deep-learning privacy-enhancing-technologies privacy-preserving-machine-learning
  Python Apache-2.0 1 3 13 (1 issue needs help) 0 Updated Sep 9, 2020

• publications

  Publications from Trail of Bits

  conference-presentations academic-papers security-reviews
  Python CC-BY-SA-4.0 76 434 2 1 Updated Sep 9, 2020

• querycon

  The website for QueryCon 2019
  JavaScript MIT 0 0 0 5 Updated Sep 7, 2020

• algo

  Set up a personal VPN in the cloud

  security ansible encryption ipsec vpn vpn-server vpn-client
  Python AGPL-3.0 1,644 19,197 70 (3 issues need help) 3 Updated Sep 5, 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 Sep 2, 2020

• ebpf-common

  This object library contains code shared by ebpfpub and ebpfault

  tracing ebpf
  C++ Apache-2.0 0 5 0 0 Updated Sep 2, 2020

• molasses

  A Rust implementation of the Message Layer Security group messaging protocol

  mls group-messaging message-layer-security
  Rust 8 90 0 1 Updated Sep 1, 2020

• mc-ansible

  Ansible playbooks for deploying Manticore
  Python 0 1 0 0 Updated Aug 28, 2020

• sinter

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

  macos swift security-agent
  Swift AGPL-3.0 9 182 19 3 Updated Aug 27, 2020

• crytic-demo

  Forked from crytic/crytic-demo

  Demo code base for Crytic
  Solidity 2 0 0 0 Updated Aug 26, 2020

• warehouse

  Forked from pypa/warehouse

  The Python Package Repository
  Python Apache-2.0 727 0 0 1 Updated Aug 26, 2020

• slither-cloud-action

  A GitHub Action for running Slither in the cloud
  Dockerfile 0 0 0 0 Updated Aug 25, 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 56 562 82 (17 issues need help) 9 Updated Aug 25, 2020

• blight

  A catch-all compile tool wrapper

  instrumentation build-tool build-system compiler-wrapper
  Python Apache-2.0 0 2 3 0 Updated Aug 25, 2020

• rust-pkcs11

  Forked from mheese/rust-pkcs11

  Rust PKCS#11 Library
  Rust Apache-2.0 21 0 0 0 Updated Aug 24, 2020

• empirehacking.nyc

  Empire Hacking NYC Meetup

  nyc security-meetup
  CSS 3 4 0 0 Updated Aug 12, 2020

• mimid

  Forked from vrthra/mimid

  Replication package for Mining Input Grammars From Dynamic Control Flow
  Python 3 0 0 0 Updated Aug 11, 2020