切片影響分析插件frama-C
[英]Slice of impact analysis plugin frama-C
問題描述
影響分析插件有一個方法切片，可根據影響分析對給定的語句進行切片。 就像切片插件一樣，我們在其中創建項目，然后選擇切片區域，然后將該區域添加到請求中？ 我如何打印此影響分析切片的結果？
1 個解決方案
解決方案1
2 已采納 2015-05-12 18:50:58
函數Db.Impact.slice實際上沒有與Impact插件的真正鏈接。 它只是在給定的語句列表上計算切片請求，而無需在任何地方調用Impact 。 如您Db.Impact.Stmt ，您已經可以通過Slicing的API構建此請求，而Db.Impact.Stmt是不可自定義的。
（此功能slice應在Impact內部。在用戶選擇“ 影響后切片 ”選項時，將在GUI中使用此功能slice 。我們將在下一發行版中將其刪除，以消除這種歧義。）
如何在Ubuntu 14.04上安裝Frama-c的Impact Analysis插件？
[英]How to install Impact Analysis Plug-in for Frama-c on Ubuntu 14.04?
使用Frama-C的影響分析時如何避免檢測未初始化的變量
[英]How to avoid detecting uninitialized variables when using the impact analysis of Frama-C
聲明:本站的技術帖子網頁，遵循CC BY-SA 4.0協議，如果您需要轉載，請注明本站網址或者原文地址。任何問題請咨詢:yoyou2525@163.com.