pyrometer

Rustpushed almost 2 years ago

A tool for analyzing the security and parameters of a solidity smart contract

AI summary

Contract Analyzer

Analyzes security and parameters of Solidity smart contracts using symbolic execution, abstract interpretation, and static analysis

stars: 682
forks: 55
watching: 19

View on GitHub

Similar projects

Found by comparing what the projects do, not just their names.

nascentxyz/simple-security-toolkit1.1K
Security toolkit
A collection of practical security-focused guides and checklists for smart contract development
chao-peng/sif50
Contract analyzer
A framework to analyze and instrument Solidity smart contracts by parsing their abstract syntax trees (ASTs) and generating modified source code.
crytic/tealer62
Contract Analyzer
A static analyzer tool for identifying vulnerabilities in smart contract code written in Teal
raineorshine/solgraph1K
Smart contract analyzer
A tool for visualizing control flow and security vulnerabilities in smart contracts written in Solidity
tintinweb/solgrep145
Contract analyzer
A tool for finding and analyzing smart contracts in Solidity source code
eth-sri/securify2589
Contract analyzer
An automated security scanner for Ethereum smart contracts
naddison36/sol2uml1.2K
Contract analyzer
A tool for visualizing and analyzing Solidity contracts using Unified Modeling Language (UML) and blockchain explorer APIs.
consensys/surya1.1K
Contract analyzer
A tool for visualizing and analyzing Solidity contract structures and function call graphs.
fuzzinglabs/thoth249
Smart contract analyzer
An all-in-one security toolkit for analyzing and decoding smart contract bytecode
crytic/caracal136
Contract analyzer
A tool for analyzing Starknet smart contracts written in Cairo for potential vulnerabilities and security issues
ericr/sol-function-profiler81
Contract analyzer
A tool to analyze and report on the functions of Ethereum smart contracts written in Solidity.
msuiche/porosity927
Smart contract analyzer
A tool for analyzing and decomposing Ethereum smart-contract bytecode into readable Solidity syntax
aniket-engg/sol-profiler30
Contract Inspector
Tool to visualize and review Solidity smart contract methods properties
abstractsdk/cw-orchestrator79
Contract interface generator
A tool for generating typed interfaces to CosmWasm smart contracts
eth-sri/securify219
Smart contract analyzer
A security scanner for Ethereum smart contracts