تحليل تدفق التحكم
في علوم الحاسوب ، يُعد تحليل تدفق التحكم ( CFA ) أسلوبًا لتحليل الكود الثابت لتحديد تدفق التحكم في البرنامج. ويُعبَّر عن تدفق التحكم بمخطط تدفق التحكم (CFG). في كلٍّ من لغات البرمجة الوظيفية ولغات البرمجة كائنية التوجه ، يشير مصطلح CFA، ومصطلحات أخرى مثل k -CFA، إلى خوارزميات محددة لحساب تدفق التحكم.
في العديد من لغات البرمجة الإجرائية ، يكون مسار التحكم في البرنامج واضحًا في شفرة المصدر. ونتيجةً لذلك، يشير تحليل مسار التحكم بين الإجراءات ضمنيًا عادةً إلى أسلوب تحليل ثابت لتحديد مستقبلات استدعاءات الدوال أو الأساليب في برامج الحاسوب المكتوبة بلغة برمجة عالية المستوى . على سبيل المثال، في لغة برمجة ذات دوال عالية المستوى مثل Scheme ، قد لا يكون هدف استدعاء الدالة واضحًا: في التعبير المعزول
( lambda ( f ) ( f x ))من غير الواضح إلى أي إجراء fقد يُشير هذا التعبير. يجب أن يُراعي تحليل تدفق التحكم مكان استدعاء هذا التعبير والوسيط الذي قد يتلقاه لتحديد الأهداف المحتملة.
يمكن استخدام تقنيات مثل التفسير المجرد وحل القيود وأنظمة الأنواع لتحليل تدفق التحكم. [ 1 ]
انظر أيضاً
مراجع
- ↑ نيلسون، فليمنج؛ نيلسون، هان ريس ؛ هانكين، كريس (2005). مبادئ تحليل البرامج . سبرينغر ساينس + بيزنس ميديا .
روابط خارجية
- بالنسبة لكتاب مدرسي حول التحليل التوافقي الإجرائي الداخلي في اللغات الإجرائية
- برنامج محلل مالي معتمد في البرامج الوظيفية (استطلاع)
- فيما يتعلق بالعلاقة بين تحليل CFA في اللغات الوظيفية وتحليل النقاط في لغات البرمجة الإجرائية/البرمجة الكائنية التوجه
- تحليل تدفق التحكم