Modified condition/decision coverage (MC/DC) oriented compiler optimization for symbolic execution
| Autor: | Ji Wang, Weijiang Hong, Zhenbang Chen, Yi-jun Liu, Wei Dong |
|---|---|
| Rok vydání: | 2020 |
| Předmět: |
Computer Networks and Communications
Computer science business.industry Programming language Existential quantification Process (computing) Optimizing compiler Binary number 020207 software engineering 02 engineering and technology Symbolic execution computer.software_genre Support vector machine Modified condition/decision coverage Software Hardware and Architecture 020204 information systems Signal Processing 0202 electrical engineering electronic engineering information engineering Electrical and Electronic Engineering business computer |
| Zdroj: | Frontiers of Information Technology & Electronic Engineering. 21:1267-1284 |
| ISSN: | 2095-9230 2095-9184 |
| DOI: | 10.1631/fitee.1900213 |
| Popis: | Symbolic execution is an effective way of systematically exploring the search space of a program, and is often used for automatic software testing and bug finding. The program to be analyzed is usually compiled into a binary or an intermediate representation, on which symbolic execution is carried out. During this process, compiler optimizations influence the effectiveness and efficiency of symbolic execution. However, to the best of our knowledge, there exists no work on compiler optimization recommendation for symbolic execution with respect to (w.r.t.) modified condition/decision coverage (MC/DC), which is an important testing coverage criterion widely used for mission-critical software. This study describes our use of a state-of-the-art symbolic execution tool to carry out extensive experiments to study the impact of compiler optimizations on symbolic execution w.r.t. MC/DC. The results indicate that instruction combining (IC) optimization is the important and dominant optimization for symbolic execution w.r.t. MC/DC. We designed and implemented a support vector machine based optimization recommendation method w.r.t. IC (denoted as auto). The experiments on two standard benchmarks (Coreutils and NECLA) showed that auto achieves the best MC/DC on 67.47% of Coreutils programs and 78.26% of NECLA programs. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full text from SpringerLink