3 रिपॉजिटरी
Awesome GitHub RepositoriesExecution Graph Analysis
Analysis of execution graphs to track register ancestry and identify constant values for dead code removal.
Distinct from Unreachable Code Analysis: Broadens unreachable code analysis to include register value tracking via ancestry graphs.
Explore 3 awesome GitHub repositories matching testing & quality assurance · Execution Graph Analysis. Refine with filters or upvote what's useful.
Awesome Execution Graph Analysis GitHub Repositories
AI के साथ बेहतरीन रिपॉजिटरी खोजें।हम AI का उपयोग करके सबसे सटीक रिपॉजिटरी खोजेंगे।
- calebfenton/simplify
CalebFenton/simplify
4,644GitHub पर देखेंSimplify एक Android वर्चुअल मशीन सैंडबॉक्स, बाइटकोड निष्पादन ट्रेसर और स्टेटिक एनालिसिस फ्रेमवर्क है। इसे बाइनरी से पठनीय कोड को रिकवर करने के लिए डिज़ाइन किया गया है, जो भौतिक डिवाइस के बिना प्रोग्राम व्यवहार का अनुकरण (simulate) करता है। यह प्रोजेक्ट रिफ्लेक्शन कॉल्स को रिज़ॉल्व करने और कॉन्स्टेंट प्रोपेगेशन व डेड कोड रिमूवल के माध्यम से अस्पष्ट (obfuscated) कोड को सरल बनाने के लिए निष्पादन ग्राफ विश्लेषण का उपयोग करता है। यह सभी संभावित सशर्त शाखा परिणामों को ट्रैक करने के लिए मल्टी-पाथ निष्पादन सिमुलेशन का उपयोग करता है और कॉन्स्टेंट वैल्यू की पहचान करने के लिए इंस्ट्रक्शन फ्लो को मैप करता है। यह सिस्टम एक्सेप्शन प्रोपेगेशन ट्रेसिंग, मेथड साइड-इफेक्ट कैटेगराइजेशन और Java API कॉल सिमुलेशन सहित विश्लेषण क्षमताओं की एक विस्तृत श्रृंखला को कवर करता है। यह वर्चुअल मशीन स्टेट्स की निगरानी या ओवरराइड करने के लिए कस्टम हुक के माध्यम से मेथड निष्पादन को इंटरसेप्ट करने के लिए तंत्र भी प्रदान करता है।
Maps instruction flow and register ancestry to identify constant values and remove unreachable dead code.
Java - onnxsim/onnxsim
onnxsim/onnxsim
4,353GitHub पर देखेंonnxsim एक डीप लर्निंग ग्राफ़ ऑप्टिमाइज़र और मॉडल सिंपलीफायर है जिसे ONNX कंप्यूटेशन ग्राफ़ की जटिलता को कम करने के लिए डिज़ाइन किया गया है। यह एक मॉडल कंप्रेसर के रूप में कार्य करता है जो परिचालन ओवरहेड को कम करने के लिए जटिल ऑपरेटर अनुक्रमों को सरलीकृत निरंतर आउटपुट के साथ बदल देता है। यह प्रोजेक्ट निरंतर फोल्डिंग इन्फरेंस के माध्यम से सरलीकरण प्राप्त करता है, जो निरंतर ऑपरेटरों के सबग्राफ़ को पूर्व-गणना किए गए निरंतर टेंसर के साथ बदल देता है। यह अनावश्यक नोड्स या अप्राप्य ऑपरेशनों की पहचान करने और उन्हें हटाने के लिए पैटर्न-आधारित ग्राफ़ रीराइटिंग और स्टेटिक कंप्यूटेशन ग्राफ़ विश्लेषण का उपयोग करता है। यह टूल ऑपरेटर अतिरेक उन्मूलन (redundancy elimination) और अनावश्यक रीशेप या आइडेंटिटी नोड्स को हटाने सहित व्यापक मॉडल ऑप्टिमाइज़ेशन क्षमताओं को कवर करता है। ये प्रक्रियाएं निष्पादन प्रवाह को सुव्यवस्थित करती हैं और मॉडल के मेमोरी फ़ुटप्रिंट को कम करती हैं।
Analyzes the execution graph to identify unreachable operations and redundant nodes for removal.
C++deep-learningonnxpytorch - svf-tools/svf
SVF-tools/SVF
1,684GitHub पर देखें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
Produces call graphs and control flow graphs to visualize program structure and data dependencies.
C++code-analysiscode-securitydependency-analysis
