JCoffee: Using Compiler Feedback to Make Partial Code Snippets Compilable | IEEE Conference Publication | IEEE Xplore

JCoffee: Using Compiler Feedback to Make Partial Code Snippets Compilable


Abstract:

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 ...Show More

Abstract:

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/O4h2gn2Qls.
Date of Conference: 28 September 2020 - 02 October 2020
Date Added to IEEE Xplore: 02 November 2020
ISBN Information:

ISSN Information:

Conference Location: Adelaide, SA, Australia

Contact IEEE to Subscribe

References

References is not available for this document.