MF0-ANT1SHY
Follow
-
-
heimdall-rs Public
Forked from Jon-Becker/heimdall-rsHeimdall is an advanced EVM smart contract toolkit specializing in bytecode analysis and extracting information from unverified contracts.
Rust MIT License UpdatedDec 9, 2024 -
gigahorse-toolchain Public
Forked from nevillegrech/gigahorse-toolchainA binary lifter and analysis framework for Ethereum smart contracts
HTML Other UpdatedNov 30, 2024 -
-
solc-DApp Public
Forked from MingxiYe/solc-DAppA developing compiler for dApp
Solidity UpdatedNov 15, 2024 -
ReentrancyStudy-Data Public
Forked from InPlusLab/ReentrancyStudy-DataSolidity Apache License 2.0 UpdatedNov 13, 2024 -
AChecker Public
Forked from DependableSystemsLab/ACheckerAChecker (Access Control Checker) is an automated static analysis tool for detecting access control vulnerabilities in smart contracts.
Python MIT License UpdatedNov 13, 2024 -
-
smartbugs Public
Forked from smartbugs/smartbugsSmartBugs: A Framework to Analyze Ethereum Smart Contracts
Python Apache License 2.0 UpdatedNov 7, 2024 -
slither Public
Forked from crytic/slitherStatic Analyzer for Solidity and Vyper
Python GNU Affero General Public License v3.0 UpdatedNov 7, 2024 -
-
mythril Public
Forked from Consensys/mythrilSecurity analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Rootstock, Tron and other EVM-compatible blockchains.
Python MIT License UpdatedOct 14, 2024 -
code2prompt Public
Forked from mufeedvh/code2promptA CLI tool to convert your codebase into a single LLM prompt with source tree, prompt templating, and token counting.
Rust MIT License UpdatedSep 27, 2024 -
-
smartbugs-curated Public
Forked from smartbugs/smartbugs-curatedSB Curated is a curated dataset of Solidity smart contracts annotated with tagged vulnerabilities. The dataset was created to evaluate the accuracy of automated analysis tools.
Solidity Apache License 2.0 UpdatedSep 3, 2024 -
-
2024-08-axelar-network Public
Forked from code-423n4/2024-08-axelar-networkRust UpdatedAug 10, 2024 -
gh2md Public
Forked from mattduck/gh2mdExport Github repository issues, pull requests and comments to markdown.
Python MIT License UpdatedAug 4, 2024 -
2024-07-loopfi Public
Forked from code-423n4/2024-07-loopfiSolidity MIT License UpdatedJul 31, 2024 -
cgt Public
Forked from gsalzer/cgtConsolidated Ground Truth (CGT) for Weaknesses of Ethereum Smart Contracts
Solidity MIT License UpdatedJul 18, 2024 -
eTainter Public
Forked from DependableSystemsLab/eTaintereTainter is an automated static taint analysis tool for detecting gas-related vulnerabilities in smart contracts.
Python Other UpdatedJul 5, 2024 -
MadMax Public
Forked from nevillegrech/MadMaxEthereum Static Vulnerability Detector for Gas-Focussed Vulnerabilities
BSD 3-Clause "New" or "Revised" License UpdatedJul 5, 2024 -
DAppSCAN Public
Forked from InPlusLab/DAppSCANDAppSCAN: Building Large-Scale Datasets for Smart Contract Weaknesses in DApp Projects.
Solidity UpdatedJun 27, 2024 -
Nyx Public
Forked from Troublor/NyxNyx: Detecting Exploitable Front-Running Vulnerabilities in Smart Contracts
Python UpdatedMay 11, 2024 -
-
jackal Public
Forked from ucsb-seclab/jackalConfusum Contractum: Confused Deputy Vulnerabilities in Ethereum Smart Contracts
Python UpdatedJan 24, 2024 -
amis-editor-demo Public
Forked from aisuda/amis-editor-demoamis 可视化编辑器示例 https://aisuda.github.io/amis-editor-demo
TypeScript UpdatedJan 11, 2024 -
-
smart-contract-downloader Public
Forked from andstor/smart-contract-downloader💾 Download smart contracts from etherscan.io
Python MIT License UpdatedNov 9, 2023 -
fabric-iot Public
Forked from newham/fabric-iotfabric-iot is a Blockchain Based Decentralized Access Control System in IoT
Shell UpdatedOct 2, 2023