Papers by Xiangzhe Xu
Sanitizing Large Language Models in Bug Detection with Data-Flow (2024.findings-emnlp)
Copied to clipboard
| Challenge: | Large language models (LLMs) have potential in code reasoning tasks but the hallucination effect can compromise the reliability of bug reports. |
| Approach: | They propose a new schema of bug detection that enforces LLMs to emit data-flow paths in few-shot chain-of-thought prompting and validates them via the program-property decomposition. |
| Outcome: | The proposed approach achieves 91.03% precision and 74.00% recall upon synthetic benchmarks and boosts precision by 21.99% with the sanitization. |