[英]Undeclared variables in sliced program
當使用Frama-C版Oxygen的程序切片器時，我遇到的問題是生成的切片使用未聲明的變量。 之前我搜索了這個主題的現有帖子，發現了這個： http ： //bts.frama-c.com/print_bug_page.php？video_id = 806
在那里提到臭蟲被固定在Frama-C的氮版本中。 也許這種變化沒有轉移到氧氣？ 就像在現有帖子的描述中一樣，它只發生在只有一個語句的塊中。 我無法附加示例源代碼，因為它來自客戶項目。
我已經檢查了你在Frama-C Oxygen（以及csmith 2.0.0 for Csmith的運行時庫）中提到的錯誤報告中描述的確切步驟，一切正常：你很可能遇到了另一個問題，但沒有代碼，不可能多說。
frama-c是否可以在特定程序代碼之前獲取變量范圍
[英]Whether frama-c can get the range of variables before a particular program code
使用Frama-C的影響分析時如何避免檢測未初始化的變量
[英]How to avoid detecting uninitialized variables when using the impact analysis of Frama-C
聲明:本站的技術帖子網頁，遵循CC BY-SA 4.0協議，如果您需要轉載，請注明本站網址或者原文地址。任何問題請咨詢:yoyou2525@163.com.
