坚固:坚固是一个用于在Haskell中开发声音静态分析的库 源码

坚固 Sturdy是一个用于在Haskell中创建声音静态分析的库。 静态分析是在不实际运行程序的情况下产生有关计算机程序信息的工具。 静态分析的示例包括类型检查器,错误查找器(例如Java FindBugs),安全性分析(例如污点分析)以及用于编译器优化的分析。 该项目专注于声音静力分析。 如果分析结果反映了程序的实际运行时行为,并且用户可以依赖结果,则可以进行静态分析。 例如,如果不完善用于编译器优化的静态分析,则优化可能会更改程序的语义,从而导致运行时出现意外行为。 为此,Sturdy遵循抽象口译员的成分稳健性证明以及用于抽象解释的声音和可重用组件的理论,以简化静态分析的稳健性证明。