Repository accompanying the ICSE'25 paper titled "Using Large Language Models for inferring Checked C annotations"
We are in the process of open sourcing the prompt templates and benchmarks used in our ICSE'25 paper. Watch this space for more updates.