[ 💻 Clarity VM ] General fuzz testing

[obycode]

The clar2wasm library needs to handle any random Clarity coming in from users (although it has passed through the parser and analysis passes before reaching here). It should be hardened to handle whatever comes in, handling errors gracefully.

[smcclellan]

@moodmosaic Would you be able to work on this one, or add input on the approach?

[moodmosaic]

Thanks @smcclellan, we have been doing this for a while, finding issues and fixing them. Some of the issues we found are

• Error in as-max-len? #300
• Check argument counts for user-defined functions #352
• Wrong handling of overflows in stdlib.pow-int #356
• dae33ab

and a few others that I can't remember off the top of my head. /cc @obycode

[smcclellan]

@moodmosaic Can this issue be closed then, if fuzz testing is already in place & helping to find issues? Or is there an improvement that this ticket could track?

[moodmosaic]

@smcclellan, yes, this issue can be closed.