Published May 31, 2021 | Version v1
Software Open

Artifact from "Finding Broken Linux Configuration Specifications by Statically Analyzing the Kconfig Language"

Creators

  • 1. University of Texas at Austin
  • 2. University of Central Florida

Description

Artifact from "Finding Broken Linux Configuration Specifications by Statically Analyzing the Kconfig Language"

Files

esecfse21artifact.zip

Files (1.5 MB)

Name Size Download all
md5:8278dd4c8a91035354bc71b6ef3a613f
1.5 MB Preview Download

Additional details

Related works

Compiles
Dataset: 10.5281/zenodo.4563310 (DOI)
Is documented by
Conference paper: 10.1145/3468264.3468578 (DOI)