Issues

• mutate plan: no mutant for a guard that logs with msg! before returning, or for a verify_*()? call

  psyto/solinv#25 · Filter by author psyto opened on Nov 15, 2026

• native/Anchor warning: name the binding when an unsigned account is checked through a CPI

  psyto/solinv#24 · Filter by author psyto opened on Nov 14, 2026

• diff: a check rewritten through a local variable is reported as removed

  psyto/solinv#23 · Filter by author psyto opened on Nov 9, 2026

• idl: init PDA keyed only by an unsigned account, authority taken by any signer

  psyto/solinv#19 · Filter by author psyto opened on Nov 6, 2026

• idl: membership entry PDA seeded without the gating authority's account

  psyto/solinv#18 · Filter by author psyto opened on Nov 6, 2026
  1

• diff: checks moved into a helper the handler calls are reported as removed

  psyto/solinv#17 · Filter by author psyto opened on Nov 6, 2026
  3

• Guards cannot compare a 32-byte field (a pubkey) or an account's own key

  psyto/solinv#16 · Filter by author psyto opened on Nov 5, 2026

• Critical checks pass silently when a spec's untampered call fails

  psyto/solinv#14 · Filter by author psyto opened on Nov 4, 2026