Trail of Bits

Repositories

• manticore

  Symbolic execution tool

  python testing security emulation ethereum blockchain symbolic-execution
  Python AGPL-3.0 327 2,227 182 (20 issues need help) 14 Updated Mar 1, 2021

• osquery

  Forked from osquery/osquery

  SQL powered operating system instrumentation, monitoring, and analytics.
  C++ 2,112 5 0 1 Updated Mar 1, 2021

• cxx-common

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

  c-plus-plus
  60 packages CMake Apache-2.0 4 13 3 2 Updated Mar 1, 2021

• polytracker

  An LLVM-based instrumentation tool for universal taint analysis.
  C++ Apache-2.0 12 134 38 (2 issues need help) 1 Updated Mar 1, 2021

• mishegos

  A differential fuzzer for x86 decoders
  C Apache-2.0 17 125 6 (1 issue needs help) 1 Updated Mar 1, 2021

• graphtage

  A semantic diff utility and library for tree-like files such as JSON, JSON5, XML, HTML, YAML, and CSV.
  Python LGPL-3.0 24 1,580 13 (1 issue needs help) 1 Updated Mar 1, 2021

• cvedb

  CVE querying library and utility that uses a local store syncing directly to the National Vulnerability Database
  Python LGPL-3.0 0 4 0 0 Updated Feb 28, 2021

• 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 61 596 86 (17 issues need help) 8 Updated Feb 27, 2021

• polytracker-llvm

  Forked from llvm/llvm-project

  The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
  3,100 0 0 0 Updated Feb 23, 2021

• reverie

  An efficient and generalized 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 AGPL-3.0 0 33 3 2 Updated Feb 23, 2021

• siderophile

  Find the ideal fuzz targets in a Rust codebase

  rust fuzzing program-analysis security-testing
  Rust 8 96 11 (2 issues need help) 0 Updated Feb 23, 2021

• blight

  A framework for instrumenting build tools

  instrumentation build-tool build-system compiler-wrapper
  Python Apache-2.0 3 29 10 0 Updated Feb 22, 2021

• algo

  Set up a personal VPN in the cloud

  security ansible encryption ipsec vpn vpn-server vpn-client
  Python AGPL-3.0 1,744 20,209 80 (3 issues need help) 5 Updated Feb 17, 2021

• publications

  Publications from Trail of Bits

  conference-presentations academic-papers security-reviews
  Python CC-BY-SA-4.0 81 486 2 1 Updated Feb 16, 2021

• WoSCA
  0 1 0 0 Updated Feb 16, 2021

• winchecksec

  Checksec, but for Windows: static detection of security mitigations in executables

  windows security mitigations
  C++ Apache-2.0 52 369 11 (3 issues need help) 1 Updated Feb 15, 2021

• algo-ng

  Experimental version of Algo built on Terraform

  ipsec terraform vpn
  HCL AGPL-3.0 10 53 4 1 Updated Feb 13, 2021

• winchecksec-scan

  A GitHub Action for scanning binaries with Winchecksec
  Dockerfile Apache-2.0 0 1 0 0 Updated Feb 12, 2021

• pegoat

  A collection of Windows binary builds containing different security mitigations
  CMake Apache-2.0 0 2 0 0 Updated Feb 12, 2021

• warehouse

  Forked from pypa/warehouse

  The Python Package Repository
  Python Apache-2.0 760 0 0 3 Updated Feb 10, 2021

• tuf

  Forked from theupdateframework/tuf

  A framework for securing software update systems
  Python 176 0 0 1 Updated Feb 10, 2021

• 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 304 3 2 6 Updated Feb 8, 2021

• cb-multios

  DARPA Challenges Sets for Linux, Windows, and macOS

  test-suite vulnerabilities decree
  C MIT 87 413 18 (1 issue needs help) 3 Updated Feb 6, 2021

• nyc-infosec

  Mapping the NYC Infosec Community

  nyc meetup university conference calendar
  CSS 16 36 0 0 Updated Feb 4, 2021

• osquery-extensions

  osquery extensions by Trail of Bits

  security sql monitoring intrusion-detection osquery
  C Apache-2.0 21 180 16 (1 issue needs help) 1 Updated Feb 3, 2021

• 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 2 53 2 0 Updated Feb 3, 2021

• ebpf-common

  This object library contains code shared by ebpfpub and ebpfault

  tracing ebpf
  C++ Apache-2.0 1 5 0 0 Updated Feb 3, 2021

• SecureEnclaveCrypto

  Demonstration library for using the Secure Enclave on iOS

  macos swift secure-enclave-processor security ios apple crypto
  Swift Apache-2.0 32 250 3 1 Updated Feb 2, 2021

• vcpkg

  Forked from microsoft/vcpkg

  C++ Library Manager for Windows, Linux, and MacOS
  CMake 3,368 0 0 0 Updated Jan 31, 2021

• vscode

  Forked from microsoft/vscode

  Visual Studio Code
  TypeScript MIT 18,149 0 0 4 Updated Jan 28, 2021