program graphs

Grafos de programa

Uma biblioteca experimental do Python para criar gráficos para programas escritos em diferentes linguagens de programação. A biblioteca é baseada em uma ótima biblioteca de ator de árvores e é capaz de fornecer as seguintes relações em um programa:

• Fluxo de controle
• Dependência de dados
• Dependência da sintaxe

Exemplo simples

Do console:

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

De Python:

 from program_graphs . adg import parse_java

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

adg = parse_java ( java_code )
print ( adg )

Saída esperada são nós e relações entre eles:

 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

Como instalar

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

Limitações

• Por enquanto, apenas uma língua Java é suportada;
• Por enquanto, as relações CFG , CDG , DDG e AST são contabilizadas;
• Não é possível criar gráficos para um projeto ou classe. Apenas o nível do método é suportado