28 citations · 51 across the 9 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.PL2023★ 15 cited
LPR: Large Language Models-Aided Program Reduction
Mengxiao Zhang, Yongqiang Tian, Zhenyang Xu +3
Program reduction is a prevalent technique to facilitate compilers' debugging by automatically minimizing bug-triggering programs. Existing program reduction techniques are either…
cs.CR2023★ 28 cited
Harnessing the Power of LLM to Support Binary Taint Analysis
Puzhuo Liu, Chengnian Sun, Yaowen Zheng +8
This paper proposes LATTE, the first static binary taint analysis that is powered by a large language model (LLM). LATTE is superior to the state of the art (e.g., Emtaint, Arbiter…