~/talk

Representativeness in the Benchmark for Vulnerability Analysis Tools (B-VAT)

links:none on file
links:none on file
slides:none on file

Claim: current vulnerability corpora misrepresent real-world weakness proportions and that a benchmark must mirror those proportions. Uses CVE (≈75,000 community-accepted instances) correlated with ≈800 CWE types, shows one pillar (CWE 664) covers ~45% of 2014–2019 CVEs, and compares distributions in Juliet, CGC, OWASP Benchmark and Stone Soup. Builds B-VAT by taking a stratified random sample to preserve proportions, reducing a 55,000-case pool 55,000 to ~2,000 while aiming to evaluate tools like KLEE, Mayhem, Angr, Z3 on representative mixes.

AI-written summary · about

  1. 0:00Introduction
  2. 0:25The Problem
  3. 2:34The Sources
  4. 4:31The CWE
  5. 5:22Recap
  6. 8:56Usability
  7. 10:25Conclusion
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.