[英]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.