الصفحة الرئيسية>كود المصدر 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 آخر كوحدة فرعية.

واجهة سطر الأوامر

شريحة

استخدم هذا الأمر إذا كنت ترغب في تحلل الملفات المصدر عن طريق شريحة حساب كاملة (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

واجهة الجهاز الفرعي

التحكم في الاعتماد على الرسم البياني - الهيكل الذي يمثل الرسم البياني لاعتماد التحكم (موروثة من 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
  • state_type - كائن statletytype .
  • START_POINT - أرقام السطر والأعمدة لبدء البيان .
  • end_point - أرقام السطر والأعمدة في نهاية البيان .
  • Offected_by - مجموعة من السلاسل بأسماء المتغيرات التي قد تؤثر على البيان الحالي.
  • الاسم - سلسلة باسم البيان . ليست كل البيانات تسمي.
  • AST_NODE_TYPE - سلسلة مع معلومات إضافية حول العقدة (مثل فئة AST ROOT).

stitletytype - الهيكل الذي يعدد أنواع البيان . 

 from program_slicing . graph . statement import StatementType
  • وظيفة - بيان إعلان الوظيفة.
  • متغير - بيان الإعلان المتغير.
  • التعيين - بيان التعيين المتغير (مثل i = 0 ، i += 1 ، i++ ، إلخ).
  • استدعاء - بيان الاتصال وظيفة.
  • بيان النطاق - النطاق (مثل الأقواس {} أو الجسم الفارغ في if (...) a = 0 ).
  • الفرع - البيان الذي يفرع التدفق ( if ، try ، catch ، switch ).
  • حلقة - بيان الفرع الذي يولد التدفق الخلفي while مثل for ).
  • GOTO - بيان يؤدي إلى التدفق إلى بيان ملموس (مثل break continue throw return وحتى else ).
  • غير معروف - جميع العبارات الأخرى.
  • الخروج - بيان خاص يتم وضعه في نهاية إعلان الوظيفة ، له حجم صفري وجميع العقد "العائد" و "رمي" يؤدي إلى التدفق (وكذلك البيان الأخير في التدفق).

الكتلة الأساسية - بنية تمثل عقد الرسم البياني لتدفق التحكم . 

 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 - إرجاع البيانات العامة (تلك غير الواردة في أي SCOPE أو BRANCH أو LOOP أو FUNCTION أو EXIT ).
  • Scope_Statements - إرجاع كل بيانات 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_statements - عبارات الإرجاع التي هي اعتماد تدفق الأطفال من العبارات المعطاة ولكن ليس أحدهم.
  • get_affecting_statements - عبارات الإرجاع من مجموعة العبارات المحددة التي تؤثر على بعض العبارات لا تشكل المجموعة المحددة.
  • get_changed_variables_statements - عبارات VARIABLE التي تمثل المتغيرات التي تم تغييرها في مجموعة العبارات المحددة.
  • get_involved_variables_statements - عبارات VARIABLE التي تمثل المتغيرات المعنية (بما في ذلك الاستخدام) في مجموعة العبارات المحددة.
  • contain_redundundunt_statements - تحقق مما إذا كانت مجموعة العبارات المحددة تحتوي على جزء من بعض الإنشاءات غير مدرجة بالكامل في المجموعة المحددة.

طرق الفصل:

  • 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 )
يوسع
معلومات إضافية
تطبيقات ذات صلة
نوصي لك
أخبار ذات صلة الكل