论文标题

JCOFFEE:使用编译器反馈使部分代码段可编译

JCoffee: Using Compiler Feedback to Make Partial Code Snippets Compilable

论文作者

Gupta, Piyush, Mehrotra, Nikita, Purandare, Rahul

论文摘要

通常,静态程序分析工具通常仅使用程序源代码的一小部分,因为整个程序的不可用,或者缺乏分析完整代码的需求。这使得使用需要完整且键入的中间表示(IR)的静态分析工具具有挑战性。我们提出JCOFFEE,该工具通过模拟周围代码缺失的存在,利用编译器反馈将部分Java程序转换为其可编译的工具。它可以与任何良好的代码段(类,功能,甚至是未封闭的语句)一起使用,同时对输入代码片段进行最小的更改。该工具的演示可在此处提供:https://youtu.be/o4h2g_n2qls

Static program analysis tools are often required to work with only a small part of a program's source code, either due to the unavailability of the entire program or the lack of need to analyze the complete code. This makes it challenging to use static analysis tools that require a complete and typed intermediate representation (IR). We present JCoffee, a tool that leverages compiler feedback to convert partial Java programs into their compilable counterparts by simulating the presence of missing surrounding code. It works with any well-typed code snippet (class, function, or even an unenclosed group of statements) while making minimal changes to the input code fragment. A demo of the tool is available here: https://youtu.be/O4h2g_n2Qls

扫码加入交流群

加入微信交流群

微信交流群二维码

扫码加入学术交流群,获取更多资源