Program completeness verification mechanism based on static analysis

Wen Zhou; Hanyu Meng; Yi Shi; Le Luo; Jingyi Yang

doi:10.1117/12.2683176

26 June 2023 Program completeness verification mechanism based on static analysis

Wen Zhou, Hanyu Meng, Yi Shi, Le Luo, Jingyi Yang

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

Abstract

Program static analysis can be utilized to automatically investigate the execution procedures of programs. However, the proof of program completeness verification is less concerned by utilizing current static analysis tools, which only focus on the execution results verification. Therefore, we initially propose a novel completeness verification mechanism to provide a method to illustrating the targeted program is completed with required functions. We transfer the programming language into abstract symbols and establish the control flow graph of program, which can apply in all programming languages. Our proposed schemes significantly demonstrate completeness of program and more efficient than existing static analysis methods. From our experimental and evaluative results, proposed static analysis mechanism can effectively proof the completement of target program compared with existing methods and the computation cost is reasonable for the analysis period, which is decided by the size of programs.

Citation Download Citation

Wen Zhou, Hanyu Meng, Yi Shi, Le Luo, and Jingyi Yang "Program completeness verification mechanism based on static analysis", Proc. SPIE 12714, International Conference on Computer Network Security and Software Engineering (CNSSE 2023), 127140C (26 June 2023); https://doi.org/10.1117/12.2683176

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