Dataset Open Access

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

Luo Sicheng


JSON Export

{
  "files": [
    {
      "links": {
        "self": "https://zenodo.org/api/files/1f316500-5866-416a-b1db-07f64a4f94ce/buzybox_angr.tar.gz"
      }, 
      "checksum": "md5:6ec459fb97f0967b5155ad172709ce25", 
      "bucket": "1f316500-5866-416a-b1db-07f64a4f94ce", 
      "key": "buzybox_angr.tar.gz", 
      "type": "gz", 
      "size": 740277922
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/1f316500-5866-416a-b1db-07f64a4f94ce/gnu_angr.tar.gz"
      }, 
      "checksum": "md5:c7554bc024e58926e41ff39bce827d67", 
      "bucket": "1f316500-5866-416a-b1db-07f64a4f94ce", 
      "key": "gnu_angr.tar.gz", 
      "type": "gz", 
      "size": 641986090
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/1f316500-5866-416a-b1db-07f64a4f94ce/gnu_KLEE.tar.gz"
      }, 
      "checksum": "md5:aec5534ec636571e5249554905618f4a", 
      "bucket": "1f316500-5866-416a-b1db-07f64a4f94ce", 
      "key": "gnu_KLEE.tar.gz", 
      "type": "gz", 
      "size": 436670692
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/1f316500-5866-416a-b1db-07f64a4f94ce/README_for%20_data.md"
      }, 
      "checksum": "md5:064a6ed0457f556cf0a9871797514d09", 
      "bucket": "1f316500-5866-416a-b1db-07f64a4f94ce", 
      "key": "README_for _data.md", 
      "type": "md", 
      "size": 1669
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/1f316500-5866-416a-b1db-07f64a4f94ce/smt-comp.tar.gz"
      }, 
      "checksum": "md5:153d4e1c058e61e7742f9ef43d7420d0", 
      "bucket": "1f316500-5866-416a-b1db-07f64a4f94ce", 
      "key": "smt-comp.tar.gz", 
      "type": "gz", 
      "size": 204540058
    }
  ], 
  "owners": [
    215506
  ], 
  "doi": "10.5281/zenodo.4722615", 
  "stats": {
    "version_unique_downloads": 33.0, 
    "unique_views": 58.0, 
    "views": 60.0, 
    "version_views": 60.0, 
    "unique_downloads": 33.0, 
    "version_unique_views": 58.0, 
    "volume": 26789236014.0, 
    "version_downloads": 57.0, 
    "downloads": 57.0, 
    "version_volume": 26789236014.0
  }, 
  "links": {
    "doi": "https://doi.org/10.5281/zenodo.4722615", 
    "conceptdoi": "https://doi.org/10.5281/zenodo.4722614", 
    "bucket": "https://zenodo.org/api/files/1f316500-5866-416a-b1db-07f64a4f94ce", 
    "conceptbadge": "https://zenodo.org/badge/doi/10.5281/zenodo.4722614.svg", 
    "html": "https://zenodo.org/record/4722615", 
    "latest_html": "https://zenodo.org/record/4722615", 
    "badge": "https://zenodo.org/badge/doi/10.5281/zenodo.4722615.svg", 
    "latest": "https://zenodo.org/api/records/4722615"
  }, 
  "conceptdoi": "10.5281/zenodo.4722614", 
  "created": "2021-04-27T07:50:34.929783+00:00", 
  "updated": "2021-04-27T12:27:31.669752+00:00", 
  "conceptrecid": "4722614", 
  "revision": 2, 
  "id": 4722615, 
  "metadata": {
    "access_right_category": "success", 
    "doi": "10.5281/zenodo.4722615", 
    "description": "<p>SMT scripts of SMT-LIB language generated from symbolic execution tools</p>", 
    "license": {
      "id": "CC-BY-4.0"
    }, 
    "title": "Dataset for SMTimer: Boosting Symbolic execution via Constrainting Solving Time Prediction", 
    "relations": {
      "version": [
        {
          "count": 1, 
          "index": 0, 
          "parent": {
            "pid_type": "recid", 
            "pid_value": "4722614"
          }, 
          "is_last": true, 
          "last_child": {
            "pid_type": "recid", 
            "pid_value": "4722615"
          }
        }
      ]
    }, 
    "publication_date": "2021-04-27", 
    "creators": [
      {
        "name": "Luo Sicheng"
      }
    ], 
    "access_right": "open", 
    "resource_type": {
      "type": "dataset", 
      "title": "Dataset"
    }, 
    "related_identifiers": [
      {
        "scheme": "doi", 
        "identifier": "10.5281/zenodo.4722614", 
        "relation": "isVersionOf"
      }
    ]
  }
}
60
57
views
downloads
All versions This version
Views 6060
Downloads 5757
Data volume 26.8 GB26.8 GB
Unique views 5858
Unique downloads 3333

Share

Cite as