norhh

maniple

pyr_benchmark_wrangling

mythril

Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Rootstock, Tron and other EVM-compatible blockchains.

Rete

Trident-TSE

modus

A language for building Docker/OCI container images

PyBoy

Game Boy emulator written in Python

scribble

Scribble instrumentation tool

mythos

CLI client for the MythX API

truffle-security

MythX smart contract security verification plugin for Truffle Framework

angelix

Semantic program repair system for C programs

angr-z3

The Z3 Theorem Prover - repository for staging python distributions

llvm

Project moved to: https://github.com/llvm/llvm-project

infer

A static analyzer for Java, C, C++, and Objective-C

scrooge-mcetherface

Scrooge McEtherface is an Ethereum auto-looter that was presented at DEFCON 2019. It uses symbolic execution & SMT solving to generically generate exploit sequences that extract ETH from vulnerable smart contracts.

security-workshop-for-devs

Secure smart contract development workshop hosted by ConsenSys Diligence and MythX.

shard

Security analysis tool - Light Mythril Platform

ethereum-dasm

An ethereum evm bytecode disassembler and static/dynamic analysis tool

SWC-registry

Smart Contract Weakness Classification and Test Cases

smashing-smart-contracts

Compiled writings on EVM smart contracts security analysis.

leveldb

LevelDB is a fast key-value storage library written at Google that provides an ordered mapping from string keys to string values.

z3

The Z3 Theorem Prover

laser-ethereum

Symbolic virtual machine for Ethereum

ethereum-org

[ARCHIVED] ethereum.org website from 2016-2019. See https://github.com/ethereum/ethereum-org-website for current version.

vim-solidity

Vim syntax file for solidity