1 रिपॉजिटरी
Awesome GitHub RepositoriesMulti-Path Execution Simulation
Tracking all possible outcomes of conditional branches to generate a graph of potential program execution paths.
Distinct from Execution Path Analysis: Distinct from simple branch labeling or tool-call analysis; it is a symbolic execution technique for all paths.
Explore 1 awesome GitHub repository matching software engineering & architecture · Multi-Path Execution Simulation. Refine with filters or upvote what's useful.
Awesome Multi-Path Execution Simulation GitHub Repositories
AI के साथ बेहतरीन रिपॉजिटरी खोजें।हम AI का उपयोग करके सबसे सटीक रिपॉजिटरी खोजेंगे।
- calebfenton/simplify
CalebFenton/simplify
4,644GitHub पर देखेंSimplify एक Android वर्चुअल मशीन सैंडबॉक्स, बाइटकोड निष्पादन ट्रेसर और स्टेटिक एनालिसिस फ्रेमवर्क है। इसे बाइनरी से पठनीय कोड को रिकवर करने के लिए डिज़ाइन किया गया है, जो भौतिक डिवाइस के बिना प्रोग्राम व्यवहार का अनुकरण (simulate) करता है। यह प्रोजेक्ट रिफ्लेक्शन कॉल्स को रिज़ॉल्व करने और कॉन्स्टेंट प्रोपेगेशन व डेड कोड रिमूवल के माध्यम से अस्पष्ट (obfuscated) कोड को सरल बनाने के लिए निष्पादन ग्राफ विश्लेषण का उपयोग करता है। यह सभी संभावित सशर्त शाखा परिणामों को ट्रैक करने के लिए मल्टी-पाथ निष्पादन सिमुलेशन का उपयोग करता है और कॉन्स्टेंट वैल्यू की पहचान करने के लिए इंस्ट्रक्शन फ्लो को मैप करता है। यह सिस्टम एक्सेप्शन प्रोपेगेशन ट्रेसिंग, मेथड साइड-इफेक्ट कैटेगराइजेशन और Java API कॉल सिमुलेशन सहित विश्लेषण क्षमताओं की एक विस्तृत श्रृंखला को कवर करता है। यह वर्चुअल मशीन स्टेट्स की निगरानी या ओवरराइड करने के लिए कस्टम हुक के माध्यम से मेथड निष्पादन को इंटरसेप्ट करने के लिए तंत्र भी प्रदान करता है।
Tracks all possible outcomes of conditional branches when input arguments are unknown to produce a path graph.
Java
