abstract-interpretation

6熱度

1回答

計算可達性功能使用郵資-C的價值分析

這是我的例子： int in; int sum(int n){ int log_input = n; int log_global = in; return 0; } int main(){ int n = Frama_C_interval(-10, 10); in = n; if (n > 0){ sum(n + 4

c frama-c abstract-interpretation 2016-02-03

---

8熱度

4回答

抽象解釋的簡短實現示例

我正在學習一門關於抽象解釋的課程，但我還沒有看到理論如何映射到實際代碼的任何示例。 我在尋找簡短的代碼示例，我最好不必使用整個編譯器。分析不一定非常有用，我只希望看到一個例子，其中分析得出並實施。 有沒有人知道任何這樣的例子，也許從大學課程？

abstract-interpretation 2010-05-28

---

3熱度

2回答

「循環必須摺疊以確保終止」是什麼意思？

在一篇關於形式化方法（抽象解釋是精確的）的論文中，我遇到了「循環必須摺疊以終止終止」。我很清楚終止是什麼意思，但我不知道摺疊循環是什麼，也不知道如何在循環中執行摺疊。 請問有人請向我解釋一下什麼是摺疊的循環？如果它沒有隱含在摺疊循環的定義中，或者沒有立即遵循，如何確保終止？ 感謝

loops formal-methods abstract-interpretation 2011-08-25

---