2 papers
cs.PL2026
NESA: Relational Neuro-Symbolic Static Program Analysis
Chengpeng Wang, Yifei Gao, Wuqi Zhang +5
Static program analysis plays an essential role in program optimization, bug detection, and debugging. However, reliance on compilation and limited customization hinder its adoptio…
cs.PL2024
LLMDFA: Analyzing Dataflow in Code with Large Language Models
Chengpeng Wang, Wuqi Zhang, Zian Su +3
Dataflow analysis is a fundamental code analysis technique that identifies dependencies between program values. Traditional approaches typically necessitate successful compilation…