-
slither Public
Forked from crytic/slitherStatic Analyzer for Solidity
Python GNU Affero General Public License v3.0 UpdatedMar 25, 2023 -
mythril Public
Forked from Consensys/mythrilSecurity analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Roostock, Tron and other EVM-compatible blockchains.
Python MIT License UpdatedMar 21, 2023 -
Osiris Public
Forked from christoftorres/OsirisA tool to detect integer bugs in Ethereum smart contracts (ACSAC 2018).
UpdatedMar 7, 2023 -
oyente Public
Forked from enzymefinance/oyenteAn Analysis Tool for Smart Contracts
JavaScript GNU General Public License v3.0 UpdatedJan 19, 2023 -
Sigma_rules Public
Forked from Blue-infosec/Sigma_rulesRandom sigma rules to share with the community
UpdatedJan 11, 2023 -
rules Public
Forked from Yara-Rules/rulesRepository of yara rules
YARA GNU General Public License v2.0 UpdatedDec 10, 2022 -
de4dot Public
Forked from de4dot/de4dot.NET deobfuscator and unpacker.
C# GNU General Public License v3.0 UpdatedAug 29, 2020 -
etherscan_verified_contracts Public
Forked from thec00n/etherscan_verified_contractsVerified contracts synced from Etherscan
JavaScript UpdatedOct 19, 2018