Awesome Open Source

Programming Languages

Search results for smart contracts symbolic execution

smart-contracts x

symbolic-execution x

7 search results found

Mythril ⭐ 3,716

Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Rootstock, Tron and other EVM-compatible blockchains.

Manticore ⭐ 3,535

Symbolic execution tool

Monitor smart contracts deployed on blockchain and test against vulnerabilities with Mythril. It was presented at DEFCON 2019.

AI based fuzzer based on imitation learning

Optik is a set of symbolic execution tools that assist smart-contract fuzzers

A symbolic execution engine for EVM smart contract binaries

Ethereum Bytecode Analyzer ⭐ 5

Find contracts in the Ethereum blockchain, analyze its bytecode and filter by JSON custom rules

Related Searches

Ethereum Smart Contracts (1,838)

Solidity Smart Contracts (1,627)

Javascript Smart Contracts (1,406)

Blockchain Smart Contracts (1,380)

Smart Contracts Dapp (567)

Smart Contracts Truffle (524)

Token Smart Contracts (358)

Typescript Smart Contracts (308)

Smart Contracts Web3 (290)

Cryptocurrency Smart Contracts (218)

1-7 of 7 search results

Privacy | About | Terms | Follow Us On Twitter

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