adelaide
Contract analyzer
An extension to the Solidity compiler for static analysis of smart contracts written in C++
The SECBIT Static Analysis Extension to Solidity Compiler
19 stars
9 watching
5 forks
Language: C++
last commit: over 7 years agoLinked from 3 awesome lists
compilersoliditystatic-analysis
offciercia/defi-developer-road-map
ahmet/awesome-web3Related projects:
| Repository | Description | Stars |
|---|---|---|
 eth-sri/securify2 | An automated security scanner for Ethereum smart contracts | 589 |
 chao-peng/sif | A framework to analyze and instrument Solidity smart contracts by parsing their abstract syntax trees (ASTs) and generating modified source code. | 50 |
| eth-sri/securify | A security scanner for Ethereum smart contracts | 219 |
 tintinweb/solgrep | A tool for finding and analyzing smart contracts in Solidity source code | 145 |
 sri-csl/solidity | An automated verifier for the Solidity programming language used in smart contracts on the Ethereum platform. | 50 |
 sc-forks/solidity-coverage | Tools and utilities to measure coverage of smart-contract code in Solidity programming language | 983 |
 ethereum/solc-js | A JavaScript interface to a compiler for the Solidity programming language used in Ethereum smart contracts. | 1,464 |
 consensys/solc-typed-ast | A tool for compiling and manipulating Solidity smart contract source code | 128 |
 naddison36/sol2uml | A tool for visualizing and analyzing Solidity contracts using Unified Modeling Language (UML) and blockchain explorer APIs. | 1,178 |
 aniket-engg/sol-profiler | Tool to visualize and review Solidity smart contract methods properties | 30 |
 lukehedger/sulk | A tool that automates the process of compiling Solidity smart contracts with configuration stored in separate files. | 9 |
 ericr/sol-function-profiler | A tool to analyze and report on the functions of Ethereum smart contracts written in Solidity. | 81 |
| sec-bit/tokenlibs-with-proofs | Verifies the correctness of Ethereum token contracts using formal methods and proof assistants. | 97 |
 nascentxyz/pyrometer | Analyzes security and parameters of Solidity smart contracts using symbolic execution, abstract interpretation, and static analysis | 682 |
 naivesystems/analyze | Automates code security and compliance analysis for C++ projects. | 177 |