找到1个数据集

标签: LLVM内存模型

过滤结果

  • vstte21_Artifact_LLVM区域内存模型抽象解释实验复现数据

    2026年1月21日 30 57 28

    数据集概述 本数据集为论文“Abstract Interpretation of LLVM with a Region-Based Memory Model”的实验复现工件，包含复现论文表1结果所需的全部脚本，支持验证LLVM区域内存模型抽象解释的实验结论，是程序分析领域研究的重要辅助材料。 文件详解 文件名称：vstte21-artifact.zip...
    packageimg