smartbugs / smartbugs

SmartBugs: A Framework to Analyze Ethereum Smart Contracts

https://smartbugs.github.io/

smartbugs/smartbugs Issues

`smartbugs.json` not written if parsing of results fails
Closed 22 days ago2
SmartBugs script does not handle spaces in file names very well
Closed 3 months ago2
error when run mythril in docker
Closed 3 months ago2
About the using SmartBugs as a Python module
Closed 6 months ago2
Vulnerability of every smart contract
Closed 6 months ago1
Questions related to SWC
Closed 9 months ago4
docker issue
Closed 10 months ago2
Is Securify2 supported by SmartBugs now?
Updated 10 months ago4
Add Windows Support
Closed 10 months ago1
Contract flattening
Closed a year ago6
Broken links in wiki
Closed a year ago1
Running on contracts with external dependencies
Updated a year ago17
Some questions about 'errors' in the result.csv
Closed a year ago4
Incorrect path?
Closed a year ago11
Prompts at run time
Closed a year ago4
Nonzero exit code issue when running slither.
Closed a year ago2
Replace solcx by solc-select
Updated a year ago
Exception is thrown when fields in findings.yaml are missing
Closed a year ago3
Smartbugs fails to detect version when it's defined in less than 3 parts
Closed a year ago3
Issue running manticore and madmax on bytecode
Closed 2 years ago2
Use Local Memory Type Variable Instead of Global Storage Type Variable in Event to Save Gas
Closed 2 years ago3
Docker Images
Closed 2 years ago1
Exception is thrown when specified output is not found in container
Closed a year ago1
Cannot get solc, where should I install the compiler
Closed a year ago2
Smartbugs on Windows does not run
Closed a year ago3
exec: "/sb/bin/do_solidity": permission denied: unknown"
Closed a year ago1
Mythril bytecode analysis: deployment vs runtime code
Closed a year ago4
Problem about dataset annotation
Closed 2 years ago1
No compiler found for file 'dataset/reentrancy/
Closed 2 years ago2
Questions about datasets
Closed 2 years ago4
All I get is errors!
Closed 2 years ago2
install instructions not working or unclear.
Closed 2 years ago5
Child processes not terminating after error
Closed 2 years ago1
"NameError: name 'logs' is not defined" for MacOS
Closed 2 years ago18
WARNING:root:You are using solc version 0.7.6. The supported version is 0.4.21.
Closed 2 years ago2
Docker: Internal Server Error qspprotocol/securify-usolc i/o timeout
Closed 2 years ago2
Dockerhub will remove images that are not downloaded once per month
Closed 2 years ago5
Discussion: use a wrapper to provide multiple solc versions
Closed 2 years ago2
Keeping Docker images more agnostic about their use?
Closed 2 years ago1
analysis of bytecode does not report timeout
Closed 2 years ago
Maian: new docker image uses solc 0.5.10, fails with old datasets
Closed 2 years ago1
[Clarification] Getting exception when trying to execute "Maian" via smartbug
Closed 2 years ago5
Maian analysis of source code broken with docker image solc4.25 7d2c0333607f: geth connection timeout
Closed 2 years ago4
Maian code analysis broken with docker image solc5.10 f3a41de8aeb3: 'float' object cannot be interpreted as an integer
Closed 2 years ago4
Traceback (most recent call last): File "smartBugs.py", line 13, in <module> from src.docker_api.docker_api import analyse_files ModuleNotFoundError: No module named 'src.docker_api'
Closed 2 years ago2
Maian HTTP error
Closed 2 years ago1
cpu clock vs wall clock
Closed 2 years ago1
During handling of the above exception, another exception occurred
Closed 2 years ago1
No matching distribution found for pandas==1.2.3
Closed 2 years ago1
Please ignore/delete, wrong repo
Closed 2 years ago1