program_slicing下载 - program_slicing源代码下载

program_slicing

其他类别

1.0.0

下载

分解

源代码分解的一组方法。

安装

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

您应该可以访问全球网络以使用PIP。需要带有相应C编译器的Python 3.9。运行Python控制台检查C编译器的版本。

用法

该项目可以通过命令行接口使用，也可以将其包含在任何其他Python项目中，作为subsodule。

命令行接口

片

如果您想通过完整的计算切片分解源文件（Nikolaos tsantalis和AlexanderChatzigeorgiou。2011。识别提取方法重构机会以使方法分解的机会）。

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

位置论点：

源- 源文件夹，文件或URL

可选参数：

-o ， - 输出输出 - 输出文件或目录：根据您设置为输出的内容，您将获得装满切片分解的文件夹或带有单个文件的文件夹。如果未指定，它使用Stdout

-h ， - 螺旋- 显示此帮助消息并退出

示例：

$ 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

subsodule接口

控制依赖图- 结构，该结构用相应的方法表示控制依赖图（从NetworkX.Digraph继承）。

 from program_slicing . graph . cdg import ControlDependenceGraph

add_entry_point-标记指定节点作为入口点。
get_entry_points-返回一组标记为入口点的节点。

控制流程图- 用相应方法代表控制流程图（从networkx.digraph继承）的结构。

 from program_slicing . graph . cfg import ControlFlowGraph

add_entry_point-标记指定节点作为入口点。
get_entry_points-返回一组标记为入口点的节点。

用相应方法代表数据依赖图（从NetworkX.Digraph继承）的数据依赖图- 结构。

 from program_slicing . graph . ddg import DataDependenceGraph

add_entry_point-标记指定节点作为入口点。
get_entry_points-返回一组标记为入口点的节点。

使用相应方法代表程序依赖图（从NetworkX.Digraph继承）的程序依赖图- 结构。

 from program_slicing . graph . pdg import ProgramDependenceGraph

add_entry_point-标记指定节点作为入口点。
get_entry_points-返回一组标记为入口点的节点。

语句- 表示控制依赖图，数据依赖图或程序依赖图节点的结构。

 from program_slicing . graph . statement import Statement

statement_type-语句type对象。
start_point-语句启动的行和列号。
end_point-语句结束的行和列号。
affected_by-一组字符串，带有可能影响当前语句的变量名称。
名称- 带有语句名称的字符串。并非所有语句都命名。
AST_NODE_TYPE-字符串，其中包含有关节点的其他信息（例如AST root的类）。

statementType-列举语句类型的结构。

 from program_slicing . graph . statement import StatementType

功能- 功能声明语句。
变量- 变量声明语句。
分配- 变量分配语句（例如i = 0 ， i += 1 ， i++等）。
呼叫- 函数呼叫语句。
范围- 范围语句（例如braces {}或在if (...) a = 0中的空白）。
分支- 分支流的语句（例如， if ， try ， catch ， switch ）。
循环- 生成向后流的分支语句（ for while ）。
goto-陈述导致流向具体的声明（例如break ， continue ， throw ， return甚至else ）。
未知- 所有其他语句。
出口- 放置在功能声明末尾的特殊语句，具有零大小，所有“返回”和“投掷”节点导致流入其中（以及流中的最后一个语句）。

基本块- 代表控制流程节点的结构。

 from program_slicing . graph . basic_block import BasicBlock

语句- 获取基本块的内容，即语句列表。
root-从基本块中获取第一个语句。如果是空的，则无。
附加- 将指定语句添加到基本块。
is_empty-如果基本块中没有语句，则返回true，否则 - false。
拆分- 按给定索引拆分内容，将拆分的第一部分放在原始基本块处，并返回一个新的基本块，其中包含所有剩余语句。

程序图管理器- 基于相同源代码的包含不同类型的程序图（例如控制流程图或控制依赖图）的结构，并提供了一组用于其分析的方法。

 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 ))

特性：

control_dependence_graph-返回控制依赖图。
control_flow_graph-返回控制流程图。
data_dependence_graph-返回数据依赖图。
program_dependence_graph-返回程序依赖图。
sorted_statement-返回语句通过增加其start_point首先排序，然后通过减少end_point来排序。
常规_statement-返回常规语句（任何不包含的非SCOPE ， BRANCH ， LOOP ， FUNCTION或EXIT语句中的内容）。
scope_statements-返回所有SCOPE ， BRANCH ， LOOP或FUNCTION语句。

公共方法：

get_basic_block-返回包含给定语句的基本块（是控制流程图的节点）。
get_boundary_blocks-返回一组基本块，这些基本块与主导和到达块相交，其中包含给定的一个块。
get_boundary_blocks_for_statement-返回放置给定语句的基本块的一组边界块。
get_domined_blocks返回一组由给定的基本块（即，它们的语句都放在给定基本块的根的控制依赖图子树中）。
GET_REACH_BLOCKS-返回一组从控制流图中给定的基本块。
get_statement_line_numbers-返回一组放置给定语句的行号。
get_function_statement-返回放置给定语句的最小FUNCTION语句。
get_function_statement_by_range-返回放置给定范围的最小函数语句。
get_scope_statement-返回包含给定语句的最小“范围”（ SCOPE ， LOOP ， BRANCH ）语句。
get_statements_in_scope-返回给定范围语句中的所有语句。
get_statement_in_range-返回给定范围内的所有语句。
GET_EXIT_STATEMENTS-返回的语句是给定语句的流依赖儿童，而不是其中一个。
get_aftecting_statements-从给定的一组语句中返回语句，这些语句影响某些语句而不是形成给定集。
get_changed_variables_statements-返回表示变量在给定的语句中更改的VARIABLE语句。
GET_INVOLVED_VARIABLES_STATEMENTS-返回代表给定语句集中涉及的变量（包括使用）的VARIABLE语句。
CONTAL_REDEANT_STATEMENTS-检查给定的一组语句是否包含了给定集中未完全包含的某些构造的一部分。

类方法：

FROF_Source_Code-通过给定的源代码字符串和语言描述构建所有图形。
from_control_dependence_graph-通过给定的控制依赖图构建所有图形。
FROF_Control_Flow_graph-通过给定的控制流程图构建所有图形。
FROF_DATA_DEVELENDENCE_GRAPH-通过给定的数据依赖图构建所有图形。
From_Program_dependence_graph-通过给定的程序依赖图构建所有图形。

解析- 允许从指定的源代码字符串和编程语言规范构建不同图形的功能集。

control_dependence_graph-解析控制依赖图：

 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-解析控制流程图：

 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-解析数据依赖图：

 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-解析程序依赖图：

 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-解析抽象语法树：

 from tree_sitter import Tree
from program_slicing . graph . parse import tree_sitter_ast , Lang

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

转换- 还有一个选项将一种类型的图形转换为另一种图形：

 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 )