program-slicing

1熱度

1回答

我有這樣的代碼： res([],M,M). res([[A,B]|G],inM,M) :- dfs(A, [[A,B]|G], [], [], Out), processResponse(Out,inM,M1), dfs(B, [[A,B]|G], [], [], Out2), processResponse(Out2,M1,M2), res(G

4熱度

3回答

Prolog家庭關係，意外的失敗

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

0熱度

1回答

切片時將多個參數傳遞給C文件

我的源代碼a.c中的主要方法接受2個參數：一個是文件名，另一個是整數。我運行它想： ./a.out filename1.txt 3 但是當我嘗試使用切片與郵資-C frama-c a.c filename1.txt 3 -slice-...... Framac拋出一個錯誤說，它不能找到該文件3 ??? 我也試過其他選項，當我輸入filename1.txt_3並在代碼中單獨提取它們，但即

1熱度

1回答

prolog中的謂詞錯誤 - 每個日期的相同結果

我在Prolog中有下面的代碼，問題是當我運行代碼時，它返回每個數據相同的結果。 ?- run(Diagnosis). Diagnosis='There is no problem with anemia'. 的KB是在另一個文件並加載它，並在開始斷言我加載patient3例如，它應該返回 Diagnosis ='Iron deficiency' 需要注意的是啓動謂詞僅供檢查，如果代碼工

2熱度

2回答

Prolog中的邏輯謎題 - 使用列表

我想在Prolog中解決以下問題，並且我認爲我已經編寫了正確的代碼，但我的查詢只是返回false。有什麼建議要改變？問題是如下：「貝果巷，當地的麪包圈店，總是怒不可遏活動的位置時早晨通勤的人停下來讓他們的咖啡和麪包圈在上班的方式新鮮製作在現場每天早晨，百吉餅是非常受歡迎，的事實店也有很大的咖啡就像錦上添花！誰在貝果巷工作的人是開朗和友善，以及勝任，所以儘管大量的客戶，等待是永遠長或不愉

2熱度

1回答

消息「無法訪問的入口點」是什麼意思？

我有一個包含文件數ACSL斷言（file.c）： #include <stdio.h> #include <stdlib.h> void foo() { int a=0; //@ assert(a==0); } void print(const char* text) { int a=0; //@ assert(a==0); print

3熱度

1回答

Wala Java切片器 - 從切片丟失的語句

我剛開始使用Wala Java切片器來做一些源代碼分析任務。我對圖書館的正確使用有一個疑問。假設我有以下示例代碼： public void main(String[] args) { ... UserType ut = userType; int i = ut.getInt(); ... System.out.println(i); } 計算

3熱度

1回答

通過更改輸入代碼阻止Frama-C的切片插件

給定一個C文件，我想爲某些條件計算後向切片並將切片與原始代碼進行比較。因爲我不想從Cratch實現切片程序，所以我已經嘗試過適應Frama-C，這似乎有助於完成此任務。但是，我的問題是，Frama-C的切片插件會更改預處理的輸入代碼，以便更難確定原始的哪些線條也出現在切片中。實施例：輸入文件test1.c： double func1(double param) { return 2

2熱度

1回答

使用Frama-c

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

0熱度

1回答

爲什麼不緩存？

好的，我有一個網站（https://illution.dk），幾乎所有包含/鏈接的文件都發出了「304未修改」標題。不包括： https://illution.dk/include/style.php 總是返回「200 OK」。我的標題style.php是： HTTP/1.1 200 OK => Date => Fri, 11 Nov 2011 15:44:39 GMT Server =>