solgraph - Visualize Solidity control flow for smart contract security analysis

  •        89

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

https://github.com/raineorshine/solgraph

Dependencies:

babel-cli : ^6.10.1
babel-preset-es2015 : ^6.9.0
babel-register : ^6.9.0
commander : *
get-stdin-promise : *
graphlib : ^2.1.0
graphlib-dot : ^0.6.2
solidity-parser : 0.3.0

Tags
Implementation
License
Platform

   




Related Projects

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

  •    Python

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.

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.

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.

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.

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.


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.

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.

dapple - EVM contract system developer multitool

  •    Javascript

Dapple is a Solidity developer multitool designed to manage the growing complexity of interconnected smart contract systems. These concepts are related in a way unique to the smart contract ecosystem, due to each blockchain's universal singleton nature.

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.

burrow - Hyperledger Burrow

  •    Go

Hyperledger Burrow is a permissioned Ethereum smart-contract blockchain node. It executes Ethereum EVM smart contract code (usually written in Solidity) on a permissioned virtual machine. Burrow provides transaction finality and high transaction throughput on a proof-of-stake Tendermint consensus engine. Project information generally updated on a quarterly basis can be found on the Hyperledger Burrow Wiki.

Tokens - Ethereum Token Contracts

  •    Javascript

This repo contains Solidity smart contract code for simple, standards-compliant tokens on Ethereum. Adhering to standards allows other contract developers to easily incorporate your token into their applications. The repo currently implements EIP20 tokens, and more may be added in the future.

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.

dappsys - Composable building blocks for Ethereum contracts

  •    Nix

Dappsys is a collection of building blocks for building smart contract systems. They are written in Solidity, but deployed objects can be linked to any language.

solidity-workshop - Educational material for Solidity. Complement to solidity.readthedocs.com

  •    

This is a resource for Solidity and Ethereum smart-contract programming. Currently under construction. It's a side project with no deadlines, or any form of plan. NOTE: Old code, i.e. code in articles that are more then a few months old, should not be considered to be correct. Solidity moves forward at a high pace. Don't use coding techniques from old articles.

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.

vue-ethereum-ipfs - Distributed Application Starter: Vue front-end, Ethereum / IPFS Backend

  •    Javascript

Example web3Service.js. This code demonstrates a contract factory pattern. For the full code see the web3Service.js file in the project.

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.

minime - Minimi Token. ERC20 compatible clonable token

  •    Javascript

Anybody can create a new clone token from any token using this contract with an initial distribution identical to the original token at a specified block. The address calling the createCloneToken function will become the token controller and the token's default settings can be specified in the function call. Once the clone token is created, it acts as a completely independent token, with it's own unique functionalities.