Página Inicial>Código fonte JSP>Outras categorias
Baixar

Decomposição

Conjunto de métodos para decomposição do código -fonte.

Instalação

  1. $ git clone [email protected]:acheshkov/program_slicing.git
  2. $ cd program_slicing
  3. $ git submodule update --recursive --init
  4. $ pip3 install ./program_slicing

Você deve ter acesso à rede global para usar o PIP. Python 3.9 com o compilador C correspondente é necessário. Execute o console do Python para verificar a versão do compilador C.

Uso

Este projeto pode ser usado via interface da linha de comando ou pode ser incluída em qualquer outro projeto Python como submódulo.

Interface da linha de comando

fatiar

Use este comando se desejar decompor arquivos de origem por fatia completa de computação (Nikolaos Tsantalis e Alexander Chatzigeorgiou. 2011. Identificação do método de extrato Refatoração de oportunidades para a decomposição dos métodos). 

$ python cli.py slice [-h]
                      [-o OUTPUT]
                      source

Argumentos posicionais:

fonte - pasta de origem, arquivo ou URL

Argumentos opcionais:

-O , -O -saída Saída -Arquivo de saída ou diretório: Dependendo do que você definir como saída, você fará com que a pasta cheia de decomposições de fatia ou de um único arquivo com ele. Ele usa stdout se não for especificado

-h , --help -mostre esta mensagem de ajuda e saída

Exemplos: 

$ python cli.py slice MyProjectPath
$ python cli.py slice MyFile.java
$ python cli.py slice MyProjectPath --output MyResultPath
$ python cli.py slice MyFile.java --output MyResultPath

Interface submodule

Gráfico de dependência de controle - estrutura que representa o gráfico de dependência de controle (herdado de networkx.digraph ) com métodos correspondentes. 

 from program_slicing . graph . cdg import ControlDependenceGraph
  • add_entry_point - Marque o nó especificado como ponto de entrada.
  • get_entry_points - retorne um conjunto de nós que marcaram como ponto de entrada.

Gráfico de fluxo de controle - estrutura que representa o gráfico de fluxo de controle (herdado de networkx.digraph ) com métodos correspondentes. 

 from program_slicing . graph . cfg import ControlFlowGraph
  • add_entry_point - Marque o nó especificado como ponto de entrada.
  • get_entry_points - retorne um conjunto de nós que marcaram como ponto de entrada.

Gráfico de dependência de dados - estrutura que representa o gráfico de dependência de dados (herdado de networkx.digraph ) com métodos correspondentes. 

 from program_slicing . graph . ddg import DataDependenceGraph
  • add_entry_point - Marque o nó especificado como ponto de entrada.
  • get_entry_points - retorne um conjunto de nós que marcaram como ponto de entrada.

Gráfico de dependência do programa - estrutura que representa o gráfico de dependência do programa (herdado de networkx.digraph ) com métodos correspondentes. 

 from program_slicing . graph . pdg import ProgramDependenceGraph
  • add_entry_point - Marque o nó especificado como ponto de entrada.
  • get_entry_points - retorne um conjunto de nós que marcaram como ponto de entrada.

Declaração - Estrutura que representa o gráfico de dependência de controle , o gráfico de dependência de dados ou os nós do gráfico de dependência de programas . 

 from program_slicing . graph . statement import Statement
  • declaração_type - objeto de declaração .
  • start_point - números de linha e coluna do início da instrução .
  • end_point - números de linha e coluna do final da instrução .
  • afetado_by - conjunto de strings com nomes de variáveis ​​que podem afetar a instrução atual.
  • Nome - String com o nome da instrução . Nem todas as declarações são nomeadas.
  • AST_NODE_TYPE - String com informações adicionais sobre o nó (por exemplo, a classe de uma raiz AST).

DeclaraçãoType - estrutura que enumera os tipos de declaração . 

 from program_slicing . graph . statement import StatementType
  • Declaração de declaração da função - função.
  • Declaração de declaração variável - variável.
  • Tarefa - Declaração de atribuição de variável (como i = 0 , i += 1 , i++ , etc).
  • CHAMADA - FUNÇÃO CHAMADA DA FUNÇÃO.
  • Escopo - declaração de escopo (como aparelho {} ou corpo vazio em if (...) a = 0 ).
  • Filial - Declaração que ramifica o fluxo (como if , try , catch , switch ).
  • LOOP - Declaração de ramificação que gera fluxo para trás (como for e while ).
  • GOTO - Declaração de que o chumbo flui para uma declaração concreta (como break , continue , throw , return e até else ).
  • Desconhecido - todas as outras declarações .
  • Exit - declaração especial que é colocada no final da declaração de função, possui tamanho zero e todos os nós 'retornar' e 'arremesso' levam o fluxo a ele (assim como a última declaração no fluxo).

Bloco básico - estrutura que representa nós de gráfico de fluxo de controle . 

 from program_slicing . graph . basic_block import BasicBlock
  • Declarações - Obtenha o conteúdo do bloco básico , ou seja, uma lista de instruções .
  • ROOT - Obtenha a primeira declaração do bloco básico . Nenhum se estiver vazio.
  • Anexar - Adicione uma instrução especificada ao bloco básico .
  • IS_EMPTY - Retorne true se não houver declarações no bloco básico , caso contrário - false.
  • O conteúdo dividido - dividido pelo índice fornecido, deixado a primeira parte da divisão no bloco básico original e retorne um novo bloco básico que contém todas as declarações de restos.

Programa Gráfico Gerenciador - Estrutura que contém diferentes tipos de gráficos de programas (como gráfico de fluxo de controle ou gráfico de dependência de controle ) com base no mesmo código -fonte e fornece um conjunto de métodos para sua análise. 

 from program_slicing . graph . parse import Lang
from program_slicing . graph . parse import control_dependence_graph
from program_slicing . graph . parse import control_flow_graph
from program_slicing . graph . manager import ProgramGraphsManager

manager_by_source = ProgramGraphsManager ( source_code , Lang . JAVA )

manager_by_cdg = ProgramGraphsManager . from_control_dependence_graph ( control_dependence_graph ( source_code , Lang . JAVA ))

manager_by_cfg = ProgramGraphsManager . from_control_flow_graph ( control_flow_graph ( source_code , Lang . JAVA ))

Propriedades:

  • CONTROL_DEPENDENCE_GRAPH - Retorne o gráfico de dependência de controle .
  • CONTROL_FLOW_GRAPH - Retorne o gráfico de fluxo de controle .
  • data_dependence_graph - retorna o gráfico de dependência de dados .
  • Program_dependence_graph - Retorne o gráfico de dependência do programa .
  • STATED_STATEMS - Retornar instruções que são classificadas primeiro, aumentando seu start_point e depois diminuindo o end_point .
  • General_statements - Retorne declarações gerais (aquelas que não estão contidas em nenhuma instrução NÃO SCOPE , BRANCH , LOOP , FUNCTION ou EXIT ).
  • Scope_Statements - Retorne todo o SCOPE , BRANCH , LOOP ou declarações FUNCTION .

Métodos públicos:

  • get_basic_block - retorne um bloco básico (que é um nó do gráfico de fluxo de controle ) que contém uma determinada instrução .
  • get_boundery_blocks - retorne um conjunto de blocos básicos que a interseção de blocos dominados e de alcance contêm o bloco fornecido.
  • get_boundery_blocks_for_statement - retorne um conjunto de blocos de limite para o bloco básico no qual a instrução fornecida é colocada.
  • get_domined_blocks retorna um conjunto de blocos básicos que são dominados pelo dado (ou seja, suas declarações são colocadas em um gráfico de dependência de controle subárvore da raiz do bloco básico fornecido).
  • get_reach_blocks - retorne um conjunto de blocos básicos que são acessíveis a partir do dado no gráfico de fluxo de controle .
  • get_statement_line_numbers - retorne um conjunto de números de linha nos quais a instrução fornecida é colocada.
  • get_function_statement - Retorne a instrução FUNCTION mínima na qual a instrução fornecida é colocada.
  • get_function_statement_by_range - retorne a instrução de função mínima na qual o intervalo fornecido é colocado.
  • get_scope_statement - retorne uma declaração mínima de 'escopo' ( SCOPE , LOOP , BRANCH ) que contém uma determinada instrução .
  • get_statements_in_scope - Retorne todas as instruções na instrução SCOPE fornecida.
  • get_statements_in_Range - Retorne todas as instruções no intervalo fornecido.
  • get_exit_statements - Retornar declarações que são dependência de fluxo filhos das declarações dadas, mas não uma delas.
  • get_affecting_statements - Retornar instruções do conjunto fornecido de instruções que afetam alguma instrução não formam o conjunto fornecido.
  • get_changed_variables_statements - retorna instruções VARIABLE ​​que representam variáveis ​​alteradas no conjunto de instruções fornecidas.
  • get_involved_variables_statements - retorna instruções VARIABLE ​​que representam variáveis ​​envolvidas (incluindo uso) no conjunto de instruções fornecidas.
  • CONTENTE_REDUNDANT_STATEMENTS - Verifique se o conjunto de instruções fornecido contém parte de alguma construção não totalmente incluída no conjunto especificado.

Métodos de classe:

  • From_source_code - Crie todos os gráficos por uma determinada string de código -fonte e uma descrição do idioma.
  • from_control_dependence_graph - Crie todos os gráficos por um determinado gráfico de dependência de controle .
  • from_control_flow_graph - Crie todos os gráficos por um determinado gráfico de fluxo de controle .
  • from_data_dependence_graph - Crie todos os gráficos por um determinado gráfico de dependência de dados .
  • From_Program_dependence_graph - Crie todos os gráficos por um determinado gráfico de dependência do programa .

Parse - Conjunto de funções que permitem criar gráficos diferentes a partir da sequência de código -fonte especificada e especificação da linguagem de programação.

  • CONTROL_DEPENDENCE_GRAPH - Analisar um gráfico de dependência de controle : 
 from program_slicing . graph . cdg import ControlDependenceGraph
from program_slicing . graph . parse import control_dependence_graph , Lang

cdg : ControlDependenceGraph = control_dependence_graph ( source_code , Lang . JAVA )
  • CONTROL_FLOW_GRAPH - Analisar um gráfico de fluxo de controle : 
 from program_slicing . graph . cfg import ControlFlowGraph
from program_slicing . graph . parse import control_flow_graph , Lang

cfg : ControlFlowGraph = control_flow_graph ( source_code , Lang . JAVA )
  • data_dependence_graph - analisar um gráfico de dependência de dados : 
 from program_slicing . graph . ddg import DataDependenceGraph
from program_slicing . graph . parse import data_dependence_graph , Lang

ddg : DataDependenceGraph = data_dependence_graph ( source_code , Lang . JAVA )
  • Program_dependence_graph - Analisar um gráfico de dependência do programa : 
 from program_slicing . graph . pdg import ProgramDependenceGraph
from program_slicing . graph . parse import program_dependence_graph , Lang

pdg : ProgramDependenceGraph = program_dependence_graph ( source_code , Lang . JAVA )
  • Tree_sitter_ast - Analise uma árvore abstrata de sintaxe : 
 from tree_sitter import Tree
from program_slicing . graph . parse import tree_sitter_ast , Lang

ast : Tree = tree_sitter_ast ( source_code , Lang . JAVA )

Converter - Há também uma opção para converter um tipo de gráfico para outro: 

 from program_slicing . graph import convert
from program_slicing . graph . cdg import ControlDependenceGraph
from program_slicing . graph . cfg import ControlFlowGraph

cdg : ControlDependenceGraph = ControlDependenceGraph ()
cfg : ControlFlowGraph = convert . cdg . to_cfg ( cdg )
new_cdg : ControlDependenceGraph = convert . cfg . to_cdg ( cfg )
Expandir
Informações adicionais
Aplicativos Relacionados
Recomendado para você
Informações Relacionadas Todos