منصوبے کے بارے میں

PyFlow Python کے لیے ایک الفا مرحلے کا پروگرام تجزیہ فریم ورک ہے، جو تحقیقی ٹول کٹ کے طور پر ڈیزائن کیا گیا ہے اور پروگرام تجزیہ کے بنیادی ڈھانچے، تجرباتی اصلاح کے مراحل اور سیکیورٹی چیکنگ کو یکجا کرتا ہے۔ یہ مختلف قسم کے درمیانی نمائندے (CFG، CDG، DDG، PDG، CPG، کم شدہ ڈیٹا فلو IR، اور مشترکہ اسٹور گراف ماڈل) فراہم کرتا ہے اور متعدد تجزیہ تکنیکوں کی حمایت کرتا ہے جن میں کال گراف کی تعمیر، IFDS، alias، IPA، CPA، shape، lifetime اور type تجزیہ شامل ہیں۔ فریم ورک میں ماڈیولر اصلاح کا پائپ لائن شامل ہے جس میں آسان بنانے، طریقہ کال کی اصلاح، کلوننگ، دلیل کی معمول سازی اور لوڈ/اسٹور کے خاتمے جیسے مراحل شامل ہیں۔ سیکیورٹی کے لیے، یہ AST پیٹرن میچنگ، AST پر مبنی ڈیٹا فلو، CPG پر مبنی اور IFDS سے تعاون یافتہ سیکیورٹی تجزیہ انجن پیش کرتا ہے۔ اس میں مقامی SBOM جنریشن، تقسیم کی سالمیت کی جانچ اور انحصار میٹا ڈیٹا نکالنے کے لیے سپلائی چین تجزیہ کی صلاحیتیں بھی شامل ہیں۔ PyFlow ایک CLI کے ساتھ آتا ہے جو IR ڈمپنگ، کال گراف جنریشن، سیکیورٹی تجزیہ، alias تجزیہ، concolic ٹیسٹ ان پٹ جنریشن اور سپلائی چین آپریشنز کے لیے کمانڈز کی حمایت کرتا ہے۔ یہ IDE انضمام اور معنوی سوالات کے لیے LSP اور MCP سرور موڈ بھی فراہم کرتا ہے۔ پروجیکٹ میں PySASTBench مائیکرو بینچ مارک پر تشخیصی نتائج شامل ہیں، جو اس کے سیکیورٹی انجنوں کے لیے درستگی/یادداشت کے میٹرکس دکھاتے ہیں۔ تنصیب کے لیے Python 3.10+ اور تصور کے لیے Graphviz کی ضرورت ہے۔ اسے pip کے ذریعے سورس سے انسٹال کیا جا سکتا ہے، جس میں ترقی اور PyCG سے تعاون یافتہ کال گراف الگورتھم کے لیے اختیاری اضافی چیزیں شامل ہیں۔ پروجیکٹ میں یونٹ اور انٹیگریشن ٹیسٹ سوٹ شامل ہیں جو IR، فرنٹ اینڈ، API اور چیکر اجزاء کا احاطہ کرتے ہیں۔