Vulnerability discovery, repair & secure code generation
Building LLM agents that combine program analysis and execution to find and fix vulnerabilities in open-source software, checking each repair with exploit and functional tests, and making LLMs generate secure code in the first place.
Selected workTitanCA · Sifting the Noise · SeCuRepair · Vul4Py · SoR
