Giri:LLVM中的动态程序切片
动态程序切片是一种可以在程序的单次执行中精确确定哪些指令影响了特定值的技术。 Giri在LLVM编译器中实现了动态向后切片。
安装
只需使用预构建的: docker pull liuml07/giri
或者,您可以自己
用法
请参阅我们的以获取更多信息。
信用
该项目最初由UIUC的 , 和。 它是由Google Summer of Code (GSoC) 2013在其总括项目LLVM下选择的。 清华大学的于2013年6月加入了Giri的改良工作。
如果您在研究项目中使用Giri,请引用我们的工作。
[1] Swarup Kumar Sahoo,John Criswell,Chase Geigle和Vikram Adve。 利用可能的不变量进行软件故障自动定位。 在第18届国际编程语言和操作系统的体系结构支持国际会议论文集中, ASPLOS '13
1