Dataset Open Access

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

Luo Sicheng


JSON-LD (schema.org) Export

{
  "description": "<p>SMT scripts of SMT-LIB language generated from symbolic execution tools</p>", 
  "license": "https://creativecommons.org/licenses/by/4.0/legalcode", 
  "creator": [
    {
      "@type": "Person", 
      "name": "Luo Sicheng"
    }
  ], 
  "url": "https://zenodo.org/record/4722615", 
  "datePublished": "2021-04-27", 
  "@context": "https://schema.org/", 
  "distribution": [
    {
      "contentUrl": "https://zenodo.org/api/files/1f316500-5866-416a-b1db-07f64a4f94ce/buzybox_angr.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/1f316500-5866-416a-b1db-07f64a4f94ce/gnu_angr.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/1f316500-5866-416a-b1db-07f64a4f94ce/gnu_KLEE.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/1f316500-5866-416a-b1db-07f64a4f94ce/README_for _data.md", 
      "encodingFormat": "md", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/1f316500-5866-416a-b1db-07f64a4f94ce/smt-comp.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }
  ], 
  "identifier": "https://doi.org/10.5281/zenodo.4722615", 
  "@id": "https://doi.org/10.5281/zenodo.4722615", 
  "@type": "Dataset", 
  "name": "Dataset for SMTimer: Boosting Symbolic execution via Constrainting Solving Time Prediction"
}
59
57
views
downloads
All versions This version
Views 5959
Downloads 5757
Data volume 26.8 GB26.8 GB
Unique views 5757
Unique downloads 3333

Share

Cite as