z3公理剖面仪在哪里可以找到？

Question

有一个用于调试Z3跟踪的工具many references，称为“Z3 Axiom Profiler”。我找到code which is part of the VCC project，这似乎是公理剖析器，已经三岁了。从这些VCC源构建正确的方法来获取分析器，或者某个地方是否有更新的版本？

Answer 1

我监督了一名学生（Frederik Rothenberger），他曾为之前的公理剖面仪进行过各种改进。您可能希望尝试更新的版本，其中包括许多错误修复和实例化图的新可视化。

新版本可在此处获取：

https://bitbucket.org/viperproject/axiom-profiler

和Frederik的项目报告在这里，以防万一：

http://e-collection.library.ethz.ch/eserv/eth:48774/eth-48774-01.pdf

如果你尝试的话，请告诉我你的进展情况。

Alex Summers（alexander.summers@inf.ethz.ch）

Answer 2

这是最新版本。您可以在二进制VCC发行版中找到可执行文件。