利用代理式人工智能系统在代码审查中揭示威胁模型，并发现安全需求与实现之间的差距。