ReFuzzer：基于反馈的方法以增强 LLM 生成的测试程序的有效性.pdfVIP

ReFuzzer：基于反馈的方法以增强LLM生成的测

试程序的有效性

1stItiShree2ndKarineEven-Mendoza3rdTomaszRadzik

King’sCollegeLondonKing’sCollegeLondonKing’sCollegeLondon

London,UnitedKingdomLondon,UnitedKingdomLondon,UnitedKingdom

iti.shree@kcl.ac.ukkarine.even_mendoza@kcl.ac.uktomasz.radzik@kcl.ac.uk

摘要—现有的基于大型语言模型的编译器模糊测试工具经测试静态无效代码是否存在错误编译（编译期间的静

常生成语法或语义上无效的测试程序，这限制了它们在测试编默错误，导致程序编译错误执行）是不可能的，因为此类

译器优化和后端组件方面的能力。我们介绍了ReFuzzer，这是程序根本无法编译，不会生成任何二进制文件