Trail of Bits

Repositories

• algo

  Set up a personal VPN in the cloud

  security ansible encryption ipsec vpn vpn-server vpn-client
  Python AGPL-3.0 1,826 21,134 94 (3 issues need help) 13 Updated Jul 26, 2021

• MUI

  A GUI plugin for Binary Ninja to easily interact with and view the progress of Manticore
  Python 1 2 13 0 Updated Jul 26, 2021

• manticore

  Symbolic execution tool

  python testing security emulation ethereum blockchain symbolic-execution
  Python AGPL-3.0 353 2,393 201 (20 issues need help) 19 Updated Jul 26, 2021

• mishegos

  A differential fuzzer for x86 decoders
  C Apache-2.0 22 152 6 (1 issue needs help) 1 Updated Jul 26, 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 1 39 3 3 Updated Jul 26, 2021

• test-fuzz

  To make fuzzing Rust easy
  Rust 1 5 4 2 Updated Jul 26, 2021

• llvm-sanitizer-tutorial

  An LLVM sanitizer tutorial

  tutorial llvm llvm-sanitizer
  C++ 17 150 0 1 Updated Jul 25, 2021

• polytracker

  An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.

  llvm instrumentation taint-analysis dataflow-analysis taint-tracking
  C Apache-2.0 21 212 41 (2 issues need help) 0 Updated Jul 23, 2021

• empirehacking.nyc

  Empire Hacking NYC Meetup

  nyc security-meetup
  CSS 4 3 0 0 Updated Jul 23, 2021

• tubertc

  Peer-to-Peer Video Chat for Corporate LANs

  video-conferencing video-chat web-rtc
  JavaScript MIT 56 326 26 (12 issues need help) 0 Updated Jul 21, 2021

• mcircuit

  A library of types for working with arithmetic circuits
  Rust 0 0 0 1 Updated Jul 21, 2021

• polytracker-llvm

  Forked from llvm/llvm-project

  This is a fork of the LLVM compiler toolchain with modifications to allow PolyTracker to add universal taint propagation, data flow, and control flow analysis instrumentation to arbitrary programs. See https://github.com/trailofbits/polytracker
  3,785 0 0 0 Updated Jul 21, 2021

• publications

  Publications from Trail of Bits

  conference-presentations academic-papers security-reviews
  Python CC-BY-SA-4.0 82 537 2 3 Updated Jul 20, 2021

• osquery

  Forked from osquery/osquery

  SQL powered operating system instrumentation, monitoring, and analytics.
  C++ 2,186 10 0 1 Updated Jul 19, 2021

• PrivacyRaven

  Privacy Testing for Deep Learning

  python machine-learning privacy deep-learning model-extraction privacy-enhancing-technologies model-inversion
  Python Apache-2.0 7 72 28 (6 issues need help) 2 Updated Jul 18, 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 33 2,014 15 (1 issue needs help) 0 Updated Jul 15, 2021

• siderophile

  Find the ideal fuzz targets in a Rust codebase

  rust fuzzing program-analysis security-testing
  Rust 8 103 11 (2 issues need help) 4 Updated Jul 15, 2021

• AppJailLauncher

  CTF Challenge Framework for Windows 8 and above

  ctf ctf-challenges security-ctf
  C++ MIT 17 124 6 0 Updated Jul 14, 2021

• appjaillauncher-rs

  AppJailLauncher in Rust

  windows rust sandbox appcontainer
  Rust MIT 14 90 2 0 Updated Jul 14, 2021

• fickling

  A Python pickling decompiler and static analyzer
  Python LGPL-3.0 9 69 0 0 Updated Jul 14, 2021

• dylint

  A tool for running Rust lints from dynamic libraries
  Rust 3 68 8 0 Updated Jul 13, 2021

• blight

  A framework for instrumenting build tools

  instrumentation build-tool build-system compiler-wrapper
  Python Apache-2.0 3 32 12 1 Updated Jul 13, 2021

• semgrep-rules

  Semgrep queries developed by Trail of Bits.
  4 82 0 0 Updated Jul 10, 2021

• molasses

  A Rust implementation of the Message Layer Security group messaging protocol

  mls group-messaging message-layer-security
  Rust 8 105 1 (1 issue needs help) 1 Updated Jun 25, 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 4 61 2 0 Updated Jun 23, 2021

• ebpf-common

  This object library contains code shared by ebpfpub and ebpfault

  tracing ebpf
  C++ Apache-2.0 1 6 0 0 Updated Jun 23, 2021

• dylint-template

  "Blank slate" Dylint library
  Shell 1 3 0 0 Updated Jun 22, 2021

• krf

  A kernelspace syscall interceptor and randomized faulter

  freebsd linux-kernel syscalls fault-injection
  C GPL-3.0 21 295 10 (4 issues need help) 0 Updated Jun 16, 2021

• vcpkg

  Forked from microsoft/vcpkg

  C++ Library Manager for Windows, Linux, and MacOS
  CMake 3,817 0 0 0 Updated Jun 16, 2021

• vscode

  Forked from microsoft/vscode

  Visual Studio Code
  TypeScript MIT 19,503 0 0 14 Updated Jun 12, 2021