Trail of Bits

Repositories

• manticore

  Symbolic execution tool

  python testing security emulation ethereum blockchain symbolic-execution
  Python AGPL-3.0 282 1,942 150 (21 issues need help) 18 Updated May 25, 2020

• osquery

  Forked from osquery/osquery

  SQL powered operating system instrumentation, monitoring, and analytics.
  C++ 1,991 2 0 1 Updated May 24, 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

• winchecksec

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

  windows security mitigations
  C++ Apache-2.0 40 285 10 (2 issues need help) 0 Updated May 22, 2020

• algo

  Set up a personal VPN in the cloud

  security ansible encryption ipsec vpn vpn-server vpn-client
  Python AGPL-3.0 1,557 18,317 68 (4 issues need help) 4 Updated May 22, 2020

• windows-acl

  Rust crate to simplify Windows ACL operations

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

• graphtage

  A semantic diff utility and library for tree-like files such as JSON, XML, HTML, YAML, and CSV.
  Python LGPL-3.0 0 4 1 0 Updated May 21, 2020

• pyelftools

  Forked from eliben/pyelftools

  Parsing ELF and DWARF in Python
  Python 353 0 0 0 Updated May 21, 2020

• mishegos

  A differential fuzzer for x86 decoders
  C Apache-2.0 11 87 5 (2 issues need help) 0 Updated May 21, 2020

• polytracker

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

• siderophile

  Find the ideal fuzz targets in a Rust codebase

  rust fuzzing program-analysis security-testing
  Rust 6 80 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 39 280 25 (12 issues need help) 1 Updated May 16, 2020

• sinter

  100% user-mode event-driven macOS endpoint security agent in Swift

  macos swift security-agent
  Swift AGPL-3.0 0 4 35 0 Updated May 15, 2020

• vcpkg

  Forked from microsoft/vcpkg

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

• uthenticode

  A cross-platform library for verifying Authenticode signatures
  C++ MIT 0 6 5 (2 issues need help) 0 Updated May 14, 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 68 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

• 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 50 534 79 (16 issues need help) 9 Updated May 7, 2020

• osquery-extensions

  osquery extensions by Trail of Bits

  security sql monitoring intrusion-detection osquery
  C Apache-2.0 15 157 13 (1 issue needs help) 3 Updated May 6, 2020

• ruby-sslyze

  A Ruby interface to sslyze python utility.
  Ruby MIT 4 10 1 0 Updated May 6, 2020

• twa

  A tiny web auditor with strong opinions.

  security auditing web-security
  Shell MIT 39 533 4 (4 issues need help) 0 Updated Apr 29, 2020

• pe-parse

  Principled, lightweight C/C++ PE parser

  pe-format portable-executable
  C++ MIT 93 358 9 (2 issues need help) 0 Updated Apr 27, 2020

• WoSCA
  0 1 0 0 Updated Apr 27, 2020

• pyxed

  Forked from huku-/pyxed

  Python bindings for Intel's XED
  C BSD-2-Clause 8 0 0 0 Updated Apr 26, 2020

• publications

  Publications from Trail of Bits

  conference-presentations academic-papers security-reviews
  Python 66 390 2 1 Updated Apr 26, 2020

• pegoat

  A collection of Windows binary builds containing different security mitigations
  CMake 0 1 0 0 Updated Apr 25, 2020

• gosec

  Forked from securego/gosec

  Golang security checker
  Go Apache-2.0 244 6 1 0 Updated Apr 24, 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 81 10 0 Updated Apr 23, 2020

• nginx

  Forked from nginx/nginx

  An official read-only mirror of http://hg.nginx.org/nginx/ which is updated hourly. Pull requests on GitHub cannot be accepted and will be automatically closed. The proper way to submit changes to nginx is via the nginx development mailing list, see http://nginx.org/en/docs/contributing_changes.html
  C 4,457 0 0 0 Updated Apr 22, 2020

• gllvm

  Forked from SRI-CSL/gllvm

  Whole Program LLVM: wllvm ported to go
  Go BSD-3-Clause 12 1 1 1 Updated Apr 22, 2020