mythril-classic - Mythril Classic: Security analysis tool for Ethereum smart contracts

  •        34

Mythril Classic is an open-source security analysis tool for Ethereum smart contracts. It uses concolic analysis, taint analysis and control flow checking to detect a variety of security vulnerabilities. If you a smart contract developer who wants convenience and comprehensive results, you should be using MythX, our next-gen smart contract security API that integrates with Truffle Framework and other development environments.

https://mythx.io/
https://github.com/ConsenSys/mythril-classic

Tags
Implementation
License
Platform

   




Related Projects

mythril - Security analysis tool for Ethereum smart contracts

  •    Python

Mythril is a security analysis tool for Ethereum smart contracts. It uses concolic analysis, taint analysis and control flow checking to detect a variety of security vulnerabilities. See the Wiki for more detailed instructions.

OpenZeppelin - A Framework to build secure smart contracts on Ethereum

  •    Javascript

OpenZeppelin is a library for writing secure Smart Contracts on Ethereum. With OpenZeppelin, you can build distributed applications, protocols and organizations. It is meant to provide secure, tested and audited code to enable the new generation of distributed applications, protocols and organizations. OpenZeppelin is a community effort to reduce the hurdle to develop and use them.

Solium - Linter to identify and fix style & security issues in Solidity

  •    Javascript

Solium analyzes your Solidity code for style & security issues and fixes them. To know which lint rules Solium applies for you, see Style rules and Security rules.

web3j - Connect Java and Android apps to the Ethereum blockchain

  •    Java

web3j is a lightweight, reactive, type safe Java and Android library for integrating with clients (nodes) on the Ethereum network. This allows you to work with the Ethereum blockchain, without the additional overhead of having to write your own integration code for the platform.


Solidity - The Solidity Contract-Oriented Programming Language

  •    C++

Solidity is a contract-oriented, high-level language for implementing smart contracts. It was influenced by C++, Python and JavaScript and is designed to target the Ethereum Virtual Machine (EVM). It is statically typed, supports inheritance, libraries and complex user-defined types among other features. With Solidity you can create contracts for uses such as voting, crowdfunding, blind auctions, and multi-signature wallets.

ethlance - Ethlance is the first job market platform built entirely on the Ethereum blockchain

  •    Clojure

Ethlance is the first job market platform written in ClojureScript and Solidity working completely on the Ethereum blockchain with 0% service fees. Ethereum Smart Contracts are at /resources/public/contracts/src.

porosity - *UNMAINTAINED* Decompiler and Security Analysis tool for Blockchain-based Ethereum Smart-Contracts

  •    C++

Ethereum is gaining a significant popularity in the blockchain community, mainly due to fact that it is design in a way that enables developers to write decentralized applications (Dapps) and smart-contract using blockchain technology. Ethereum blockchain is a consensus-based globally executed virtual machine, also referred as Ethereum Virtual Machine (EVM) by implemented its own micro-kernel supporting a handful number of instructions, its own stack, memory and storage. This enables the radical new concept of distributed applications.

ethereumbook - Mastering Ethereum, by Andreas M. Antonopoulos, Gavin Wood

  •    Javascript

Mastering Ethereum is a book for developers, offering a guide to the operation and use of the Ethereum, Ethereum Classic, RootStock (RSK) and other compatible EVM-based open blockchains. This repository contains the draft of the book, currently in progress, scheduled for publication in Q4'2018 by O'Reilly Media. The publication date has been delayed, unfortunately, due to some personal issues. Expect to see content developed and pushed here in Q1 and Q2 2018.

openzeppelin-solidity - OpenZeppelin is a library for secure smart contract development

  •    Javascript

OpenZeppelin is a library for secure smart contract development. It provides implementations of standards like ERC20 and ERC721 which you can deploy as-is or extend to suit your needs, as well as Solidity components to build custom contracts and more complex decentralized systems. To write your custom contracts, import ours and extend them through inheritance.

smart-contract-best-practices - A guide to smart contract security best practices

  •    HTML

Feel free to submit a pull request, with anything from small fixes, to full new sections. If you are writing new content, please reference the contributing page for guidance on style. See the issues for topics that need to be covered or updated. If you have an idea you'd like to discuss, please chat with us in Gitter.

manticore - Symbolic execution tool

  •    Python

Manticore is a symbolic execution tool for analysis of binaries and smart contracts. Manticore is supported on Linux and requires Python 2.7. Ubuntu 16.04 is strongly recommended. Ethereum smart contract analysis requires the solc program in your $PATH.

Truffle - The most popular Ethereum development framework

  •    Javascript

Truffle is the most popular development framework for Ethereum with a mission to make your life a whole lot easier.

augur-core - Augur back-end (Ethereum contracts)

  •    TypeScript

Smart contracts for Augur, a decentralized prediction market platform on the Ethereum blockchain. Note: on macOS, you need to use virtualenv or homebrew Python to work around System Integrity Protection.

BlockchainStore - :moneybag: Retail Store that runs on Ethereum

  •    TypeScript

It is written in Solidity and represents a retail store. It supports customer and product registrations. Every registered customer owns a shopping cart to collect products before checking out.

oyente - An Analysis Tool for Smart Contracts

  •    Javascript

A container with the dependencies set up can be found here. Open a web browser to http://localhost:3000 for the graphical interface.

Ethereum - Blockchain APP Platform

  •    Go

Ethereum is a  decentralized platform that runs smart contracts: applications that run exactly as programmed without any possibility of downtime, censorship, fraud or third party interference. These apps run on a custom built  blockchain, an enormously powerful shared global infrastructure that can move value around and represent the ownership of property. 

solgraph - Visualize Solidity control flow for smart contract security analysis

  •    Javascript

Generates a DOT graph that visualizes function control flow of a Solidity contract and highlights potential security vulnerabilities.

btcrelay - Ethereum contract for Bitcoin SPV: Live on https://etherscan

  •    Python

The address and ABI is all that's needed to use BTC Relay, in addition to the API documentation below.Verifies the presence of a transaction on the Bitcoin blockchain, primarily that the transaction is on Bitcoin's main chain and has at least 6 confirmations.

ethereum-api - Oraclize API for Ethereum smart contracts

  •    Solidity

Thanks to this Ethereum API helpers using Oraclize in your Solidity/Serpent code is very easy. In Solidity it is as simple as inheriting the usingOraclize contract: this will provide you some functions, like oraclize_query, which make it trivial to leverage our technology straight away.