LLVM编译器中的动态程序切片
5星
- 浏览量: 0
- 大小:None
- 文件类型：ZIP
简介：
动态程序切片是一种在单次程序执行中准确识别影响特定值指令的方法。Giri通过LLVM编译器实现了对动态向前切片的支持。
安装
可通过运行以下命令轻松完成：
docker pull liuml07giri
您也可以按照以下步骤进行操作：
1. 您可以自行按照以下步骤进行操作：或者，您可以自己
2. 请参考我们的文档获取更多信息。
3. 项目最初由 UIUC 的 John、Chase 和 Vikram 在 2013 年加入 Giri的改良工作。清华和于2013年6月加入了Giri的开发团队。
4. 如果在研究项目中使用了相关工具或内容，建议参考我们的原始论文进行引用。
[1] Swarup Kumar Sahoo，John Criswell，Chase Geigle 和 Vikram Adve。利用可能的不变量进行软件故障自动定位。ASPLOS 13
全部评论 (0)
还没有任何评论哟~
