Published June 15, 2021
| Version v1
Other
Open
Formal Semantics of Kconfig for "Finding Broken Linux Configuration Specifications by Statically Analyzing the Kconfig Language"
- 1. University of Texas at Austin
- 2. University of Central Florida
Description
Formal Semantics of Kconfig for "Finding Broken Linux Configuration Specifications by Statically Analyzing the Kconfig Language"
Files
kclause_supplemental.pdf
Files
(503.1 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:793217b363b96d9ce35ccf7adc4b243f
|
503.1 kB | Preview Download |
Additional details
Related works
- Is documented by
- Conference paper: 10.1145/3468264.3468578 (DOI)