The source code can be downloaded here.
Installation Instructions: (MacOs/Linux)
If you haven’t installed NodeJS yet, run the following commands
# Install solcjs npm i -g solc
II. Install aflsol
npm i -g aflsol
1. How to fuzz
- Create Project folder
cd [your_project_folder] # create 2 folders: contracts and testcases under[your_project_folder] aflsol init
- Copy .abi and .bin file of your contract to contracts/ folder.
- Run fuzz in your project folder, for example: your abi file name is
cd [your_project_folder] aflsol fuzz fuzzer.abi 600 # 600 is duration in seconds
You should see some thing like this in your console:
2. Aflsol important options
aflsol –help: display all options supported in aflsol.
aflsol init: create working folders for aflsol.
aflsol fuzz [abi file] [duration in second]