इस प्रोजेक्ट के बारे में

PyFlow Python के लिए एक अल्फा-चरण का प्रोग्राम विश्लेषण फ्रेमवर्क है, जिसे एक शोध टूलकिट के रूप में डिज़ाइन किया गया है जो प्रोग्राम विश्लेषण इन्फ्रास्ट्रक्चर, प्रयोगात्मक ऑप्टिमिजेशन पास और सुरक्षा जांच को जोड़ता है। यह मध्यवर्ती निरूपणों (CFG, CDG, DDG, PDG, CPG, लोअर्ड डेटा फ्लो IR और एक साझा स्टोर ग्राफ मॉडल) की एक विस्तृत श्रृंखला प्रदान करता है और कॉल ग्राफ निर्माण, IFDS, एलियास, IPA, CPA, शेप, लाइफटाइम और टाइप विश्लेषण सहित कई विश्लेषण तकनीकों का समर्थन करता है। यह फ्रेमवर्क सरलीकरण, मेथड-कॉल ऑप्टिमाइजेशन, क्लोनिंग, आर्ग्युमेंट नॉर्मलाइजेशन और लोड/स्टोर एलिमिनेशन जैसे पास के साथ एक मॉड्यूलर ऑप्टिमाइजेशन पाइपलाइन शामिल करता है। सुरक्षा के लिए, यह AST पैटर्न मैचिंग, AST-आधारित डेटाफ्लो, CPG-आधारित और IFDS-समर्थित सुरक्षा विश्लेषण इंजन प्रदान करता है। इसमें स्थानीय SBOM जेनरेशन, वितरण अखंडता ऑडिटिंग और डिपेंडेंसी मेटाडेटा निष्कर्षण के लिए सप्लाई-चेन विश्लेषण क्षमताएं भी शामिल हैं। PyFlow में IR डंपिंग, कॉल ग्राफ जेनरेशन, सुरक्षा विश्लेषण, एलियास विश्लेषण, कॉन्कोलिक टेस्ट-इनपुट जेनरेशन और सप्लाई-चेन ऑपरेशन्स के लिए कमांड के साथ एक CLI शामिल है। यह IDE एकीकरण और सेमांटिक क्वेरीज़ के लिए LSP और MCP सर्वर मोड भी प्रदान करता है। परियोजना में PySASTBench माइक्रोबेंचमार्क पर मूल्यांकन परिणाम शामिल हैं, जो इसके सुरक्षा इंजनों के लिए प्रिसिजन/रिकॉल मेट्रिक्स दिखाते हैं। इंस्टॉलेशन के लिए Python 3.10+ और विजुअलाइजेशन के लिए Graphviz की आवश्यकता होती है। इसे स्रोत से pip के माध्यम से इंस्टॉल किया जा सकता है, जिसमें डेवलपमेंट और PyCG-समर्थित कॉल ग्राफ एल्गोरिदम के लिए वैकल्पिक एक्स्ट्रा शामिल हैं। परियोजना में IR, फ्रंटएंड, API और चेकर घटकों को कवर करने वाले यूनिट और इंटीग्रेशन टेस्ट सुइट शामिल हैं।