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

Published April 27, 2021 | Version v1

Dataset Open

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

Files

Name	Size	Download all
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	Preview Download
smt-comp.tar.gz md5:153d4e1c058e61e7742f9ef43d7420d0	204.5 MB	Download

457

Views

128

Downloads

Show more details

DOI

Resource type

Dataset

Publisher

Zenodo

Creative Commons Attribution 4.0 International

The Creative Commons Attribution license allows re-distribution and re-use of a licensed work on the condition that the creator is appropriately credited. Read more