program_slicing

分解

源代碼分解的一組方法。

---

安裝

1. $ git clone [email protected]:acheshkov/program_slicing.git
2. $ cd program_slicing
3. $ git submodule update --recursive --init
4. $ 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 )