Understanding Programs by Exploiting (Fuzzing) Test Cases
About
Semantic understanding of programs has attracted great attention in the community. Inspired by recent successes of large language models (LLMs) in natural language understanding, tremendous progress has been made by treating programming language as another sort of natural language and training LLMs on corpora of program code. However, programs are essentially different from texts after all, in a sense that they are normally heavily structured and syntax-strict. In particular, programs and their basic units (i.e., functions and subroutines) are designed to demonstrate a variety of behaviors and/or provide possible outputs, given different inputs. The relationship between inputs and possible outputs/behaviors represents the functions/subroutines and profiles the program as a whole. Therefore, we propose to incorporate such a relationship into learning, for achieving a deeper semantic understanding of programs. To obtain inputs that are representative enough to trigger the execution of most part of the code, we resort to fuzz testing and propose fuzz tuning to boost the performance of program understanding and code representation learning, given a pre-trained LLM. The effectiveness of the proposed method is verified on two program understanding tasks including code clone detection and code classification, and it outperforms current state-of-the-arts by large margins. Code is available at https://github.com/rabbitjy/FuzzTuning.
Related benchmarks
| Task | Dataset | Result | Rank | |
|---|---|---|---|---|
| Clone Detection | POJ-104 CodeXGLUE (test) | MAP@R93.4 | 17 | |
| Code classification | CodeNet Java250 (test) | Error Rate1.56 | 7 | |
| Code classification | CodeNet Python800 (test) | Error Rate0.0128 | 7 | |
| Code classification | POJ104 (test) | Error Rate1.38 | 7 | |
| Clone Detection | CodeNet Java250 1.0 (test) | MAP@R86.74 | 6 | |
| Clone Detection | CodeNet Python800 1.0 (test) | MAP@R86.01 | 6 | |
| Clone Detection | CodeNet C++1000 1.0 (test) | MAP@R60.21 | 4 | |
| Code classification | CodeNet C++1000 (test) | Error Rate6.18 | 4 |