control-flow-graph

0热度

1回答

我想为不可执行二进制文件生成控制流图。目标是对Linux内核生成的二进制文件进行静态分析。有没有可以做到这一点的工具？我通过搜索找到的工具仅适用于可执行文件。我使用obj-dump将二进制反汇编为程序集。目前，我对汇编基本块进行分析，但在这种方法中，我无法保证是否覆盖了所有的执行路径。

0热度

1回答

如何用烟灰创建控制流图？

有一段时间，我一直在努力创建一个带有Soot的控制流图，我有点迷失在它的tutorials。我没有使用Soot作为Eclipse插件，而是一直试图使用Soot作为库或API。我想要做的是，我有一堆Java项目，我想创建/生成这些项目的控制流图。我还看到Soot中有一个功能，我可以用“DOT”格式生成控制流图，这对我来说也是可以接受的。任何指导或示例代码，展示如何创建/生成烟灰控制流程图将是伟大

2热度

2回答

如何以编程方式将java代码（方法）解析为控制流程图

是否有任何API或参考库可用于将java代码或java方法解析为控制流程图（CFG）。我试图将AST转换为CFG，但不能使用AST Parser来做，但没有找到任何方式来做到这一点。我正在使用Eclipse IDE JAVA（J2SE）。请帮忙。

0热度

1回答

从smali代码

构建Android的控制流程图有没有解析smali代码直接构建CFG的工具？我知道Androguard做了类似的事情，但是它似乎在apk文件上使用了反编译功能，如果apk使用混淆技术，它可能会变得不可靠。

1热度

1回答

用于C++代码的控制流图生成器

我正在寻找用C++编写的源代码的控制流图生成器。你知道任何开源的静态生成器吗？我想在毕业设计中使用它来生成控制流程图并突出显示在执行分析的应用程序期间执行的路径。我已经写完整的引擎来记录执行的行。谢谢你的所有答案。

0热度

1回答

如何跟踪方法参数？

我一直在尝试为Java编程语言找到“跟踪方法参数”的确切术语，我通常发现“污点分析”，但仍不确定我是否处于正确的路径。我想要的是跟踪一个方法的参数，看看该方法的哪一部分（在范围内）做参数效果。例如，如果一个参数被分配给另一个变量，我也想保持跟踪所分配的变量。通过提及“部分”，它可以是代码行，语句或控制流图的分支。我也检查过工具，遇到了Checker Framework和Findbugs，但是看

1热度

1回答

循环复杂性 - 为此java语句绘制控制流图

任何人都可以帮忙吗？ while (x > level) x = x – 1; x = 0

3热度

3回答

OCaml的调用图发生器或原因

我想分析一个OCaml /原因代码存储库并理解各种功能之间的调用。有没有提供这种功能的工具？

0热度

1回答

线路，分支和独立路径覆盖的区别？

线路，分支和独立路径覆盖有什么区别？给出以下情形，路径将如何显示？图片为下面的链接上控制流图 - >http://testerstories.com/files/Path.Test.011.png 步骤寻找为每一个真实路径被太多赞赏。谢谢:)

1热度

1回答

向无环图的遍历在Java Web应用程序

所以我建立一个Web应用程序，你可以建立一个向图，其中一个节点将代表的一些操作和边缘将代表这些操作之间的数据流。所以对于边缘{u，v}，你必须在v之前运行。 Click this link to see a sample graph START节点表示初始值和作为指定的除输出的其他节点确实操作。输出节点将输出它接收的值作为输入。我应该使用哪种算法的方法来处理这样的图形？