DeCsmith, an automatic generation tool of equivalent program

Zan Chen; Liyao Wang; Lei Liu; Peng Zhang

doi:10.1117/12.2683172

26 June 2023 DeCsmith, an automatic generation tool of equivalent program

Zan Chen, Liyao Wang, Lei Liu, Peng Zhang

Proceedings Volume 12714, International Conference on Computer Network Security and Software Engineering (CNSSE 2023); 127140D (2023) https://doi.org/10.1117/12.2683172
Event: Third International Conference on Computer Network Security and Software Engineering (CNSSE 2023), 2023, Sanya, China

Abstract

Compilers play a very important role in the development of software. More and more researchers are studying how to improve the reliability of compilers. An effective method is to test the compiler with equivalent programs to check whether the running results of equivalent programs are still equivalent after being compiled by the compiler. Generating equivalent program sets is the key to solve this problem. This paper proposes an equivalent program generation tool DeCsmith, which is based on the development of Csmith. Through the equivalence relationship, the program generated by Csmith is equivalently changed, and the equivalent program set is automatically generated. The effectiveness of the method is verified by an example. The work of this paper is beneficial to saving human resources in compiler testing and improving the efficiency of testing compilers.

Citation Download Citation

Zan Chen, Liyao Wang, Lei Liu, and Peng Zhang "DeCsmith, an automatic generation tool of equivalent program", Proc. SPIE 12714, International Conference on Computer Network Security and Software Engineering (CNSSE 2023), 127140D (26 June 2023); https://doi.org/10.1117/12.2683172

ACCESS THE FULL ARTICLE

INSTITUTIONAL
Select your institution to access the SPIE Digital Library.

SELECT YOUR INSTITUTION

PERSONAL
Sign in with your SPIE account to access your personal subscriptions or to use specific features such as save to my library, sign up for alerts, save searches, etc.

PERSONAL SIGN IN

No SPIE Account? Create one

PURCHASE THIS CONTENT

SUBSCRIBE TO DIGITAL LIBRARY

50 downloads per 1-year subscription

Members: $195

Non-members: $335 ADD TO CART

25 downloads per 1 - year subscription

Members: $145

Non-members: $250 ADD TO CART

PURCHASE SINGLE ARTICLE

Includes PDF, HTML & Video, when available