Manticore UI

.. image:: https://raw.githubusercontent.com/trailofbits/manticore/master/docs/images/manticore.png :width: 200px :align: center :alt: Manticore

Manticore यूज़र इंटरफ़ेस (MUI) परियोजना विभिन्न डिसअसेंबलरों के लिए एक ग्राफ़िकल यूज़र इंटरफ़ेस प्लगइन प्रदान करती है, जो उपयोगकर्ताओं को स्मार्ट कॉन्ट्रैक्ट और मूल बाइनरी के विश्लेषण के लिए Manticore प्रतीकात्मक निष्पादन इंजन <https://github.com/trailofbits/manticore>_ की प्रगति को आसानी से देखने और उससे जुड़ने की अनुमति देती है।

हम Binary Ninja <https://binary.ninja/>_ और Ghidra <https://ghidra-sre.org/>_ के लिए MUI प्लगइन विकसित कर रहे हैं। प्रत्येक प्लगइन के संबंधित निर्देशिका में इसे स्थापित करने और उपयोग करने की जानकारी है: binaryninja <plugins/binaryninja>_ और ghidra <plugins/ghidra>_.

Ghidra प्लगइन द्वारा Manticore के साथ gRPC पर इंटरैक्ट करने के लिए Manticore सर्वर <server>_ का उपयोग किया जाता है।

❗ध्यान दें❗ यह परियोजना प्रयोगात्मक है और मनमाने उपयोग-मामलों और लक्ष्यों के लिए अस्थिर या उपयोग करने में अक्षम हो सकती है। यदि आपको मौजूदा सुविधाओं का उपयोग करने में कोई कठिनाई होती है, तो कृपया एक इश्यू खोलें। हम नई सुविधा सुझावों पर मामला-दर-मामला आधार पर विचार करेंगे। यदि संभव हो, तो कृपया परियोजना को बेहतर बनाने या ठीक करने के लिए एक पुल रिक्वेस्ट खोलें।

शुरू करना

यदि स्रोत से निर्माण कर रहे हैं, तो कृपया Git उपमॉड्यूल खींचें::

git submodule update --init

फिर, कृपया प्लगइन निर्देशिकाओं पर जाएँ: binaryninja <plugins/binaryninja>_ और ghidra <plugins/ghidra>_.