सुरक्षा और परीक्षण
hevm
फ़ज़/प्रॉपर्टी परीक्षण
अगला देखें
Crytic-Propertieshevm के बारे में
hevm एक ओपन-सोर्स, अत्याधुनिक, तेज़ प्रतीकात्मक और ठोस EVM निष्पादन इंजन है जो स्मार्ट अनुबंधों में समस्याओं का पता लगा सकता है। अपने प्रतीकात्मक निष्पादन और विश्लेषण प्रणाली के माध्यम से, hevm बग खोजने के लिए अनुबंधों को प्रतीकात्मक, अर्ध-ठोस, या ठोस रूप से निष्पादित कर सकता है, या विसंगतियों के लिए दो अलग-अलग अनुबंधों की तुलना करके समतुल्यता जाँच कर सकता है।
टैग
- CLI
- Foundry
- सुरक्षा
- प्रतीकात्मक निष्पादन
रिपॉजिटरीethereum
जानकारी
- प्रकार
- फ़ज़/प्रॉपर्टी परीक्षण
- GitHub स्टार्स
- 362
- लाइसेंस
- AGPL-3.0
- लिस्टिंग की समीक्षा की गई
- जून 2026
