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
52
52
views
downloads
All versions This version
Views 5252
Downloads 5252
Data volume 24.1 GB24.1 GB
Unique views 5050
Unique downloads 3131

Share

Cite as