Program Slicing Analysis with KLEE, DIVINE and Frama-C

Optimizing the Time complexity of any program is still the most researched and sought area for researchers. At the industry level, the Software execution timing is the dominant criteria for Workload selection. One prominent method for reducing the Time complexity of a program is by using program slicing configuration, without affecting the program flow. Program slicing is the process of slicing a program in such a way that it reduces the time of debugging. This paper presents a timed-based analysis of a program with and without slicing with the help of different verification tools, namely KLEE, DIVINE, and Frama-C. This paper aims to compare these tools based on the timing of debugging and validity of a program before and after slicing.