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

Global NetworkにアクセスしてPIPを使用する必要があります。対応するCコンパイラを備えたPython 3.9が必要です。 Pythonコンソールを実行して、Cコンパイラのバージョンを確認します。

使用法

このプロジェクトは、コマンドラインインターフェイスを介して使用することも、サブモジュールとして他のPythonプロジェクトに含めることもできます。

コマンドラインインターフェイス

スライス

完全な計算スライス（Nikolaos tsantalis and AlexanderChatzigeorgiou。2011。ExtractMethod Refactoring Methodの分解機会の識別）でソースファイルを分解する場合は、このコマンドを使用します。

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

位置的議論：

ソース- ソースフォルダー、ファイルまたはURL

オプションの引数：

-o 、 - output出力 - 出力ファイルまたはディレクトリ：出力として設定した内容に応じて、スライス分解または単一のファイルでいっぱいのフォルダーが取得されます。指定されていない場合は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

サブモジュールインターフェイス

制御依存グラフ- 対応する方法を持つコントロール依存性グラフ（ 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 -StatementTypeオブジェクト。
start_point-ステートメントの開始の行と列番号。
end_point-ステートメントの終わりの行と列番号。
rifected_by-現在のステートメントに影響を与える可能性のある変数の名前を持つ文字列のセット。
名前-ステートメントの名前が付いた文字列。すべてのステートメントが名前が付けられているわけではありません。
AST_NODE_TYPE-文字列ノードに関する追加情報（ASTルートのクラスなど）。

StatementType-ステートメントタイプを列挙する構造。

 from program_slicing . graph . statement import StatementType

関数- 関数宣言ステートメント。
変数- 変数宣言ステートメント。
割り当て- 変数割り当てステートメント（ i = 0 、 i += 1 、 i++など）。
call -function callステートメント。
scope -scopeステートメント（ブレース{}など、 if (...) a = 0の空のボディなど）。
ブランチ- フローを分岐させる声明（ if 、 try 、 catch 、 switchなど）。
ループ- 後方フロー（ for while ）を生成するブランチステートメント。
goto-導入声明に鉛が流れるという声明（ break 、 continue 、 throw 、 return 、さらにはelse ）。
不明- 他のすべてのステートメント。
exit-関数宣言の最後に配置された特別なステートメントは、サイズがゼロであり、すべての「返品」ノードと「スロー」ノードが流れを導きます（フローの最後のステートメントと同様に）。

基本ブロック-制御フローグラフノードを表す構造。

 from program_slicing . graph . basic_block import BasicBlock

ステートメント-基本ブロックのコンテンツ、つまりステートメントのリストを取得します。
root-基本ブロックから最初のステートメントを取得します。空の場合はありません。
追加- 指定されたステートメントを基本ブロックに追加します。
is_empty-基本ブロックにステートメントがない場合はtrueを返します。
分割- 指定されたインデックスによってコンテンツを分割し、元の基本ブロックで分割の最初の部分を残し、すべての残りのステートメントを含む新しい基本ブロックを返します。

プログラムグラフマネージャー- 同じソースコードに基づいて、さまざまなタイプのプログラムグラフ（制御フローグラフや制御依存グラフなど）を含み、分析のための一連の方法を提供する構造。

 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_statements- start_pointを増やし、次にend_pointを減らすことにより、最初にソートされたステートメントを返します。
general_Statements-一般的なステートメント（非SCOPE 、 BRANCH 、 LOOP 、 FUNCTION 、またはEXITステートメントに含まれていないもの）を返します。
scope_statements-すべてのSCOPE 、 BRANCH 、 LOOP 、またはFUNCTIONステートメントを返します。

パブリック方法：

get_basic_block-特定のステートメントを含む基本ブロック（コントロールフローグラフのノード）を返します。
get_boundary_blocks-ドミネートブロックとリーチブロックの交差点には、指定された1つのブロックが含まれる基本ブロックのセットを返します。
get_boundary_blocks_statement-指定されたステートメントが配置されている基本ブロックの境界ブロックのセットを返します。
get_dominated_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_statements_in_range-指定された範囲のすべてのステートメントを返します。
get_exit_statements-与えられたステートメントのフロー依存性の子供であるが、そのいずれでもない声明を返す。
get_affecting_statements-指定されたセットを形成しないいくつかのステートメントに影響する一連のステートメントからステートメントを返します。
get_changed_variables_statements-特定の一連のステートメントで変更された変数を表すVARIABLEステートメントを返します。
get_involved_variables_statements-特定の一連のステートメントに関連する変数（使用法を含む）を表すVARIABLEステートメントを返します。
cantain_redundant_statements-指定されたステートメントのセットに、指定されたセットに完全に含まれていない構造の一部が含まれているかどうかを確認します。

クラスの方法：

from_source_code-特定のソースコード文字列と言語説明によってすべてのグラフを構築します。
from_control_dependence_graph-特定のコントロール依存グラフですべてのグラフを構築します。
from_control_flow_graph-特定のコントロールフローグラフですべてのグラフを構築します。
from_data_dependence_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 )