หน้าแรก>ซอร์สโค้ด JSP>หมวดหมู่อื่นๆ
ดาวน์โหลด

การสลายตัว

ชุดของวิธีการสำหรับการสลายตัวของซอร์สโค้ด

การติดตั้ง

  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 Python 3.9 ที่มีคอมไพเลอร์ C ที่สอดคล้องกันเป็นสิ่งจำเป็น เรียกใช้คอนโซล Python เพื่อตรวจสอบเวอร์ชันของคอมไพเลอร์ C

การใช้งาน

โครงการนี้สามารถใช้ผ่าน อินเตอร์เฟสบรรทัดคำสั่ง หรือสามารถรวมอยู่ในโครงการ Python อื่น ๆ เป็น submodule

อินเตอร์เฟสบรรทัดคำสั่ง

ชิ้น

ใช้คำสั่งนี้หากคุณต้องการย่อยสลายไฟล์ต้นฉบับโดยการคำนวณอย่างสมบูรณ์ (Nikolaos Tsantalis และ Alexander Chatzigeorgiou. 2011. การระบุวิธีการแยกแยะวิธีการปรับเปลี่ยนโอกาสสำหรับการสลายตัวของวิธีการ) 

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

ข้อโต้แย้งตำแหน่ง:

แหล่งที่มา - โฟลเดอร์ต้นทางไฟล์หรือ URL

อาร์กิวเมนต์เสริม:

-O , - เอาต์พุตเอาต์พุต -ไฟล์เอาต์พุตหรือไดเรกทอรี: ขึ้นอยู่กับสิ่งที่คุณตั้งค่าเป็นเอาต์พุตคุณจะได้รับโฟลเดอร์ที่เต็มไปด้วยการสลายตัวของชิ้นหรือไฟล์เดียวด้วย ใช้ stdout หากไม่ได้ระบุ

-H , -HELP -แสดงข้อความช่วยเหลือและออกนี้

ตัวอย่าง: 

$ 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

อินเตอร์เฟส submodule

กราฟการพึ่งพาการควบคุม - โครงสร้างที่แสดงถึง กราฟการพึ่งพาการควบคุม (สืบทอดมาจาก 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
  • คำสั่ง _Type - ObtentType Object
  • start_point - หมายเลขบรรทัดและคอลัมน์ของการเริ่มต้น ของคำสั่ง
  • End_point - หมายเลขบรรทัดและคอลัมน์ของ คำสั่ง สิ้นสุด
  • ได้รับผลกระทบ _by - ชุดสตริงที่มีชื่อของตัวแปรที่อาจส่งผลกระทบต่อ คำสั่ง ปัจจุบัน
  • ชื่อ - สตริงที่มีชื่อของ คำสั่ง ไม่ได้ชื่อ ข้อความ ทั้งหมด
  • AST_NODE_TYPE - สตริงพร้อมข้อมูลเพิ่มเติมเกี่ยวกับโหนด (เช่นคลาสรูทของ AST)

คำแถลงการณ์ - โครงสร้างที่ระบุประเภท คำสั่ง 

 from program_slicing . graph . statement import StatementType
  • ฟังก์ชั่น - คำสั่ง ประกาศ ฟังก์ชั่น
  • ตัวแปร - คำ สั่ง ประกาศตัวแปร
  • การกำหนด - คำสั่ง การกำหนดตัวแปร (เช่น i = 0 , i += 1 , i++ , ฯลฯ )
  • คำ สั่ง การโทร - ฟังก์ชัน
  • ขอบเขต - คำสั่ง ขอบเขต (เช่นวงเล็บปีกกา {} หรือร่างว่างใน if (...) a = 0 )
  • สาขา - คำสั่ง ที่สาขาการไหล (เช่น if try , catch , switch )
  • ลูป - คำสั่ง สาขาที่สร้างการไหลย้อนกลับ ( for และ while )
  • GOTO - คำสั่ง ที่นำไปสู่การไหลไปยัง คำสั่ง คอนกรีต (เช่น break , continue , throw , return และยิ่ง else )
  • ไม่ทราบ - ข้อความ อื่น ๆ ทั้งหมด
  • ออก - ข้อความ พิเศษที่วางไว้ในตอนท้ายของการประกาศฟังก์ชันมีขนาดเป็นศูนย์และโหนด 'return' และ 'throw' ทั้งหมดนำไปสู่การไหลเข้าสู่มัน (เช่นเดียวกับ คำสั่ง สุดท้ายในการไหล)

บล็อกพื้นฐาน - โครงสร้างที่แสดงถึงโหนด กราฟการไหลของการควบคุม 

 from program_slicing . graph . basic_block import BasicBlock
  • คำสั่ง - รับเนื้อหาของ บล็อกพื้นฐาน คือรายการ คำสั่ง
  • รูท - รับ ข้อความ แรกจาก บล็อกพื้นฐาน ไม่มีถ้ามันว่างเปล่า
  • ผนวก - เพิ่ม คำสั่ง ที่ระบุใน บล็อกพื้นฐาน
  • is_empty - ส่งคืนจริงหากไม่มีคำสั่งใน บล็อกพื้นฐาน มิฉะนั้น - เท็จ
  • แยก - แยกเนื้อหาด้วยดัชนีที่กำหนดส่วนแรกของการแยกที่ บล็อกพื้นฐาน ดั้งเดิมและส่งคืน บล็อกพื้นฐาน ใหม่ซึ่งมี คำสั่ง REST ทั้งหมด

ตัวจัดการกราฟโปรแกรม - โครงสร้างที่มีกราฟโปรแกรมประเภทต่าง ๆ (เช่น กราฟการไหลของการควบคุม หรือ กราฟการควบคุมการควบคุม ) ขึ้นอยู่กับซอร์สโค้ดเดียวกันและจัดเตรียมชุดของวิธีการสำหรับการวิเคราะห์ 

 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 - ส่งคืน ข้อความ ทั่วไป (ที่ไม่ได้อยู่ใน BRANCH ที่ไม่ใช่ SCOPE สาขา LOOP FUNCTION หรือ คำ EXIT )
  • SCOPE_STATEMEMESS - ส่งคืน คำสั่ง SCOPE BRANCH LOOP หรือ FUNCTION ทั้งหมด

วิธีการสาธารณะ:

  • GET_BASIC_BLOCK - ส่งคืน บล็อกพื้นฐาน (นั่นคือโหนดของ กราฟโฟลว์ควบคุม ) ที่มี คำสั่ง ที่กำหนด
  • get_boundary_blocks - ส่งคืนชุดของ บล็อกพื้นฐาน ซึ่งจุดตัดของบล็อกที่ถูกครอบงำและการเข้าถึงมีบล็อกที่กำหนด
  • get_boundary_blocks_for_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_STATEMEMESS - คำสั่ง ส่งคืนที่เป็นลูก พึ่งพาการไหล ของข้อความที่กำหนด แต่ไม่ใช่หนึ่งในนั้น
  • GET_AFFECTING_STATEMEMESS - คำสั่ง ส่งคืนจากชุด คำสั่ง ที่กำหนดซึ่งส่งผลกระทบต่อ คำสั่ง บางอย่างที่ไม่ได้จัดทำชุดที่กำหนด
  • GET_CHANGED_VARIABLES_STATEMEMES - ส่งคืน คำสั่ง VARIABLE ที่แสดงถึงตัวแปรที่เปลี่ยนแปลงในชุด คำสั่ง ที่กำหนด
  • get_involved_variables_statements - ส่งคืน คำสั่ง VARIABLE ที่แสดงถึงตัวแปรที่เกี่ยวข้อง (รวมถึงการใช้งาน) ในชุด คำสั่ง ที่กำหนด
  • CONTERING_REDUNDANT_STATEMEMESS - ตรวจสอบว่าชุด คำสั่ง ที่กำหนดมีส่วนหนึ่งของการก่อสร้างบางส่วนไม่รวมอยู่ในชุดที่กำหนดหรือไม่

วิธีการเรียน:

  • From_Source_Code - สร้างกราฟทั้งหมดด้วยสตริงซอร์สโค้ดที่กำหนดและคำอธิบายภาษา
  • From_control_dependence_graph - สร้างกราฟทั้งหมดด้วย กราฟการพึ่งพาการควบคุม ที่กำหนด
  • From_control_flow_graph - สร้างกราฟทั้งหมดด้วย กราฟโฟลว์ควบคุม ที่กำหนด
  • From_data_dependence_graph - สร้างกราฟทั้งหมดด้วย กราฟการพึ่งพาข้อมูล ที่กำหนด
  • From_program_dependence_graph - สร้างกราฟทั้งหมดโดย กราฟการพึ่งพาโปรแกรม ที่กำหนด

Parse - ชุดของฟังก์ชั่นที่อนุญาตให้สร้างกราฟที่แตกต่างจากสตริงซอร์สโค้ดที่ระบุและข้อกำหนดภาษาการเขียนโปรแกรม

  • 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 )
ขยาย
ข้อมูลเพิ่มเติม
แอปที่เกี่ยวข้อง
แนะนำสำหรับคุณ
ข้อมูลที่เกี่ยวข้อง ทั้งหมด