Merge pull request #130 from valory-xyz/vote_weighting_fuzzing

Vote weighting fuzzing
valory-xyz · May 13, 2024 · a494b43 · a494b43
2 parents 39af7cd + 14cab96
commit a494b43
Show file tree

Hide file tree

Showing 17 changed files with 6,671 additions and 247 deletions.
diff --git a/abis/0.8.23/VoteWeighting.json b/abis/0.8.23/VoteWeighting.json
diff --git a/audits/internal11/fuzzing/README.md b/audits/internal11/fuzzing/README.md
@@ -0,0 +1,18 @@
+# Fuzzing VoteWeighting
+
+## Prepare contracts for fuzzing
+contracts/test/VoteWeightingFuzzing.sol <br>
+contracts/test/EchidnaVoteWeightingAssert.sol <br> 
+
+## Fuzzing
+```sh
+# Move the script to the root of the project
+cp start_echidna.sh ../../../
+# Move config file to the root of the project
+cp echidna_assert.yaml ../../../
+cd ../../../
+# Run 
+./start_echidna.sh
+```
+result overflow: [fuzzing-overflow.PNG](fuzzing-overflow.PNG) <br>
+result assert: [fuzzing-assert.PNG](fuzzing-assert.PNG)
diff --git a/audits/internal11/fuzzing/corpusEchidna/covered.1713373564.html b/audits/internal11/fuzzing/corpusEchidna/covered.1713373564.html
diff --git a/audits/internal11/fuzzing/corpusEchidna/covered.1713373572.html b/audits/internal11/fuzzing/corpusEchidna/covered.1713373572.html
diff --git a/audits/internal11/fuzzing/crytic-export/combined_solc.json b/audits/internal11/fuzzing/crytic-export/combined_solc.json
diff --git a/audits/internal11/fuzzing/echidna_assert.yaml b/audits/internal11/fuzzing/echidna_assert.yaml
@@ -0,0 +1,10 @@
+#testMode: overflow
+testMode: assertion
+coverage: true
+corpusDir: corpusEchidna
+coverageFormats: ["html"]
+# maxBlockDelay: 12
+# provide solc remappings to crytic-compile
+# https://www.justinsilver.com/technology/programming/slither-echidna-remappings/
+cryticArgs: ['--solc-remaps', '@=node_modules/@']
+
diff --git a/audits/internal11/fuzzing/echidna_overflow.yaml b/audits/internal11/fuzzing/echidna_overflow.yaml
@@ -0,0 +1,10 @@
+testMode: overflow
+#testMode: assertion
+coverage: true
+corpusDir: corpusEchidna
+coverageFormats: ["html"]
+# maxBlockDelay: 12
+# provide solc remappings to crytic-compile
+# https://www.justinsilver.com/technology/programming/slither-echidna-remappings/
+cryticArgs: ['--solc-remaps', '@=node_modules/@']
+
diff --git a/audits/internal11/fuzzing/fuzzing-assert.PNG b/audits/internal11/fuzzing/fuzzing-assert.PNG
diff --git a/audits/internal11/fuzzing/fuzzing-overflow.PNG b/audits/internal11/fuzzing/fuzzing-overflow.PNG
diff --git a/audits/internal11/fuzzing/start_echidna.sh b/audits/internal11/fuzzing/start_echidna.sh
@@ -0,0 +1,4 @@
+#!/bin/bash
+
+rm -rf corpusEchidna/
+echidna contracts/test/EchidnaVoteWeightingAssert.sol --contract EchidnaVoteWeightingAssert --config echidna_assert.yaml