Making Symbolic Execution Promising by Learning Aggressive State-Pruning Strategy
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