Capture Notes

Paper on agentic vulnerability detection through specification inference.

AI security relevance:

• Useful for AI for Security and autonomous code security analysis.
• Should be linked with SEC-bench, CyberGym, AgentCyberRange, and vulnerability-repair sources.