<h3>About Codigo</h3><a target="_blank" rel="noopener noreferrer nofollow" href="http://Codigo.ai">Codigo.ai</a> 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:<ul><li style="color: rgb(0, 0, 0)">Intermediate to advanced Solana and Rust knowledge</li><li style="color: rgb(0, 0, 0)">Good understanding of Solana vulnerabilities</li><li style="color: rgb(0, 0, 0)">Audit experience is a plus</li></ul>

Verification of AI-Generated Vulnerability Reports for Solana Rust Code