← Search

Wuqi Zhang

2 accepted papers

2024

LLMDFA: Analyzing Dataflow in Code with Large Language Models

NeurIPS 2024poster

Dataflow analysis is a fundamental code analysis technique that identifies dependencies between program values. Traditional approaches typically necessitate successful compilation and expert customization, hindering their applicability and usability for analyzing uncompilable programs with evolving…

2024

Sanitizing Large Language Models in Bug Detection with Data-Flow

EMNLP 2024finding

Large language models (LLMs) show potential in code reasoning tasks, facilitating the customization of detecting bugs in software development. However, the hallucination effect can significantly compromise the reliability of bug reports. This work formulates a new schema of bug detection and present…