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...
Saved in:
Main Authors: | , , |
---|---|
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 |