石龙子

Skink:LLVM中间表示中程序的静态分析。Skink是一个静态分析工具,它分析程序源代码的LLVM中间表示(LLVM-IR)。分析包括检查是否有可行的执行可以到达LLVM-IR中指定的错误块。如果错误块不可访问,则程序分析的结果为“正确”;如果错误块可访问,则结果为“不正确”;如果无法确定程序的状态,则结果为“不确定”。本文介绍skink2.0来分析单线程和多线程C程序。

zbMATH中的参考文献(参考 1文章 参考)

显示结果1/1。
按年份排序(引用)

  1. Hoenicke,Jochen;Schindler,Tanja:阵列理论的有效插值(2018)