https://github.com/ConsenSysDiligence/smart-contract-best-practices

A guide to smart contract security best practices

blockchain documentation ethereum security smart-contracts solidity

Last synced: 30 Mar 2025

https://github.com/consensysdiligence/smart-contract-best-practices

A guide to smart contract security best practices

blockchain documentation ethereum security smart-contracts solidity

Last synced: 23 Apr 2025

https://github.com/consensysdiligence/mythril

Mythril is a symbolic-execution-based securty analysis tool for EVM bytecode. It detects security vulnerabilities in smart contracts built for Ethereum and other EVM-compatible blockchains.

blockchain ethereum program-analysis security security-analysis smart-contracts solidity symbolic-execution

Last synced: 13 May 2025

https://github.com/ConsenSys/mythril-classic

Mythril is a symbolic-execution-based securty analysis tool for EVM bytecode. It detects security vulnerabilities in smart contracts built for Ethereum and other EVM-compatible blockchains.

blockchain ethereum program-analysis security security-analysis smart-contracts solidity symbolic-execution

Last synced: 07 May 2025

https://github.com/ConsenSysDiligence/mythril

Mythril is a symbolic-execution-based securty analysis tool for EVM bytecode. It detects security vulnerabilities in smart contracts built for Ethereum and other EVM-compatible blockchains.

blockchain ethereum program-analysis security security-analysis smart-contracts solidity symbolic-execution

Last synced: 30 Mar 2025

https://github.com/consensysdiligence/scribble

Scribble instrumentation tool

ethereum language scribble smart-contracts solidity

Last synced: 16 May 2025

https://github.com/ConsenSysDiligence/scribble

Scribble instrumentation tool

ethereum language scribble smart-contracts solidity

Last synced: 09 May 2025

https://github.com/consensysdiligence/python-solidity-parser

An experimental Solidity parser for Python built on top of a robust ANTLR4 grammar 📚

antlr parser python python3 solidity

Last synced: 22 Apr 2025

https://github.com/consensysdiligence/solc-typed-ast

A TypeScript package providing a normalized typed Solidity AST along with the utilities necessary to generate the AST (from Solc) and traverse/manipulate it.

ast solidity typescript

Last synced: 04 Apr 2025

https://github.com/ConsenSysDiligence/solc-typed-ast

A TypeScript package providing a normalized typed Solidity AST along with the utilities necessary to generate the AST (from Solc) and traverse/manipulate it.

ast solidity typescript

Last synced: 12 May 2025

https://github.com/ConsenSysDiligence/truffle-security

MythX smart contract security verification plugin for Truffle Framework

Last synced: 28 Apr 2025

https://github.com/ConsenSys/truffle-security

MythX smart contract security verification plugin for Truffle Framework

Last synced: 30 Apr 2025

https://github.com/ConsenSysDiligence/evm-analyzer-benchmark-suite

A benchmark suite for evaluating the precision of EVM code analysis tools.

Last synced: 11 May 2025