Retrofitting Code Using LLMs to Support Exceptional Behavior
EXCODER combines static/dynamic analysis with LLMs to retrofit exception-handling code, achieving 85.92% pass@1 with Qwen 2.5 Coder 32B on Java benchmarks.
Stories per day · 30 days
1 RSS
3 stories, newest first · one card per story
Stories tagged #program-analysis
The Security Feature Location Problem
Researchers formalize security feature location, mapping code regions to security features like authentication and encryption to audit implementations.
I accidentally turned LLM memory into program analysis
A pwning.systems write-up describes how LLM memory functionality was unexpectedly repurposed into a program analysis technique.