Improved Efficiency of Object Code Verification Using Statically Abstracted Object Code

Table 2

Results obtained on LPC1768 and ATmega328p object code for pacemaker.

Metrics	Pacemaker
	LPC1768	ATmega328p
Number of lines in original object code	359	230
Number of lines reduced after the application of abstraction	150	54
Updated number of lines in abstracted object code	209	176
Total number of patterns that are detected and abstraction during SSA	15	22
Percentage of object code abstraction	41.78%	23.47%