Ackee-Blockchain/trident

Fuzzing framework for Solana smart contracts with manually-guided testing, flow-based sequences, and property-based validation