Artifact for "An Empirical Study of Static Analysis-Based Variability Bug Detection"

This is the artifact for our ICSE 2026 submission entitled "An Empirical Study of Static Analysis-Based Variability Bug Detection." Please see the README for instructions on how to run our toolchain. Additionally, the raw results are available in the results folder.本研究制品为我们提交至2026年国际软件工程会议（ICSE）的论文《基于静态分析的可变性缺陷检测实证研究》（An Empirical Study of Static Analysis-Based Variability Bug Detection）的配套材料。如需了解本工具链的运行操作指南，请参阅README文件。此外，原始实验结果已存放至results文件夹中。