问题标签 [program-slicing]

阅读 Andreas Zeller 的调试书后，我对动态切片产生了兴趣。

目前我只找到了Java分析的相关工具。你知道这样的 C/C++ 工具吗？

我需要找到给定数字的因数，例如：

编码 ：

但是当我运行时，divisors2(40,RR).我得到了无限循环，屏幕上没有任何内容。

为什么 ？

问候

谁能告诉我为什么我的姑姑关系不起作用？每当我尝试调用它时，它都会返回 false。

我在它下面写的叔叔关系似乎工作得很好。我不知道有什么区别。我最后也试过 (not(mother(X,Y)). 但这并没有改变任何东西。

我正在尝试创建一个具有典型要求的密码，例如它至少有 1 个大写/小写等。如果密码根据要求无效，我们必须显示错误以便用户尝试获取它再次更正。

我从一个 while 循环开始，以便最终用户可以选择是否继续进行另一个测试。这些是我做的一般步骤。

最后，如果确定用户的文本输入无效，我必须显示他/她的错误是什么。这是我现在的主要问题。建议后代码更好。现在我只需要以某种方式显示错误。

这是我的代码的运行方式

我想在有向图中打印节点的路径。此代码适用于边缘，但不适用于整个路径。当涉及到路径时，它返回 false。这是我的代码，但它仅针对边缘而不是整个路径运行。请帮帮我。

这是我的代码：

X是一个列表。

我试图做两件事

1. 根据条件获取动态后向切片。
2. 将切片语句映射回实际的源代码。

问题 1：Frama-C 返回的切片没有返回与标准相关的确切语句 - 主要是ifandelse语句。

问题 2：如何将切片语句映射回源代码？切片时程序会发生变化（例如：int a=9在切片代码中变成 2 个语句，int a;并且a = 9;。）我对切片没问题，但是我可以使用哪些信息将这些映射回源代码中的语句。

这是源代码。

我使用以下命令来获取切片。

我从 frama-c 得到的切片是：

问题 1：我没有得到切片中的ifandelse条件。我应该怎么做才能得到它们？

我期望以下切片：

问题2：
源代码有：int ip1 = 9;

但切片代码有：

如何将这 2 个切片语句映射回源代码语句。

我有一个 java 文件，我想获取对特定行的结果有影响的所有行（反向切片生成）。我知道解决方案，但是否有任何 java 代码可以做到这一点？

例如考虑以下代码：

当我为第 10 行运行它时，需要一个找到以下行的代码：

我正在尝试使用 Frama-C 对代码进行切片。

源代码是

当我使用 Frama-C 对代码进行切片时，我得到以下信息。我不知道这个“未定义的序列”是什么意思。

感谢任何帮助解释为什么会发生这种情况。

我试图将源代码与切片代码进行比较，但 frama-c 在解析时对代码进行了规范化，这使得切片代码语句与源代码语句不同。

是否可以使用 frama-c 预处理代码，以便当我使用标准对其进行切片时，可以将生成的切片语句与预处理语句进行比较？

谢谢。

我的源代码 ac 中的主要方法接受 2 个参数：一个是文件名，另一个是整数。我像这样运行它：

但是当我尝试使用带有 frama-c 的切片时

Framac 抛出一个错误，说它找不到文件 3 ???

当我输入 filename1.txt_3 并在代码中分别提取它们时，我还尝试了其他选项，但即便如此，frama-c 也不喜欢它。它抱怨它找不到文件filename1.txt_3。

请让我知道如何在运行 Frama C 时向源发送多个参数