Expert guide for verification engineers on auditing AI-generated code. Includes detailed security checklists, SAST integration strategies, and vulnerability patterns.