Ocaml 如何在另一个插件中使用WP的结果？

我正在编写一个Frama-C插件，我想知道是否有可能从我的插件中获得使用WP的最薄弱的先决条件，如果有，具体如何？例如，在过去，我使用Db.Value在我自己的插件中使用EVA插件的结果。WP是否有类似于Db.Value的东西？

WP

插件在

WP.mli

文件中公开其API，该文件是通过收集构成

WP

的高级模块的接口生成的。您可以在

src/plugins/wp/wp.mli

中找到它

但是，您应该知道，此API不应被视为稳定的，并且在较新的Frama-C版本中可能会引入不向后兼容的更改