Dataset Open Access

Dataset for SMTimer: Boosting Symbolic execution via Constrainting Solving Time Prediction

Luo Sicheng

SMT scripts of SMT-LIB language generated from symbolic execution tools

Files (2.0 GB)
Name Size
buzybox_angr.tar.gz
md5:6ec459fb97f0967b5155ad172709ce25
740.3 MB Download
gnu_angr.tar.gz
md5:c7554bc024e58926e41ff39bce827d67
642.0 MB Download
gnu_KLEE.tar.gz
md5:aec5534ec636571e5249554905618f4a
436.7 MB Download
README_for _data.md
md5:064a6ed0457f556cf0a9871797514d09
1.7 kB Download
smt-comp.tar.gz
md5:153d4e1c058e61e7742f9ef43d7420d0
204.5 MB Download
156
102
views
downloads
All versions This version
Views 156156
Downloads 102102
Data volume 42.6 GB42.6 GB
Unique views 145145
Unique downloads 5252

Share

Cite as