program-slicing

2熱度

1回答

使用Frama-c

在切片之前預處理源代碼Iam嘗試將源代碼與切片代碼進行比較，但frama-c在解析時對代碼進行規範化，這使得切片代碼語句與源代碼語句不相同。 是否有可能使用frama-c預處理代碼，以便在使用條件對其進行切片時，可以將生成的切片語句與預處理語句進行比較？ 謝謝。

slice frama-c program-slicing 2014-09-10

---

4熱度

3回答

Prolog家庭關係，意外的失敗

有誰能告訴我爲什麼我的阿姨關係不工作？只要我試圖調用它，它就會返回false。 我在它下面寫的叔叔關係似乎很完美。我無法弄清楚有什麼不同。我試了（不是（母親（X，Y））。在最後，但也不會改變任何東西。 /* FACTS */ parents(david, george, noreen). parents(jennifer, george, noreen). parents(georgejr,

prolog program-slicing 2013-10-14

---

13熱度

3回答

在閱讀了Andreas Zeller的調試手冊之後，我開始對動態切片產生興趣（<a href="http://en.wikipedia.org/wiki/Program_slicing" rel="nofollow noreferrer">http://en.wikipedia.org/wiki/Program_slicing</a>），在C/C++中進行動態切片

。 目前我只找到用於Java分析的相關工具。你知道C/C++的這些工具嗎？

c++ program-slicing 2009-09-15

---