VerifiedIDA | Making LLM-Driven Reverse Engineering Inspectable, Continuable and Reusable

Summary

A new standard and its open-source IDA Pro implementation, called VerifiedIDA, aim to keep LLM-driven reverse engineering inspectable. They tie annotations to evidence so that analysis can be continued and reused.