Consensys Diligence

All

96 repositories

sol-dbg
Public
Solidity source debugger built around EthereumJS
Solidity
•
Apache License 2.0
•3•25•14•2•Updated Jun 24, 2025Jun 24, 2025
mythril
Public
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.
security ethereum smart-contracts blockchain symbolic-execution solidity program-analysis security-analysis
Python
•
MIT License
•773•4k•112•5•Updated Jun 9, 2025Jun 9, 2025
sol-datalog
Public
An encoding from the solc-typed-ast into datalog
TypeScript
•
Apache License 2.0
•2•1•7•1•Updated Jun 3, 2025Jun 3, 2025
solc-fuzz
Public
TypeScript
•
Apache License 2.0
•0•1•0•2•Updated May 29, 2025May 29, 2025
souffle.ts
Public
Wrapper library around the Souffle Datalog Language
TypeScript
•
Apache License 2.0
•0•1•4•1•Updated May 1, 2025May 1, 2025
sol-fuzz
Public
TypeScript
•
Apache License 2.0
•0•1•0•1•Updated Apr 30, 2025Apr 30, 2025
scribble
Public
Scribble instrumentation tool
ethereum smart-contracts solidity scribble language
TypeScript
•
Apache License 2.0
•30•329•14•1•Updated Apr 29, 2025Apr 29, 2025
solc-typed-ast
Public
A TypeScript package providing a normalized typed Solidity AST along with the utilities necessary to generate the AST (from Solc) and traverse/manipulate it.
solidity typescript ast
TypeScript
•
Apache License 2.0
•25•131•11•1•Updated Apr 29, 2025Apr 29, 2025
sol2maruir
Public
Library (and tool) for transpiling Solidity programs to Maru IR
Solidity
•
Apache License 2.0
•1•0•10•0•Updated Apr 29, 2025Apr 29, 2025
maru-ir2
Public
TypeScript
•
Apache License 2.0
•0•0•0•2•Updated Apr 29, 2025Apr 29, 2025
defi-fuzzing-toolbox
Public
Small TypeScript library allowing easy local deployment of some common defi components
Solidity
•
Apache License 2.0
•1•1•0•1•Updated Apr 29, 2025Apr 29, 2025
vscode-solidity-metrics
Public
Generate Solidity Source Code Metrics, Complexity and Risk profile reports for your project.
JavaScript
•
MIT License
•6•51•5•4•Updated Apr 21, 2025Apr 21, 2025
diligence-fuzzing
Public
Python
•
Other
•10•39•5•3•Updated Apr 7, 2025Apr 7, 2025
smart-contract-best-practices
Public
A guide to smart contract security best practices
security documentation ethereum smart-contracts blockchain solidity
HTML
•1.5k•7.6k•17•20•Updated Mar 28, 2025Mar 28, 2025
evmc-eof
Public
C++
•
Apache License 2.0
•0•0•0•0•Updated Jan 14, 2025Jan 14, 2025
daedaluzz
Public
Benchmark Generator for Smart-Contract Fuzzers
benchmarking ethereum fuzzing
Solidity
•
Apache License 2.0
•12•138•0•0•Updated Dec 10, 2024Dec 10, 2024
vscode-ethover
Public
Ethereum Account Address Hover Info and Actions
ethereum address vscode hover vscode-extension
JavaScript
•
MIT License
•8•45•5•1•Updated Dec 9, 2024Dec 9, 2024
solidity-metrics
Public
Solidity Code Metrics
JavaScript
•34•269•4•3•Updated Nov 28, 2024Nov 28, 2024
armlet
Public
a MythX API client wrapper
JavaScript
•
MIT License
•7•17•12•0•Updated Sep 26, 2024Sep 26, 2024
surya
Public
A set of utilities for exploring Solidity contracts
JavaScript
•
Apache License 2.0
•125•1.1k•4•4•Updated Sep 10, 2024Sep 10, 2024
mythril-trace-explorer
Public
TypeScript
•2•7•1•1•Updated Jun 24, 2024Jun 24, 2024
pythx
Public
A Python library for the MythX smart contract security analysis platform
security smart-contracts solidity security-scanner mythx
Python
•
MIT License
•9•33•4•7•Updated Jun 24, 2024Jun 24, 2024
python-solidity-parser
Public
An experimental Solidity parser for Python built on top of a robust ANTLR4 grammar 📚
antlr python3 solidity python parser
Python
•39•147•5•3•Updated Jun 24, 2024Jun 24, 2024
scribble-exercise-1
Public
Solidity
•
MIT License
•34•20•2•6•Updated Jun 24, 2024Jun 24, 2024
vscode-solidity-auditor
Public
Solidity language support and visual security auditor for Visual Studio Code
security vscode solidity vscode-extension vscode-theme vscode-language
JavaScript
•
GNU General Public License v3.0
•63•594•32•5•Updated Jun 24, 2024Jun 24, 2024
mythxjs
Public
TypeScript
•
MIT License
•8•29•1•22•Updated Jun 24, 2024Jun 24, 2024
scribble-getting-started
Public
Repository with the files for the getting started guide of Scribble
Solidity
•3•4•0•1•Updated Jun 24, 2024Jun 24, 2024
secureum-diligence-bootcamp
Public
Solidity
•4•37•0•1•Updated Jun 24, 2024Jun 24, 2024
bytecode-verifier
Public
Compile Solidity source code and verify its bytecode matches the blockchain
bytecode ethereum smart-contracts solidity evm verifier
JavaScript
•28•89•4•26•Updated Jun 24, 2024Jun 24, 2024
aragraph
Public
Visualize your Aragon DAO Templates
ethereum blockchain dao organizations aragon security-tools
JavaScript
•
MIT License
•10•29•0•17•Updated Jun 24, 2024Jun 24, 2024