2022年11月9日 · cpg是一种将源代码解析为图结构的工具，通过构建抽象语法树（ast）、控制流图（cfg）、数据流图（dfg）等，实现对代码的深入分析和可视化。 ## 项目的主要特性 和 功能 1.

2024年12月31日 · 控制流图(Control Flow Graph, CFG)也叫控制流程图，是一个过程或程序的抽象表现，是用在编译器中的一个抽象数据结构，由编译器在内部维护，代表了一个程序执行过程中会遍历到的所有路径。它用图的形式表示一个过程内所有基本块执行的可能流向, 也能反映一个 ...

2024年12月31日 · Data Flow Graphs (DFGs) 是一种用于建模数据在一系列操作中流动的强大表示方法。 在 计算机科学 中，它被广泛用于编译器设计、硬件设计以及性能优化等领域。 尽管文献中讨论了 DFG 的不同版本，但它们共享一些关键的共同特性，使得它们在概念上既优雅又实用。 让我们一步步理解吧！ 🌟. 💡 What is a Data Flow Graph (DFG)? 什么是数据流图 (DFG)?

cpg是一个ast、pdg、cfg联合的数据结构，包含了源代码中的语法特征和语义特征。 在C语言中，可以使用Joern来解析代码生成代码属性图以获取目标系统的所有函数，进一步对每个函数生成AST和PDG以进行下一步的处理。

All control edges together form a graph called the Control Flow Graph (CFG). All data edges together form a graph called the Data Flow Graph (DFG). Neither control edges nor data edges are a complete representation of a C (or assembly) program. In particular, you need both to fully capture the meaning of the C (or assembly) program.

2022年9月8日 · 概念： 控制流图（control-flow graph）简称CFG，是计算机科学中的表示法，利用数学中图的表示方式， 标示计算机程序执行过程中所经过的所有路径。 控制流图是由法兰·艾伦所建立，他提出Reese T. Prosser（英语：Reese Prosser）曾利用邻接矩阵用在流分析上。 性质： 特征： 优点： 可以轻松封装每个基本块的信息. 可以轻松找到程序中无法访问的代码，并且在控制流图中很容易找到循环等语法结构. 缺点： 只能表示控制依赖关系，数据依赖关系表示能力 …

这些简单的CFG/DFG图生成只是博主简单调用了一些相关工具，在此基础上可以进行代码优化和改进，或者写出一些效率更好的Pass，并且由于LLVM安装过程中的编译问题，似乎只有Debug版本的LLVM才可以使用可视化的命令，本来还想利用LLC工具中的llc -view-combine1-dags test ...

2019年5月24日 · 这里提供了 puts 方法的最简单声明，它是 printf: declare i32 puts(i8*) 的 LLVM 等同物。 该声明以关键字 declare 开始，后面紧跟着返回类型、函数名，以及该函数的可选参数列表。 该声明必须是全局范围的。 每个函数均以返回语句结尾。 有两种形式的返回语句： ret <type> <value> 或 ret void。 对于您简单的主例程，使用 ret i32 0 就足够了。 使用 call <function return type> <function name> <optional function arguments> 来调用函数。 注意，每个函数参 …

generating DFG and CFG from source code (using LLVM ) or from binary (using LLVM and Mcsema)

2024年4月15日 · CPG需要区分由 DFGPass 生成的DFG边和由 ControlFlowSensitiveDFGPass 生成的DFG边。 DFGPass 根据对变量的访问生成非常简单的边，具体如下： 关于以上DFG边的设计， 还处于不稳定的状态，官网给出了如下解释： This mostly serves one purpose: The current function pointer resolution requires such flows. Once the respective passes are redesigned, we may want to update this.