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關係已被解釋；
• 不可能為項目或班級構建圖形。僅支持唯一的方法級別