adelaide
by sec-bit
The SECBIT Static Analysis Extension to Solidity Compiler
AI summary
Contract analyzer
An extension to the Solidity compiler for static analysis of smart contracts written in C++
- stars
- 19
- forks
- 5
- watching
- 9
- awesome lists
- 3
Similar projects
Found by comparing what the projects do, not just their names.
Contract analyzer
An automated security scanner for Ethereum smart contracts
Contract analyzer
A framework to analyze and instrument Solidity smart contracts by parsing their abstract syntax trees (ASTs) and generating modified source code.
Smart contract analyzer
A security scanner for Ethereum smart contracts
Contract analyzer
A tool for finding and analyzing smart contracts in Solidity source code
Contract verifier
An automated verifier for the Solidity programming language used in smart contracts on the Ethereum platform.
Contract coverage tool
Tools and utilities to measure coverage of smart-contract code in Solidity programming language
ethereum/solc-js1.5K
Contract compiler
A JavaScript interface to a compiler for the Solidity programming language used in Ethereum smart contracts.
Contract compiler
A tool for compiling and manipulating Solidity smart contract source code
Contract analyzer
A tool for visualizing and analyzing Solidity contracts using Unified Modeling Language (UML) and blockchain explorer APIs.
Contract Inspector
Tool to visualize and review Solidity smart contract methods properties
Contract compiler
A tool that automates the process of compiling Solidity smart contracts with configuration stored in separate files.
Contract analyzer
A tool to analyze and report on the functions of Ethereum smart contracts written in Solidity.
Token contract verifier
Verifies the correctness of Ethereum token contracts using formal methods and proof assistants.
Contract Analyzer
Analyzes security and parameters of Solidity smart contracts using symbolic execution, abstract interpretation, and static analysis
Code analyzer
Automates code security and compliance analysis for C++ projects.
Featured in 3 awesome lists
Each link jumps to the spot where the list mentions adelaide.
