Awesome Open Source

Programming Languages

Search results for ethereum static analysis

static-analysis x

12 search results found

Slither ⭐ 4,957

Static Analyzer for Solidity and Vyper

Slitherin ⭐ 313

Slither Detectors by Pessimistic.io

Wyvern V3 ⭐ 288

Wyvern Protocol v3.1, Ethereum implementation

Securify2 ⭐ 208

Securify ⭐ 168

[DEPRECATED] Security Scanner for Ethereum Smart Contracts

Ethereum Dasm ⭐ 75

An ethereum evm bytecode disassembler and static/dynamic analysis tool

Slither Vscode ⭐ 22

Visual Studio Code integration for Slither, a Solidity static analysis framework

Smartmuv ⭐ 12

An EVM-compatible Solidity Smart Contract Storage/Slot Analyzer and Data Extractor.

A static analyzer for Solidity, built upon regex and ASTs.

Solidity parser in Go, designed to transform Solidity code into a structured format for enhanced analysis, particularly beneficial for developers using Go to analyze Solidity smart contracts.

eBurger is a static analysis tool that provides a way to quickly query and analyze solidity smart contracts.

Solidity Static Analysis ⭐ 5

Static analysis for Solidity smart contract with properties as symbolic automata.

Related Searches

Javascript Ethereum (4,522)

Ethereum Contracts (3,750)

Blockchain Ethereum (3,483)

Ethereum Solidity (3,232)

Ethereum Bitcoin (1,734)

Ethereum Dapp (1,703)

Ethereum Smart Contracts (1,668)

Typescript Ethereum (1,444)

Python Ethereum (1,263)

Ethereum Truffle (1,243)

1-12 of 12 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.