symbolic-execution
symbolic-execution टैग वाली ट्रैक की गई ओपन सोर्स रिपॉजिटरी, स्टार के हिसाब से क्रमबद्ध।
मिलते-जुलते विषय
वे विषय जो अक्सर एक ही रिपॉजिटरी पर symbolic-execution के साथ आते हैं।
हाल में उभरे
पिछले 90 दिनों में बनी और symbolic-execution टैग वाली रिपॉजिटरी।
पिछले 90 दिनों में इस विषय के टैग वाली कोई नई रिपॉजिटरी नहीं आई।
- #1
Triton एक गतिशील बाइनरी विश्लेषण लाइब्रेरी है। अपने स्वयं के प्रोग्राम विश्लेषण टूल बनाएं, अपने रिवर्स इंजीनियरिंग को स्वचालित करें, सॉफ्टवेयर सत्यापन करें या बस कोड का अनुकरण करें।
★ 4,281+6पिछले 7 दिनों में स्टार का बदलाव - #2
Mythril EVM बाइटकोड के लिए एक सिम्बॉलिक-एक्जीक्यूशन-आधारित सुरक्षा विश्लेषण टूल है। यह Ethereum और अन्य EVM-संगत ब्लॉकचेन के लिए बने स्मार्ट अनुबंधों में सुरक्षा कमजोरियों का पता लगाता है।
★ 4,265-1पिछले 7 दिनों में स्टार का बदलाव - #3★ 3,947+3पिछले 7 दिनों में स्टार का बदलाव
- #4★ 2,975+1पिछले 7 दिनों में स्टार का बदलाव
- #5★ 2,254+0पिछले 7 दिनों में स्टार का बदलाव
- #6★ 1,627+0पिछले 7 दिनों में स्टार का बदलाव
- #7
आवश्यक शोध पत्रों, व्याख्यानों, वीडियो और टूल सहित शानदार सिम्बोलिक निष्पादन संसाधनों की एक क्यूरेटेड सूची।
★ 1,497+0पिछले 7 दिनों में स्टार का बदलाव - #8
Python के लिए एक विश्लेषण टूल जो परीक्षण और टाइप सिस्टम के बीच की रेखा को धुंधला करता है।
★ 1,319+0पिछले 7 दिनों में स्टार का बदलाव - #9★ 1,163+2पिछले 7 दिनों में स्टार का बदलाव
- #10★ 1,090+0पिछले 7 दिनों में स्टार का बदलाव
- #11★ 862+0पिछले 7 दिनों में स्टार का बदलाव
- #12
Ghidra में angr का उपयोग करें।
★ 624+0पिछले 7 दिनों में स्टार का बदलाव - #13★ 588+1पिछले 7 दिनों में स्टार का बदलाव
