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

数据集概述

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

文件详解

• 文件名称：vstte21-artifact.zip
• 文件格式：ZIP
• 字段映射介绍：压缩包内包含复现论文表1实验结果所需的全部脚本，具体脚本内容未提供预览，需解压后查看。

数据来源

论文“Abstract Interpretation of LLVM with a Region-Based Memory Model”

适用场景

• 程序分析实验复现：用于复现LLVM区域内存模型抽象解释的实验结果，验证论文结论的可靠性。
• 静态分析技术研究：为研究基于区域内存模型的LLVM抽象解释方法提供实验脚本参考。
• 编译器优化验证：辅助分析LLVM编译器中内存模型抽象解释对程序优化的影响。
• 学术研究对比：作为同类程序分析技术研究的实验基准，支持方法间的性能对比。