Pinned repositories

  1. mcsema

    Framework for lifting x86, amd64, and aarch64 program binaries to LLVM bitcode

    Python 1.1k 180

  2. manticore

    Symbolic execution tool

    Python 1.4k 204

  3. deepstate

    A unit test-like interface for fuzzing and symbolic execution

    C 237 19

  4. algo

    Set up a personal IPSEC VPN in the cloud

    Python 10.9k 903

  5. cb-multios

    DARPA Challenges Sets for Linux, Windows, and macOS

    C 266 54

  6. slither

    Static Analyzer for Solidity

    Python 84 11

  • Symbolic execution tool

    Python 1,353 204 AGPL-3.0 30 issues need help Updated Oct 22, 2018
  • Ethereum Virtual Machine (EVM) disassembler and assembler

    Python 31 6 Apache-2.0 Updated Oct 22, 2018
  • Static Analyzer for Solidity

    Python 84 11 AGPL-3.0 10 issues need help Updated Oct 22, 2018
  • Framework for lifting x86, amd64, and aarch64 program binaries to LLVM bitcode

    Python 1,138 180 Apache-2.0 6 issues need help Updated Oct 21, 2018
  • Ethereum fuzz testing framework

    Haskell 249 36 AGPL-3.0 4 issues need help Updated Oct 20, 2018
  • Trail of Bits osquery Extensions

    C 88 5 Apache-2.0 Updated Oct 20, 2018
  • Set up a personal IPSEC VPN in the cloud

    Python 10,887 903 MIT 1 issue needs help Updated Oct 20, 2018
  • Simplify Ethereum security analysis and testing

    Python 2 AGPL-3.0 Updated Oct 20, 2018
  • A tiny web auditor with strong opinions.

    Shell 404 29 MIT 1 issue needs help Updated Oct 20, 2018
  • SQL powered operating system instrumentation, monitoring, and analytics.

    C++ 3 1,580 Updated Oct 19, 2018
  • Library for lifting of x86, amd64, and aarch64 machine code to LLVM bitcode

    C++ 245 39 Apache-2.0 8 issues need help Updated Oct 19, 2018
  • A curated list of awesome Ethereum security references

    110 16 CC-BY-4.0 Updated Oct 19, 2018
  • fcd

    Forked from zneak/fcd

    An optimizing decompiler (modified to use remill semantics)

    C++ 21 48 Updated Oct 19, 2018
  • Experimental version of Algo built on Terraform

    HCL 15 5 Updated Oct 19, 2018
  • Publications from Trail of Bits

    HTML 219 43 Updated Oct 17, 2018
  • Checksec, but for Windows

    C++ 111 12 Apache-2.0 4 issues need help Updated Oct 17, 2018
  • Examples of Solidity security issues

    Solidity 393 65 Apache-2.0 Updated Oct 17, 2018
  • Principled, lightweight C/C++ PE parser

    C++ 231 66 MIT Updated Oct 16, 2018
  • Generate McSema ABI libraries from Header Files

    C++ Updated Oct 15, 2018
  • EVM dissassembler

    Python 179 27 AGPL-3.0 2 issues need help Updated Oct 15, 2018
  • Dynamic Instrumentation Tool Platform

    C 1 215 Updated Oct 12, 2018
  • Empire Hacking NYC Meetup

    CSS 2 Updated Oct 11, 2018
  • Directory of security contacts for blockchain companies

    32 10 CC-BY-4.0 Updated Oct 11, 2018
  • Ethereum opcodes and instruction reference

    145 19 Apache-2.0 Updated Oct 10, 2018
  • Mapping the NYC Infosec Community

    CSS 25 9 Updated Oct 4, 2018
  • Ruby DMARC Parser

    Ruby 17 6 MIT Updated Oct 3, 2018
  • A unit test-like interface for fuzzing and symbolic execution

    C 237 19 Apache-2.0 7 issues need help Updated Sep 30, 2018
  • Safely execute an arbitrary x86 instruction

    C++ 28 3 Apache-2.0 Updated Sep 28, 2018
  • DARPA Challenges Sets for Linux, Windows, and macOS

    C 266 54 MIT Updated Sep 28, 2018
  • Rust crate to simplify Windows ACL operations

    Rust 1 2 MIT Updated Sep 25, 2018