Krastor Fuzz Core — Coverage-guided execution engine for Solana programs.
Architecture
Fuzzer::run_one_round()
├─ random_action() → pick random instruction + account params
├─ mutate_accounts() → Solana-aware directed mutations
├─ LiteSVM::execute() → deploy + construct + submit transaction
├─ check_invariants() → user-defined post-condition checks
└─ log_coverage() → (optional) coverage bitmap collection