Infeasible Path Detection Based on Code Pattern and Backward Symbolic Execution

Table 5

Improvement of applying reverse analysis to SymExe.

Test code	Branch coverage			Time consumption (ms)
	SymExe (%)	Hybrid-SymExe (%)	Pex (%)	SymExe	Hybrid-SymExe	Pex
Foo	67.7	100	90.48	2000.0	1321.2	1634
pel	100	100	100	1352.3	877.2	252
do_decode	100	100	100	420.8	460.7	288
wanshu	92	100	100	223.4	289.3	264
fenyu	83.3	100	91.67	2000.0	639.3	287