Marco: A stochastic asynchronous concolic explorer

Concolic execution is a powerful program analysis technique for code path exploration. Despite recent advances that greatly improved the efficiency of concolic execution engines, path constraint solving remains a major bottleneck of concolic testing. An intelligent scheduler for inputs/branches beco...

Full description

Saved in:
Bibliographic Details
Main Authors: HU, Jie, DUAN, Yue, YIN, Heng
Format: text
Language:English
Published: Institutional Knowledge at Singapore Management University 2024
Subjects:
Online Access:https://ink.library.smu.edu.sg/sis_research/8720
https://ink.library.smu.edu.sg/context/sis_research/article/9723/viewcontent/Marco_icse24_pv.pdf
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Singapore Management University
Language: English
id sg-smu-ink.sis_research-9723
record_format dspace
spelling sg-smu-ink.sis_research-97232024-04-18T07:37:59Z Marco: A stochastic asynchronous concolic explorer HU, Jie DUAN, Yue YIN, Heng Concolic execution is a powerful program analysis technique for code path exploration. Despite recent advances that greatly improved the efficiency of concolic execution engines, path constraint solving remains a major bottleneck of concolic testing. An intelligent scheduler for inputs/branches becomes even more crucial. Our studies show that the previously under-studied branch-flipping policy adopted by state-of-the-art concolic execution engines has several limitations. We propose to assess each branch by its potential for new code coverage from a global view, concerning the path divergence probability at each branch. To validate this idea, we implemented a prototype Marco and evaluated it against the state-of-the-art concolic executor on 30 real-world programs from Google’s Fuzzbench, Binutils, and UniBench. The result shows that Marco can outperform the baseline approach and make continuous progress after the baseline approach terminates. 2024-04-01T07:00:00Z text application/pdf https://ink.library.smu.edu.sg/sis_research/8720 info:doi/10.1145/3597503.3623301 https://ink.library.smu.edu.sg/context/sis_research/article/9723/viewcontent/Marco_icse24_pv.pdf http://creativecommons.org/licenses/by-nc-nd/4.0/ Research Collection School Of Computing and Information Systems eng Institutional Knowledge at Singapore Management University Software Engineering
institution Singapore Management University
building SMU Libraries
continent Asia
country Singapore
Singapore
content_provider SMU Libraries
collection InK@SMU
language English
topic Software Engineering
spellingShingle Software Engineering
HU, Jie
DUAN, Yue
YIN, Heng
Marco: A stochastic asynchronous concolic explorer
description Concolic execution is a powerful program analysis technique for code path exploration. Despite recent advances that greatly improved the efficiency of concolic execution engines, path constraint solving remains a major bottleneck of concolic testing. An intelligent scheduler for inputs/branches becomes even more crucial. Our studies show that the previously under-studied branch-flipping policy adopted by state-of-the-art concolic execution engines has several limitations. We propose to assess each branch by its potential for new code coverage from a global view, concerning the path divergence probability at each branch. To validate this idea, we implemented a prototype Marco and evaluated it against the state-of-the-art concolic executor on 30 real-world programs from Google’s Fuzzbench, Binutils, and UniBench. The result shows that Marco can outperform the baseline approach and make continuous progress after the baseline approach terminates.
format text
author HU, Jie
DUAN, Yue
YIN, Heng
author_facet HU, Jie
DUAN, Yue
YIN, Heng
author_sort HU, Jie
title Marco: A stochastic asynchronous concolic explorer
title_short Marco: A stochastic asynchronous concolic explorer
title_full Marco: A stochastic asynchronous concolic explorer
title_fullStr Marco: A stochastic asynchronous concolic explorer
title_full_unstemmed Marco: A stochastic asynchronous concolic explorer
title_sort marco: a stochastic asynchronous concolic explorer
publisher Institutional Knowledge at Singapore Management University
publishDate 2024
url https://ink.library.smu.edu.sg/sis_research/8720
https://ink.library.smu.edu.sg/context/sis_research/article/9723/viewcontent/Marco_icse24_pv.pdf
_version_ 1814047493766250496