smartbugs/smartbugs

SmartBugs: A Framework to Analyze Ethereum Smart Contracts

PythonShellNixDockerfileethereumblockchainsolidityvulnerability
This is stars and forks stats for /smartbugs/smartbugs repository. As of 04 May, 2024 this repository has 480 stars and 119 forks.

SmartBugs: A Framework for Analysing Ethereum Smart Contracts SmartBugs is an extensible platform with a uniform interface to tools that analyse blockchain programs for weaknesses and other properties. Features 19 supported tools, 3 modes for analysing Solidity source code, deployment bytecode, and runtime code. A modular approach to integrating analysers. All it takes to add a new tool is a Docker image encapsulating the tool and a few lines in a config file. To make the output accessible in a standardised format,...
Read on GithubGithub Stats Page
repotechsstarsweeklyforksweekly
masaun/NFT-based-photo-marketplaceSolidityJavaScriptSCSS19201170
gadepall/AI1110TeXCPython0020
matcom/thesisTeXShellBatchfile230400
serverless-stack/sstTypeScriptJavaScriptCSS17.9k01.5k0
labring/lafTypeScriptJavaScriptSmarty5.8k05420
vlang/vslVCShell2890380
zhp8341/flink-streaming-platform-webJavaVueJavaScript1.7k06660
NVIDIA/FasterTransformerC++CudaCMake4.7k08070
vercel/serveTypeScriptHTMLJavaScript8.9k07190
LeaVerou/color.jsJavaScriptHTMLCSS1.6k0670