✨ Fuzzer framework core, macros, helpers, templates, and examples. #111

Ikrk · 2024-01-12T16:38:07Z

Fuzzer framework core:

It automatically parses your Anchor-based programs and generates required implementations to deserialize instruction accounts.
It generates templates that you will complete according to your desired fuzz test behavior.
It provides several derive macros to implement required traits automatically.
It provides a bank client and helper functions to handle accounts.
It provides a CLI to run and debug the fuzz tests.

* 🧪 add fuzz_example1 * 🧪 added fuzz_example0, this is copy of 'fuzzer' example but with the new structure * ✅ work on example0 * ✅ working on example1 * ✅ added fresh example2 * ✅ fuzz test for example2 * ✅ slightly different fuz test for fuzz example 1 * ✅ added fuzz example3 - escrow with bad math * ✅ fuzz test for fuzz example3 * 🚀 added check for register Subject and added initial problem description * ✅ add crashes for both checks * ✅ fuzz example 0 in progress * 📝 readme updates * 📝 example1 small readme update * ✅ small program update * 📝 readme + added fuzzer output * ✅ minor program example updates * ✅ remove unnecessary coments , add few notes , add new withdraw check * ✅ add crash files * 📝 add readme template * 🐛 update program code and fix accounts snapshot * 📝 add readme + crash file * 🙈 gitignore * ✅ remove unnecessary code + update fuzz test check * ✅ add crashes * 📝 initial readme * 📝 readme update + minor code update * 📝 the final check part * 📝 code format * 📝 better grammar and spelling * 📝 better grammar and spelling * 📝 better grammar and spelling * 📝 link to uncomment check * 🚧 todo find crash file for the todo check * 🔥 removed incorrect check from withdraw + update readme * ✏️ fix fuzz_example0 - Update readme and rename fuzzer to fuzz_example0 * ✏️ fix fuzz_example2 comments * ✏️ fixes for fuzz_example3 - remove unnecessary code parts * ✏️ fix fuzz_example3 - remove check for Invest function, update Readme * Fixed snapshot deserialization * Removed unused imports * Rebase fixes * 🧪 added fuzz_example0, this is copy of 'fuzzer' example but with the new structure * ✅ work on example0 * ✅ working on example1 * ✅ added fresh example2 * ✅ fuzz test for example2 * ✅ slightly different fuz test for fuzz example 1 * ✅ added fuzz example3 - escrow with bad math * ✅ fuzz test for fuzz example3 * 🚀 added check for register Subject and added initial problem description * ✅ add crashes for both checks * ✅ fuzz example 0 in progress * 📝 readme updates * 📝 example1 small readme update * ✅ small program update * 📝 readme + added fuzzer output * ✅ minor program example updates * ✅ remove unnecessary coments , add few notes , add new withdraw check * ✅ add crash files * 📝 add readme template * 🐛 update program code and fix accounts snapshot * 📝 add readme + crash file * 🙈 gitignore * ✅ remove unnecessary code + update fuzz test check * ✅ add crashes * 📝 initial readme * 📝 readme update + minor code update * 📝 the final check part * 📝 code format * 📝 better grammar and spelling * 📝 better grammar and spelling * 📝 better grammar and spelling * 📝 link to uncomment check * 🚧 todo find crash file for the todo check * 🔥 removed incorrect check from withdraw + update readme * ✏️ fix fuzz_example0 - Update readme and rename fuzzer to fuzz_example0 * ✏️ fix fuzz_example2 comments * ✏️ fixes for fuzz_example3 - remove unnecessary code parts * ✏️ fix fuzz_example3 - remove check for Invest function, update Readme * 🎨 cargo fmt * 🎨 clippy allow too many arguments --------- Co-authored-by: lukacan <andrej@DESKTOP-UME2160.localdomain> Co-authored-by: Ikrk <ikrk@centrum.cz>

…sh files as they were not crashing

Ikrk and others added 27 commits November 8, 2023 10:26

🚧 Initial fuzz instructions generator implementation

c4bb465

Backup of WIP

cc2d354

Code made more generic. Added new exports to fuzzing module.

dea03a2

Fuzzer must generate at least one instruction in the ixs vector.

02b76b6

Implemented IntoIterator for FuzzData.

743a421

Fuzzer moved to separate folder

7d6dacd

fuzz_instructions.rs code generator

586513e

generic fuzzer runtime and fuzz data builder

5e63a75

ProgramTest blocking client

6695f7a

Fuzzing feature gated dependencies

c67d6bc

Added Snapshots

9fbf0fc

Added accounts storage

3663f46

Added instructions display derive macro

e04ed0f

Added fuzz accounts deserialize derive macro

b28f598

Added fuzz test executor derive macro

1ab5260

New fuzz target template

940335e

Snapshots generator WIP

b2f5ff5

Snapshots generator and fixed use statements

acd3974

Snapshots fields made public. Minor reformating.

333052d

Fuzzer example 1

89b43ea

✅ added fuzz test for fuzz example2

c0fd7b2

Fuzzer example 2 withdraw ix closes account. Better accounts handling.

09f794d

Added fuzzer documentation.

5b460f0

Fixed snapshot deserialization

3ab0bec

Removed unused imports

82ac6bb

Updated examples and limitations.

b561cce

Ikrk requested a review from lukacan January 12, 2024 16:38

lukacan added 2 commits January 12, 2024 19:38

🔥 removed fuzzer example as it was using old framework + replaced cra…

5d0f00d

…sh files as they were not crashing

📝 fix inconsistency inside readme of example3

787aeff

lukacan approved these changes Jan 12, 2024

View reviewed changes

lukacan merged commit 19b3f55 into develop Jan 12, 2024
7 checks passed

lukacan deleted the fuzz-instructions-generator branch February 14, 2024 12:57

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

✨ Fuzzer framework core, macros, helpers, templates, and examples. #111

✨ Fuzzer framework core, macros, helpers, templates, and examples. #111

Ikrk commented Jan 12, 2024

✨ Fuzzer framework core, macros, helpers, templates, and examples. #111

✨ Fuzzer framework core, macros, helpers, templates, and examples. #111

Conversation

Ikrk commented Jan 12, 2024