使用joern生成一段简单代码的CPG图。

Joern是一个强大的静态分析工具，用于处理Java、Kotlin等语言的代码。要生成简单的CPG (Control-Flow Graph) 图，首先你需要安装Joern并了解其基本用法。以下是使用Python API生成CPG图的一个简短示例：

from joern import Joern

# 初始化Joern环境
j = Joern()

# 加载Java文件
code_source = """
public class SimpleCode {
    public void main(String[] args) {
        int a = 5;
        if (a > 0) {
            System.out.println("Positive");
        } else {
            System.out.println("Zero or Negative");
        }
    }
}
"""

# 创建一个代码解析器
parser = j.parser.parseSourceString(code_source, 'java')

# 获取主函数的控制流图
main_method_cpg = parser.methodByName('main').cpg()

# 打印CPG图的基本信息
print(main_method_cpg.edges())

这个例子展示了如何从一个简单的Java程序创建一个控制流程图，它显示了`main`方法内的条件分支和循环结构。