Verification of AI-Generated Vulnerability Reports for Solana Rust Code

About Codigo

Codigo.ai is transforming smart contract development by instantly generating production-ready, secure boilerplate code and stubs, complete client libraries, web-based documentation, and a vast array of test case templates. It supports Native Rust, Anchor, and Solana's latest functionalities, including State Compression.

Tasks:

Examine the AI-generated vulnerability report, which includes descriptions of potential vulnerabilities, associated line numbers in the Rust code, and additional context provided by the model, and complete a checklist indicating the findings of the examination.

Expected Outcomes:

The examination checklist for each of the vulnerabilities. (We will be providing this checklist).

Skills Required:

• Intermediate to advanced Solana and Rust knowledge

• Good understanding of Solana vulnerabilities

• Audit experience is a plus