ChrisTimperley / RepairChain

AIxCC: automated vulnerability repair via LLMs, search, and static analysis
Apache License 2.0
3 stars 0 forks source link

Template branch #40

Closed clegoues closed 2 months ago

clegoues commented 2 months ago

These won't actually work, yet, because they rely on replacements turning into diffs. But, implemented accordingly and I believe appropriately, with calls to kaskara that should probably be smell checked (along with everything else). @rubengmartins I added a new prompt for bounds check that you could check for me. Also, I have a question to you about the stuff we get back from the LLM --- one line, or many? I'm not sure if this will work if we get many lines back, which I expect we'll want, for new bounds checks.