Skip to content

[ICSE SEIP 2024] Broadly Enabling KLEE to Effortlessly Find Unrecoverable Errors in Rust

Notifications You must be signed in to change notification settings

NEUZhangy/ICSE-SEIP-2024

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

5 Commits
 
 
 
 

Repository files navigation

[ICSE SEIP 2024] Broadly Enabling KLEE to Effortlessly Find Unrecoverable Errors in Rust

The ICSE SEIP 2024 Project & Experiment .xlsx spreadsheet contains four sheets with details on projects, panic reports, and commit IDs:

  1. Project Details: This sheet lists projects and their associated commit IDs that were analyzed.
  2. Non-Coreutils Panic Reports: This sheet contains panic reports for projects other than Coreutils.
  3. Coreutils Clap Unrelated Panic Reports: This sheet lists panic reports from Coreutils that are not related to clap.
  4. Coreutils Clap Related Panic Reports: This sheet specifically contains panic reports from Coreutils that are related to clap.

About

[ICSE SEIP 2024] Broadly Enabling KLEE to Effortlessly Find Unrecoverable Errors in Rust

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published