SIF
Contract analyzer
A framework to analyze and instrument Solidity smart contracts by parsing their abstract syntax trees (ASTs) and generating modified source code.
Solidity code instrumentation and analysis framework.
50 stars
3 watching
11 forks
Language: C++
last commit: over 4 years ago
Linked from 1 awesome list
bkrem/awesome-solidityRelated projects:
| Repository | Description | Stars |
|---|---|---|
 naddison36/sol2uml | A tool for visualizing and analyzing Solidity contracts using Unified Modeling Language (UML) and blockchain explorer APIs. | 1,178 |
 sec-bit/adelaide | An extension to the Solidity compiler for static analysis of smart contracts written in C++ | 19 |
 nascentxyz/pyrometer | Analyzes security and parameters of Solidity smart contracts using symbolic execution, abstract interpretation, and static analysis | 682 |
 tintinweb/solgrep | A tool for finding and analyzing smart contracts in Solidity source code | 145 |
 consensys/surya | A tool for visualizing and analyzing Solidity contract structures and function call graphs. | 1,104 |
 eth-sri/securify2 | An automated security scanner for Ethereum smart contracts | 589 |
 ericr/sol-function-profiler | A tool to analyze and report on the functions of Ethereum smart contracts written in Solidity. | 81 |
 raineorshine/solgraph | A tool for visualizing control flow and security vulnerabilities in smart contracts written in Solidity | 1,019 |
 aniket-engg/sol-profiler | Tool to visualize and review Solidity smart contract methods properties | 30 |
 crytic/tealer | A static analyzer tool for identifying vulnerabilities in smart contract code written in Teal | 62 |
 sri-csl/solidity | An automated verifier for the Solidity programming language used in smart contracts on the Ethereum platform. | 50 |
 fuzzinglabs/thoth | An all-in-one security toolkit for analyzing and decoding smart contract bytecode | 249 |
 msuiche/porosity | A tool for analyzing and decomposing Ethereum smart-contract bytecode into readable Solidity syntax | 927 |
| consensys/solc-typed-ast | A tool for compiling and manipulating Solidity smart contract source code | 128 |
 flatt-security/shisho | A tool that analyzes code for security vulnerabilities and provides feedback to developers | 369 |