{"url":"/dataset/spectre-v1","name":"Spectre-v1","full_name":null,"description_markdown":"* Description\r\n\r\n  A dataset of assembly functions that are vulnerable to Spectre-V1 attack.\r\n\r\n* Motivation\r\n\r\nSeveral techniques have been proposed to detect vulnerable Spectre gadgets in widely deployed commercial software. Unfortunately, detection techniques proposed so far rely on hand-written rules which fall short in covering subtle variations of known Spectre gadgets as well as demand a huge amount of time to analyze each conditional branch in software. Moreover, detection tool evaluations are based only on a handful of these gadgets, as it requires arduous effort to craft new gadgets manually.\r\n\r\n* Potential Use Cases\r\n\r\n Generating assembly code.\r\n\r\n Evaluating new detection tools.","description_withheld":null,"homepage":"https://github.com/vernamlab/FastSpec","introduced_date":"2020-06-25","introduced_date_note":null,"introduced_by":{"paper":"/paper/fastspec-scalable-generation-and-detection-of","title":"FastSpec: Scalable Generation and Detection of Spectre Gadgets Using Neural Embeddings","first_author":"M. Caner Tol","url":null},"license":null,"modalities":[],"tasks":[{"name":"Code Generation","url":"/task/code-generation","datasets_with_task":"/datasets/task/code-generation"},{"name":"Code Completion","url":"/task/code-completion","datasets_with_task":"/datasets/task/code-completion"},{"name":"Contextual Embedding for Source Code","url":"/task/contextual-embedding-for-source-code","datasets_with_task":"/datasets/task/contextual-embedding-for-source-code"},{"name":"Code Classification","url":"/task/code-classification","datasets_with_task":"/datasets/task/code-classification"}],"languages":[],"variants":["Spectre-v1"],"data_loaders":[],"num_papers_in_archive":3,"source":{"archive":"pwc-archive (Hugging Face), CC BY-SA 4.0","snapshot":"2025-07-28"},"benchmarks":[],"papers_with_a_benchmark_row":[],"syntology_totals":{"read_at":"2026-09-24T18:15:14+00:00","papers_with_samples":0,"samples_harvested":0,"samples_ran":0,"samples_unverified":0,"pointer_only_for_licence":0,"papers_with_no_sample_that_ran":0,"note":"the per-paper counts above, summed; not a rate"},"papers_note":"The archive never published its papers-using-dataset list; these are papers with a leaderboard row on this dataset's benchmarks."}