MC/DC coverage-oriented compiler optimization for symbolic execution
Yijun Liu, Zhenbang Chen, Wei Yu Dong, Chendong Feng · 2018
Compiler optimizations influence the effectiveness and efficiency of symbolic execution. In this extended abstract, we report our recent results of recommending compiler optimizations for symbolic execution w.r.t. MC/DC coverage. We carried out extensive experiments to study the influence of compiler optimizations on MC/DC coverage. Then, an SVM-based optimization recommendation method is designed and implementation. The preliminary experimental results are promising.