Software Open Access

Making Symbolic Execution Promising by Learning Aggressive State-Pruning Strategy

Sooyoung Cha; Hakjoo Oh

HOMI

HOMI is a tool that performs symbolic execution while maintaining only a small number of "promising states"  via online learning. This tool is implemented on the top of KLEE a publicly available symbolic execution tool for testing C programs. For more technical details, please read our paper.

The detailed description (e.g., Install, Usage) of the tool is available on the public repository: https://github.com/kupl/HOMI_public

 

Files (3.9 GB)
Name Size
FSE20_HOMI_Artifacts.tar.gz
md5:7262a92cb1671b1cff36f9545a2859f6
3.9 GB Download
LICENSE.txt
md5:d1dc0ee483f9a52e5d7e8c6a3158e824
1.1 kB Download
57
13
views
downloads
All versions This version
Views 5757
Downloads 1313
Data volume 23.5 GB23.5 GB
Unique views 4646
Unique downloads 99

Share

Cite as