Trail of Bits

Repositories

• manticore

  Symbolic execution tool

  python testing security emulation ethereum blockchain symbolic-execution
  Python AGPL-3.0 285 1,952 146 (21 issues need help) 15 Updated Jun 16, 2020

• sinter

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

  macos swift security-agent
  Swift AGPL-3.0 0 4 12 1 Updated Jun 16, 2020

• mishegos

  A differential fuzzer for x86 decoders
  C Apache-2.0 13 89 5 (2 issues need help) 0 Updated Jun 16, 2020

• osquery

  Forked from osquery/osquery

  SQL powered operating system instrumentation, monitoring, and analytics.
  C++ 2,009 2 0 1 Updated Jun 15, 2020

• polytracker

  An LLVM-based instrumentation tool for universal taint analysis.
  C++ Apache-2.0 6 94 28 (1 issue needs help) 0 Updated Jun 15, 2020

• empirehacking.nyc

  Empire Hacking NYC Meetup

  nyc security-meetup
  CSS 2 2 0 0 Updated Jun 11, 2020

• publications

  Publications from Trail of Bits

  conference-presentations academic-papers security-reviews
  Python CC-BY-SA-4.0 69 396 2 1 Updated Jun 11, 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 Jun 9, 2020

• cb-multios

  DARPA Challenges Sets for Linux, Windows, and macOS

  test-suite vulnerabilities decree
  C MIT 79 371 17 (1 issue needs help) 2 Updated Jun 9, 2020

• go-mutexasserts

  A small library that allows to check if Go mutexes are locked
  Go MIT 0 2 0 0 Updated Jun 8, 2020

• algo

  Set up a personal VPN in the cloud

  security ansible encryption ipsec vpn vpn-server vpn-client
  Python AGPL-3.0 1,577 18,477 71 (4 issues need help) 7 Updated Jun 8, 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 83 10 0 Updated Jun 5, 2020

• warehouse

  Forked from pypa/warehouse

  The Python Package Repository
  Python Apache-2.0 698 0 0 0 Updated Jun 3, 2020

• tuf

  Forked from theupdateframework/tuf

  A framework for securing software update systems
  Python 167 0 0 0 Updated Jun 1, 2020

• pyelftools

  Forked from eliben/pyelftools

  Parsing ELF and DWARF in Python
  Python 354 0 0 0 Updated Jun 1, 2020

• twa

  A tiny web auditor with strong opinions.

  security auditing web-security
  Shell MIT 41 535 4 (4 issues need help) 0 Updated May 31, 2020

• securesystemslib

  Forked from secure-systems-lab/securesystemslib

  Cryptographic and general-purpose routines for Secure Systems Lab projects at NYU
  Python MIT 20 0 0 0 Updated May 28, 2020

• nyc-infosec

  Mapping the NYC Infosec Community

  nyc meetup university conference calendar
  CSS 14 33 0 0 Updated May 27, 2020

• WoSCA
  0 2 0 0 Updated May 27, 2020

• winchecksec

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

  windows security mitigations
  C++ Apache-2.0 43 306 10 (2 issues need help) 0 Updated May 26, 2020

• pegoat

  A collection of Windows binary builds containing different security mitigations
  CMake 0 2 0 0 Updated May 26, 2020

• cxx-common

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

  c-plus-plus
  13 packages Python Apache-2.0 4 10 3 (1 issue needs help) 1 Updated May 23, 2020

• windows-acl

  Rust crate to simplify Windows ACL operations

  windows acl access-control
  Rust MIT 2 4 1 0 Updated May 22, 2020

• anselm

  Detect patterns of bad behavior in function calls
  C++ Apache-2.0 0 14 0 0 Updated May 20, 2020

• siderophile

  Find the ideal fuzz targets in a Rust codebase

  rust fuzzing program-analysis security-testing
  Rust 7 81 11 (2 issues need help) 0 Updated May 18, 2020

• tubertc

  Peer-to-Peer Video Chat for Corporate LANs

  video-conferencing video-chat web-rtc
  JavaScript MIT 42 280 25 (12 issues need help) 1 Updated May 16, 2020

• vcpkg

  Forked from microsoft/vcpkg

  C++ Library Manager for Windows, Linux, and MacOS
  CMake 2,513 0 0 0 Updated May 14, 2020

• uthenticode

  A cross-platform library for verifying Authenticode signatures
  C++ MIT 3 48 5 (2 issues need help) 0 Updated May 15, 2020

• constexpr-everything

  Rewrite C++ code to automatically apply `constexpr` where possible

  c-plus-plus quality llvm clang secur clang-ti
  C++ Apache-2.0 3 70 2 0 Updated May 14, 2020

• confidant

  Forked from lyft/confidant

  Confidant: your secret keeper.
  Python Apache-2.0 98 0 6 0 Updated May 7, 2020