[英]CBMC call from Python?
有没有一种方法可以从Python调用CBMC,或者有可用的包装器或API?
我的问题如下。 我想在Python中自动创建一个C函数(效果很好),然后将其从Python发送到CBMC进行检查,并在函数正常与否的情况下获取反馈。
从5.5版开始,CBMC还可以使用--json-ui
生成JSON输出,该输出比XML输出更紧凑。 另请注意,您可以使用--verbosity <some number between 0 and 10>
来调整详细程度,从而抑制某些消息。
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.