Beranda>Kode sumber JSP>Kategori lainnya
Unduh

Penguraian

Set metode untuk dekomposisi kode sumber.

Instalasi

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

Anda harus memiliki akses ke jaringan global untuk menggunakan PIP. Python 3.9 dengan kompiler C yang sesuai diperlukan. Jalankan Python Console untuk memeriksa versi C Compiler.

Penggunaan

Proyek ini dapat digunakan melalui antarmuka baris perintah , atau dapat dimasukkan ke dalam proyek Python lainnya sebagai submodule.

Antarmuka baris perintah

mengiris

Gunakan perintah ini jika Anda ingin menguraikan file sumber dengan irisan komputasi lengkap (Nikolaos tsantalis dan Alexander ChatzigeoRgiou. 2011. Identifikasi metode refactoring metode ekstrak untuk dekomposisi metode). 

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

Argumen Posisi:

Sumber - Folder Sumber, File atau URL

Argumen opsional:

-O , -Output Output -File atau direktori output: Bergantung pada apa yang Anda tetapkan sebagai output, Anda akan mendapatkan folder penuh dekomposisi irisan atau satu file dengannya. Itu menggunakan stdout jika tidak ditentukan

-h , --help -tunjukkan pesan bantuan ini dan keluar

Contoh: 

$ 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

Antarmuka submodule

Grafik Ketergantungan Kontrol - Struktur yang mewakili grafik ketergantungan kontrol (diwarisi dari NetworkX.Digraph ) dengan metode yang sesuai. 

 from program_slicing . graph . cdg import ControlDependenceGraph
  • add_entry_point - tanda node yang ditentukan sebagai titik masuk.
  • get_entry_points - kembalikan satu set node yang ditandai sebagai titik masuk.

Grafik Aliran Kontrol - Struktur yang mewakili grafik aliran kontrol (diwarisi dari Networkx.Digraph ) dengan metode yang sesuai. 

 from program_slicing . graph . cfg import ControlFlowGraph
  • add_entry_point - tanda node yang ditentukan sebagai titik masuk.
  • get_entry_points - kembalikan satu set node yang ditandai sebagai titik masuk.

Grafik Ketergantungan Data - Struktur yang mewakili grafik ketergantungan data (diwarisi dari NetworkX.Digraph ) dengan metode yang sesuai. 

 from program_slicing . graph . ddg import DataDependenceGraph
  • add_entry_point - tanda node yang ditentukan sebagai titik masuk.
  • get_entry_points - kembalikan satu set node yang ditandai sebagai titik masuk.

Grafik Ketergantungan Program - Struktur yang mewakili grafik ketergantungan program (diwarisi dari NetworkX.Digraph ) dengan metode yang sesuai. 

 from program_slicing . graph . pdg import ProgramDependenceGraph
  • add_entry_point - tanda node yang ditentukan sebagai titik masuk.
  • get_entry_points - kembalikan satu set node yang ditandai sebagai titik masuk.

Pernyataan - Struktur yang mewakili grafik ketergantungan kontrol , grafik ketergantungan data atau node grafik ketergantungan program . 

 from program_slicing . graph . statement import Statement
  • Pernyataan_Type - Objek Pernyataan .
  • start_point - nomor baris dan kolom dari awal pernyataan .
  • end_point - Nomor baris dan kolom dari akhir pernyataan .
  • terpengaruh_by - set string dengan nama variabel yang dapat mempengaruhi pernyataan saat ini.
  • Nama - String dengan nama pernyataan . Tidak semua pernyataan bernama.
  • AST_NODE_TYPE - String dengan informasi tambahan tentang node (misalnya kelas AST root).

Pernyataan TYPET - Struktur yang menyebutkan jenis pernyataan . 

 from program_slicing . graph . statement import StatementType
  • Pernyataan Deklarasi Fungsi - Fungsi.
  • Pernyataan Deklarasi Variabel - Variabel.
  • Penugasan - Pernyataan Penugasan Variabel (seperti i = 0 , i += 1 , i++ , dll).
  • Panggilan - Pernyataan Panggilan Fungsi.
  • SCOPE - SCOPE PERNYATAAN (seperti kawat gigi {} atau bodi kosong di if (...) a = 0 ).
  • Cabang - Pernyataan yang bercabang aliran (seperti if , try , catch , switch ).
  • Loop - Pernyataan cabang yang menghasilkan aliran mundur (seperti for dan while ).
  • GOTO - Pernyataan bahwa aliran timbal ke pernyataan konkret (seperti break , continue , throw , return dan bahkan else ).
  • Tidak Diketahui - Semua pernyataan lainnya.
  • Keluar - Pernyataan khusus yang ditempatkan di akhir Deklarasi Fungsi, memiliki ukuran nol dan semua node 'Return' dan 'Throw' mengarah ke dalamnya (serta pernyataan terakhir dalam aliran).

Blok Dasar - Struktur yang mewakili node grafik aliran kontrol . 

 from program_slicing . graph . basic_block import BasicBlock
  • Pernyataan - Dapatkan konten blok dasar , yaitu daftar pernyataan .
  • Root - Dapatkan pernyataan pertama dari blok dasar . Tidak ada jika itu kosong.
  • Tambahkan - Tambahkan pernyataan yang ditentukan ke blok dasar .
  • is_empty - return true jika tidak ada pernyataan di blok dasar , jika tidak - false.
  • Split - split konten dengan indeks yang diberikan, kiri bagian pertama dari split di blok dasar asli dan kembalikan blok dasar baru yang berisi semua pernyataan istirahat.

Program Graphs Manager - Struktur yang berisi berbagai jenis grafik program (seperti grafik aliran kontrol atau grafik ketergantungan kontrol ) berdasarkan kode sumber yang sama dan menyediakan serangkaian metode untuk analisisnya. 

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

Properti:

  • control_dependence_graph - kembalikan grafik ketergantungan kontrol .
  • control_flow_graph - Kembalikan grafik aliran kontrol .
  • Data_Dependence_Graph - Kembalikan grafik ketergantungan data .
  • Program_Dependence_Graph - Kembalikan grafik ketergantungan program .
  • sorted_statements - pernyataan pengembalian yang diurutkan terlebih dahulu dengan meningkatkan start_point mereka, kemudian dengan mengurangi end_point mereka.
  • General_Statements - Kembalikan pernyataan umum (yang tidak terkandung dalam non SCOPE , BRANCH , LOOP , FUNCTION atau pernyataan EXIT ).
  • scope_statements - kembalikan semua SCOPE , BRANCH , LOOP atau pernyataan FUNCTION .

Metode publik:

  • get_basic_block - kembalikan blok dasar (itu adalah simpul grafik aliran kontrol ) yang berisi pernyataan yang diberikan.
  • get_boundary_blocks - Kembalikan satu set blok dasar yang persimpangan blok yang didominasi dan jangkauan berisi satu blok yang diberikan.
  • get_boundary_blocks_for_statement - kembalikan satu set blok batas untuk blok dasar di mana pernyataan yang diberikan ditempatkan.
  • get_dominated_blocks mengembalikan satu set blok dasar yang didominasi oleh yang diberikan (yaitu pernyataan mereka ditempatkan dalam subtree grafik ketergantungan kontrol dari akar blok dasar yang diberikan).
  • get_reach_blocks - kembalikan satu set blok dasar yang dapat dijangkau dari yang diberikan dalam grafik aliran kontrol .
  • get_statement_line_numbers - kembalikan satu set nomor baris di mana pernyataan yang diberikan ditempatkan.
  • get_function_statement - kembalikan pernyataan FUNCTION minimal di mana pernyataan yang diberikan ditempatkan.
  • get_function_statement_by_range - Kembalikan pernyataan fungsi minimal di mana rentang yang diberikan ditempatkan.
  • get_scope_statement - kembalikan pernyataan minimal 'seperti lingkup' ( SCOPE , LOOP , BRANCH ) yang berisi pernyataan yang diberikan.
  • get_statements_in_scope - kembalikan semua pernyataan dalam pernyataan lingkup yang diberikan.
  • get_statements_in_range - kembalikan semua pernyataan dalam kisaran yang diberikan.
  • get_exit_statements - pernyataan pengembalian yang merupakan ketergantungan aliran anak -anak dari pernyataan yang diberikan tetapi tidak satu pun dari mereka.
  • get_affecting_statements - Pernyataan pengembalian dari rangkaian pernyataan yang diberikan yang mempengaruhi beberapa pernyataan tidak membentuk set yang diberikan.
  • get_changed_variables_statements - Kembalikan pernyataan VARIABLE yang mewakili variabel yang diubah dalam set pernyataan yang diberikan.
  • get_involved_variables_statements - Kembalikan pernyataan VARIABLE yang mewakili variabel yang terlibat (termasuk penggunaan) dalam set pernyataan yang diberikan.
  • contain_redundant_statements - Periksa apakah set pernyataan yang diberikan berisi bagian dari beberapa konstruksi yang tidak sepenuhnya termasuk dalam set yang diberikan.

Metode Kelas:

  • from_source_code - Bangun semua grafik dengan string kode sumber yang diberikan dan deskripsi bahasa.
  • from_control_dependence_graph - Bangun semua grafik dengan grafik ketergantungan kontrol yang diberikan.
  • from_control_flow_graph - Bangun semua grafik dengan grafik aliran kontrol yang diberikan.
  • from_data_dependence_graph - Bangun semua grafik dengan grafik ketergantungan data yang diberikan.
  • from_program_dependence_graph - Bangun semua grafik dengan grafik ketergantungan program yang diberikan.

Parse - Set fungsi yang memungkinkan untuk membangun grafik yang berbeda dari string kode sumber yang ditentukan dan spesifikasi bahasa pemrograman.

  • control_dependence_graph - Parse grafik ketergantungan kontrol : 
 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 - Parse grafik aliran kontrol : 
 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 - Parse grafik ketergantungan data : 
 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 - Parse grafik ketergantungan program : 
 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 - Parse pohon sintaksis abstrak : 
 from tree_sitter import Tree
from program_slicing . graph . parse import tree_sitter_ast , Lang

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

Konversi - Ada juga opsi untuk mengonversi satu jenis grafik ke yang lain: 

 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 )
Memperluas
Informasi Tambahan
Aplikasi Terkait
Direkomendasikan untuk Anda
Informasi Terkait Semua