{"repo":"eth-sri/securify2","free":true,"listed":false,"github":"https://github.com/eth-sri/securify2","clone":"git clone https://github.com/eth-sri/securify2.git","description":"Securify v2.0","language":"Solidity","stars":636,"topics":["ethereum","solidity","static-analysis","datalog","security","smart-contract","vulnerability"],"license":"Apache-2.0","category":"blockchain-web3","readme_excerpt":"Securify v2.0 === Securify 2.0 is a security scanner for Ethereum smart contracts supported by the Ethereum Foundation and ChainSecurity. The core research behind Securify was conducted at the Secure, Reliable, and Intelligent Systems Lab at ETH Zurich. It is the successor of the popular Securify security scanner (you can find the old version here). Features === - Supports 37 vulnerabilities (see table below) - Implements novel context-sensitive static analysis written in Datalog - Analyzes contracts written in Solidity = 0.5.8 Docker === To build the container: To run the container: Note: to run the code via Docker with a Solidity version that is different than 0.5.12 , you will need to modify the variable ARG SOLC=0.5.12 at the top of the Dockerfile to point to your version. After building with the correct version, you should not run into errors. Install === Prerequisites The following instructions assume that a Python is already installed. In addition to that, Securify requires solc , souffle and graphviz to be installed on the system: Solc Souffle Follow the instructions here: https://souffle-lang.github.io/download.html Please do not opt for the unstable version since it might break at any point. Graphviz / Dot Setting up the virtual environment After the prerequisites have been installed, we can set up the python virtual environment from which we will run the scripts in this project. In the project's root folder, execute the following commands to set up and activate the","default_branch":null,"files":null,"tree":[],"storefront":"/r/eth-sri","claimed":false,"request_supported":{"post":"https://gitbuyer.com/r/eth-sri/securify2/request-supported","requests":0},"note":"indexed from public GitHub; nothing is for sale on this page. Clone it from GitHub. Paid listings live at /search."}