program graphs

程序图

一个实验性的Python库，用于为编写不同编程语言编写的程序构建图形。该库基于一个很棒的树木库，并且能够在程序中提供以下关系：

• 控制流
• 数据依赖性
• 语法依赖性

简单示例

来自控制台：

$ echo " if (x > 0) { y = 0; } " |  python3 -m program_graphs

来自Python：

 from program_graphs . adg import parse_java

java_code = '''
    if (x  > 0) {
        y = 0;
    }
'''

adg = parse_java ( java_code )
print ( adg )

预期的产出是节点及其之间的关系：

 From                        To                      Dependencies
----------------------  --  ----------------------  -------------------------------
program:1               ->  if:2                    syntax,control-flow
program:1               ->  block-exit:10           syntax
if:2                    ->  if_condition:3          syntax,control-flow
if:2                    ->  block:4                 syntax
if:2                    ->  if_exit:9               syntax
if_condition:3          ->  block:4                 control-flow
if_condition:3          ->  if_exit:9               control-flow
block:4                 ->  {:5                     syntax
block:4                 ->  }:7                     syntax
block:4                 ->  expression_statement:6  syntax,control-flow
block:4                 ->  block-exit:8            syntax
expression_statement:6  ->  block-exit:8            control-flow
block-exit:8            ->  if_exit:9               control-flow
if_exit:9               ->  block-exit:10           control-flow

如何安装

$ git clone --recurse-submodules [email protected]:acheshkov/program-graphs.git
$ pip install -r requirements/default.txt

限制

• 就目前而言，仅支持Java语言。
• 目前， CFG ， CDG ， DDG和AST关系已被解释；
• 不可能为项目或班级构建图形。仅支持唯一的方法级别