-
Kismet_Based_Linux配置规范静态分析实验原始结果数据
2026年1月23日 30 23 10
数据集概述 本数据集为论文“Finding Broken Linux Configuration Specifications by Statically Analyzing the Kconfig Language”的实验原始结果数据，包含1个压缩文件，记录Kconfig静态分析的原始处理结果，用于验证Linux配置规范的完整性。 文件详解...
-
Kfeature_Source_Kconfig可变性框架特征模型人工评估采样配置数据
2026年1月18日 30 1 0
数据集概述 本数据集包含用于人工评估Kconfig可变性框架转换规则的采样配置文件，以及9个选定Kconfig文件对应的特征模型。数据支持在Linux内核环境中复现人工评估过程，包含标记为可复现或不可复现的配置样本，总计22个文件。 文件详解 特征模型文件（Feature Model Files） 文件名称：Kconfig1_feature-...
