Awesome GitHub RepositoriesUnreachable Code Analysis

Vulture is a static analysis tool and linter designed to find unused variables, functions, and classes in Python source code. It operates as a dead code detector and unused code finder that scans source files to identify unreachable expressions and imports without executing the code. The tool employs a confidence-based heuristic scoring system to assign probability values to detections, helping to distinguish truly unused symbols from potential false positives. It further assists in pruning dead logic by sorting detected unused classes and functions by line count to prioritize the removal of

Simplify एक Android वर्चुअल मशीन सैंडबॉक्स, बाइटकोड निष्पादन ट्रेसर और स्टेटिक एनालिसिस फ्रेमवर्क है। इसे बाइनरी से पठनीय कोड को रिकवर करने के लिए डिज़ाइन किया गया है, जो भौतिक डिवाइस के बिना प्रोग्राम व्यवहार का अनुकरण (simulate) करता है। यह प्रोजेक्ट रिफ्लेक्शन कॉल्स को रिज़ॉल्व करने और कॉन्स्टेंट प्रोपेगेशन व डेड कोड रिमूवल के माध्यम से अस्पष्ट (obfuscated) कोड को सरल बनाने के लिए निष्पादन ग्राफ विश्लेषण का उपयोग करता है। यह सभी संभावित सशर्त शाखा परिणामों को ट्रैक करने के लिए मल्टी-पाथ निष्पादन सिमुलेशन का उपयोग करता है और कॉन्स्टेंट वैल्यू की पहचान करने के लिए इंस्ट्रक्शन फ्लो को मैप करता है। यह सिस्टम एक्सेप्शन प्रोपेगेशन ट्रेसिंग, मेथड साइड-इफेक्ट कैटेगराइजेशन और Java API कॉल सिमुलेशन सहित विश्लेषण क्षमताओं की एक विस्तृत श्रृंखला को कवर करता है। यह वर्चुअल मशीन स्टेट्स की निगरानी या ओवरराइड करने के लिए कस्टम हुक के माध्यम से मेथड निष्पादन को इंटरसेप्ट करने के लिए तंत्र भी प्रदान करता है।

onnxsim एक डीप लर्निंग ग्राफ़ ऑप्टिमाइज़र और मॉडल सिंपलीफायर है जिसे ONNX कंप्यूटेशन ग्राफ़ की जटिलता को कम करने के लिए डिज़ाइन किया गया है। यह एक मॉडल कंप्रेसर के रूप में कार्य करता है जो परिचालन ओवरहेड को कम करने के लिए जटिल ऑपरेटर अनुक्रमों को सरलीकृत निरंतर आउटपुट के साथ बदल देता है। यह प्रोजेक्ट निरंतर फोल्डिंग इन्फरेंस के माध्यम से सरलीकरण प्राप्त करता है, जो निरंतर ऑपरेटरों के सबग्राफ़ को पूर्व-गणना किए गए निरंतर टेंसर के साथ बदल देता है। यह अनावश्यक नोड्स या अप्राप्य ऑपरेशनों की पहचान करने और उन्हें हटाने के लिए पैटर्न-आधारित ग्राफ़ रीराइटिंग और स्टेटिक कंप्यूटेशन ग्राफ़ विश्लेषण का उपयोग करता है। यह टूल ऑपरेटर अतिरेक उन्मूलन (redundancy elimination) और अनावश्यक रीशेप या आइडेंटिटी नोड्स को हटाने सहित व्यापक मॉडल ऑप्टिमाइज़ेशन क्षमताओं को कवर करता है। ये प्रक्रियाएं निष्पादन प्रवाह को सुव्यवस्थित करती हैं और मॉडल के मेमोरी फ़ुटप्रिंट को कम करती हैं।

SVF is an open-source static program analysis framework and points-to analysis library that tracks memory references, variable aliases, and data dependencies across whole programs. The platform translates compiled intermediate code formats into unified internal representations, constructing constraint graphs, call graphs, and control-flow graphs to model interprocedural execution behavior and memory state. The framework incorporates specialized engines for flow-sensitive, flow-insensitive, and context-sensitive pointer analysis alongside sparse value-flow graph generation. It features memory