abstract-interpretation - 抽象解释的简短实现示例

Question

我正在学习有关抽象解释的类(class)，但是我还没有看到有关该理论如何映射到实际代码的任何示例。

我正在寻找简短的代码示例，在这些示例中，我最好不必使用整个编译器。分析不一定有用，我只想看一个示例，在该示例中派生然后执行分析。

有谁知道这样的例子，也许是从大学类(class)中获悉的？

Answer 1

有MonoREIL，它与最近开源的工具BinNavi一起提供。

请参见here是简短的介绍。

请注意，MonoREIL框架的上下文不是编译器，而是二进制代码的分析。但是，它已被用于现实世界中的应用程序，请参见this简介的幻灯片34 ff(包含更多正式背景)。