Trail of Bits

Repositories

• 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

• osquery

  Forked from osquery/osquery

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

• polytracker

  An LLVM-based instrumentation tool for universal taint analysis.
  C++ Apache-2.0 6 99 28 (1 issue needs help) 0 Updated Jul 24, 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 24, 2020

• warehouse

  Forked from pypa/warehouse

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

• manticore

  Symbolic execution tool

  python testing security emulation ethereum blockchain symbolic-execution
  Python AGPL-3.0 290 1,984 175 (20 issues need help) 16 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,609 18,887 82 (4 issues need help) 6 Updated Jul 23, 2020

• canker

  A catch-all compile tool wrapper

  instrumentation build-tool build-system compiler-wrapper
  Python Apache-2.0 0 1 2 0 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

• mishegos

  A differential fuzzer for x86 decoders
  C Apache-2.0 14 100 6 (2 issues need help) 0 Updated Jul 21, 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 286 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 42 540 6 (5 issues need help) 0 Updated Jul 19, 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 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 17, 2020

• pygraphviz

  Forked from pygraphviz/pygraphviz

  Python interface to Graphviz graph drawing package
  C 164 0 0 0 Updated Jul 15, 2020

• publications

  Publications from Trail of Bits

  conference-presentations academic-papers security-reviews
  Python CC-BY-SA-4.0 72 412 2 1 Updated Jul 12, 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 6 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

• winchecksec

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

  windows security mitigations
  C++ Apache-2.0 47 329 12 (2 issues need help) 0 Updated Jul 7, 2020