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

Name: Experimental data from "Finding Broken Linux Configuration Specifications by Statically Analyzing the Kconfig Language"
Creator: Gazzillo, Paul; Yıldıran, Necip Fazıl; Oh, Jeho; Braha, Julian
Published: 2021-02-25T00:00:00+08:00

Zenodo2021-02-25 更新2026-04-07 收录

Linux内核配置验证

静态程序分析

数据链接：

https://zenodo.org/record/4563310 数据链接链接失效反馈

官方服务：

资源简介：

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

提供机构：

Gazzillo, Paul; Yıldıran, Necip Fazıl; Oh, Jeho; Braha, Julian

创建时间：

2021-02-25

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

资源简介：

相关数据集