问题标签 [program-slicing]

我正在尝试使用 Prolog 解决爱因斯坦之谜。当我试图通过房屋（Hs）运行时，它显示否。任务是

1. 英国人住在红房子里。
2. 瑞典人养狗作为宠物。
3. 丹麦人喝茶。
4. 绿房子就在白宫的左边。
5. 温室的主人喝咖啡。
6. 抽 Pall Mall 烟的店主养鸟。
7. 黄色房子的主人抽登喜路。
8. 住在中心屋的主人喝牛奶。
9. 挪威人住在第一间房子里。
10. 抽 Blends 的主人住在养猫的主人旁边。
11. 养马的主人住在抽登喜路的主人旁边。
12. 抽 Bluemasters 的老板喝啤酒。
13. 德国人抽王子烟。
14. 挪威人住在蓝屋旁边。
15. 抽 Blends 的主人住在喝水的人旁边。

我不知道出了什么问题。谢谢

我有这个代码：

如果我res([],[],M)在解释器上运行 , 它可以正常工作并返回M = [].

如果我运行res([[a,b]],[],M)，它会失败。我尝试查看跟踪并立即失败，res甚至没有尝试dfs或任何其他规则。如果我直接在解释器上编写规则，使用相同的输入，它们就可以正常工作。

我正在使用 SWI Prolog。为什么会这样？我应该改变什么才能使这项工作？

我想test.c为所有断言切片文件。

test.c如下所示：

我使用以下命令运行 frama-c：

frama-c -slice-assert @all -main foo test.c -then-on 'Slicing export' -print -ocode slice.c

结果slice.c如下所示：

查看 sliced function foo，似乎处理不完整。frama-c 输出告诉我：

“状态无效”应该是什么意思？当我将第一个断言更改为时，为什么它在这里停止传播以及为什么它起作用//@ assert (colors != NULL);？

我有一个包含多个 ACSL 断言 ( file.c) 的文件：

我想使用以下命令对所有断言进行切片：

但是，切片看起来不像预期的那样（实际上它不包含文件中包含的任何函数）：

相反，我得到这样的输出：

这里出了什么问题，特别是什么unreachable entry point？观察：如果我argv[2]改为argv[1]我没有这些问题（但仍然在第一行收到警告）。

我正在使用frama-c来做一些关于程序切片的实验。该工具很棒，并且有很多不同类型的切片（例如，按结果或按语句）。我正在使用一个程序数据结构，如：

这只是一个示例，以便了解frama-c如何根据函数产生的结果对程序进行切片。基本上，main方法调用一个返回ComplexData类型值的函数。如何进行不同执行之间的比较？对结构的每个值进行检查？像这样？

所以我对python非常陌生。需要一些基本的帮助。

我的逻辑是在文本文件中查找单词。

我需要找到所有从 % 开始的单词。

我的代码是

但输出只是 % 字符。我需要 putput 是 %apple 和 %bat

有什么帮助吗？

我如何对该列表进行切片或索引以获得下面的答案？我尝试过多种切片方法，但对我没有任何效果。

答案：[0, 2, 3, [5 ,6], 8, 10]

newL 是我到目前为止所拥有的，但我似乎无法在嵌套列表中拆分 [6,7]。

我是 Prolog 的新手，我正在尝试进行选择排序。这是我所拥有的：

但是当我尝试这个例如：

我明白false了，无论我尝试什么。您能告诉我如何对列表进行实际排序并获得写入的结果S吗？

原谅我的无知。我需要为项目计算后向切片。经过一番搜索，我遇到了frama-c。我在我的 ubuntu 系统上下载了这个包，得到了 Frama-c 版本：Fluorine-20130601。我第一次尝试使用它。在我的项目中找出未定义的函数时，几乎所有库函数都是未定义的，甚至 printf、scanf 等（既没有代码也没有函数 printf 的规范）。根据教程，我必须为所有未定义的函数添加存根。我真的必须为我正在使用的每个库函数添加代码，甚至是 printf 吗？请指导。

我使用以下命令在 Ubuntu 14.04 上安装了 Frama-c：

但是，当我使用以下命令打开 frama-c 的 GUI 时：

我在左侧窗口中找不到“影响分析”插件。

此图显示了我的 Frama-c 目前可用的插件：

我还参考了Frama-c 网页，但找不到任何链接供我下载或安装影响分析插件。

如何在 Ubuntu 14.04 上启用和使用影响分析？