视窗
的Ubuntu
OS X
与我们聊天
覆盖范围
待定
待定
关于
是针对基于LLVM的语言的自动化分析框架。 该版本支持LLVM 5.0。
执照
是根据经过修改的BSD许可证发行的。 有关详细信息,请参见 。
安装
cd seahorn ; mkdir build ; cd build cd seahorn ; mkdir build ; cd build (build目录也可以在源目录之外。)
cmake -DCMAKE_INSTALL_PREFIX=run ../ (添加-GNinja以使用生成器代替默认生成器。可以使用-DCMAKE_BUILD_TYPE=设置构建类型(发布,调试)。)
cmake --build . 建立依赖关系(Z3和LLVM)
cmake --build . --target extra && cmake .. cmake --bu
1