program-analysis

Windows के लिए एक ओपन-सोर्स यूजर मोड डिबगर। रिवर्स इंजीनियरिंग और मैलवेयर विश्लेषण के लिए अनुकूलित।

Windows, Linux और MacOS के लिए फ़ाइल प्रकार निर्धारित करने का प्रोग्राम।

Triton एक गतिशील बाइनरी विश्लेषण लाइब्रेरी है। अपने स्वयं के प्रोग्राम विश्लेषण टूल बनाएं, अपने रिवर्स इंजीनियरिंग को स्वचालित करें, सॉफ्टवेयर सत्यापन करें या बस कोड का अनुकरण करें।

Mythril EVM बाइटकोड के लिए एक सिम्बॉलिक-एक्जीक्यूशन-आधारित सुरक्षा विश्लेषण टूल है। यह Ethereum और अन्य EVM-संगत ब्लॉकचेन के लिए बने स्मार्ट अनुबंधों में सुरक्षा कमजोरियों का पता लगाता है।

UNIX जैसा रिवर्स इंजीनियरिंग फ्रेमवर्क और कमांड-라인 टूलसेट।

DIE इंजन

अमूर्त व्याख्या (Abstract Interpretation) के सिद्धांत पर आधारित C/C++ के लिए स्टेटिक विश्लेषक।

डिसएम्बल किए गए कोड में जल्दी से अंतर और समानताएँ खोजें

बाइनरी विश्लेषण प्लेटफ़ॉर्म

Jar Analyzer - एक JAR पैकेज GUI विश्लेषण टूल, विश्लेषण में सहायता के लिए अंतर्निहित AI सहायक के साथ, JAR DIFF विश्लेषण का समर्थन करता है, मेथड कॉल रिलेशनशिप खोज, मेथड कॉल चेन DFS एल्गोरिदम विश्लेषण, DFS परिणामों को सत्यापित करने के लिए JVM टैनिट विश्लेषण का अनुकरण, स्ट्रिंग खोज, Java Web घटक प्रविष्टि विश्लेषण, CFG प्रोग्राम विश्लेषण, JVM स्टैक फ्रेम विश्लेषण, कस्टम अभिव्यक्ति खोज, आदि।

अत्याधुनिक सोर्स कोड साहित्यिक चोरी और मिलीभगत का पता लगाना। कार्यक्रमों के एक सेट में साहित्यिक चोरी की जाँच करें।

स्टैटिक कोड एनालिसिस - स्थैतिक कोड विश्लेषण

cwe_checker बाइनरी एक्जीक्यूटेबल्स में असुरक्षित पैटर्न ढूंढता है

Semgrep और समुदाय द्वारा बनाए रखा गया Semgrep Community Edition नियम। Semgrep Rules License के तहत उपयोग के लिए मुफ़्त।

static program analysis के लिए Tai-e असाइनमेंट

आधिकारिक angr GUI

LLVM पर आधारित एक स्टेटिक एनालिसिस फ्रेमवर्क

विश्लेषण के लिए T.J. Watson लाइब्रेरीज़, जिसमें Java, Android, और JavaScript के लिए फ्रंट एंड और कई सामान्य स्टेटिक प्रोग्राम विश्लेषण शामिल हैं।

किसी भी कोडबेस को तुरंत समझें। मनुष्यों और AI के लिए निर्मित कोडबेस इंटेलिजेंस सिस्टम।

पूर्णतः संशोधित आर्किटेक्चर के साथ Soot का एक नया संस्करण

शानदार LLVM (Clang आदि सहित) संबंधित संसाधनों की एक क्यूरेटेड सूची

रिवर्स इंजीनियरिंग, बाइनरी विश्लेषण और असेंबली प्रोग्रामिंग टूल के लिए चीटशीट का एक व्यापक संग्रह। यह रिपॉजिटरी सुरक्षा शोधकर्ताओं, रिवर्स इंजीनियरों और लो-लेवल प्रोग्रामर्स के लिए वन-स्टॉप संदर्भ के रूप में कार्य करती है।

Rust में बाइनरी एनालिसिस फ्रेमवर्क

C प्रोग्रामिंग भाषा के लिए एक कंपाइलर फ्रंटएंड।

[LLVM Static Slicer] विभिन्न प्रोग्राम विश्लेषण, डिपेंडेंस ग्राफ का निर्माण और LLVM बिटकोड की प्रोग्राम स्लाइसिंग।