From Detection to Prevention: Explaining Security-Critical Code to Avoid Vulnerabilities

Ranjith Krishnamurthy, Oshando Johnson, Goran Piskachev, Eric Bodden. From Detection to Prevention: Explaining Security-Critical Code to Avoid Vulnerabilities. In Yaroslav Golubev, Danny Dig, Nikolaos Tsantalis, Katie Fraser, Mauricio Verano Merino, editors, Proceedings of the 3rd ACM/IEEE International Workshop on Integrated Development Environments, IDE 2026, Rio de Janeiro, Brazil, April 12-18, 2026. pages 46-49, ACM, 2026. [doi]

Abstract

Abstract is missing.