文件名称:KULFI:LLVM 指令级故障注入器
文件大小:220KB
文件格式:ZIP
更新时间:2024-07-11 06:50:12
llvm fault-injection C++
库尔菲 版本 1.0 介绍 Kontrollable Utah LLVM 故障注入器 (KULFI) 工具是一种指令级故障注入器,能够在指令级注入随机单个位错误。 它支持动态和静态错误注入技术。 在静态错误注入的情况下,在程序执行之前随机选择故障站点。 在动态错误注入的情况下,在程序执行过程中随机选择故障点。 KULFI 通过提供可由用户定义的选项来更好地控制错误注入。 例如,用户可以定义故障发生的概率,可以注入错误的字节位置,区分是否应该将故障注入指针寄存器或数据寄存器等。KULFI 利用编译器基础设施。 该工具归盐湖城所有。 如果您有任何与工具相关的问题,请加入我们的并将您的问题发送到。 版权信息:此代码可在伊利诺伊大学/NCSA 开源许可证 (NCSA) 下获得。有关详细信息,请参阅。 贡献者名单 (犹他大学计算机学院博士生) (犹他大学计算机学院硕士生) (路易斯安那州立大
【文件预览】:
KULFI-master
----src()
--------other()
--------main()
----bin()
--------faults.so(704KB)
----LICENSE(2KB)
----examples()
--------C()
--------C++()
----README.md(10KB)