A well-known reason is that concolic execution cannot scale up to large-size programs. Many research efforts have focused on improving its scalability.

Abstract—Concolic execution has achieved great success in many binary analysis tasks. However, it is still not a primary option for industrial usage.

This paper systematically investigates the challenges that can be introduced even by small-size programs, such as symbolic array and symbolic jump. We further ...

One well-known issue is that symbolic execution suffers path explosion problems, such that it cannot scale up to large-size programs.

Hui Xu, Yangfan Zhou, Yu Kang, Michael R. Lyu: Concolic Execution on Small-Size Binaries: Challenges and Empirical Study. DSN 2017: 181-188.

摘要Concolic execution has achieved great success in many binary analysis tasks. However, it is still not a primary option for industrial usage.

Article "Concolic Execution on Small-Size Binaries: Challenges and Empirical Study" Detailed information of the J-GLOBAL is an information service managed ...

Apr 28, 2023 · title={Concolic Execution on Small-Size Binaries: Challenges and Empirical Study},. author={Xu, Hui and Zhou, Yangfan and Kang, Yu and Lyu ...

Concolic execution on small-size binaries: Challenges and empirical study. H Xu, Y Zhou, Y Kang, MR Lyu. 2017 47th Annual IEEE/IFIP International Conference ...

Concolic execution on small-size binaries: Challenges and empirical study. H Xu, Y Zhou, Y Kang, MR Lyu. 2017 47th Annual IEEE/IFIP International Conference ...