Security & testing
hevm
Fuzz/Property testing
CLI · Foundry · सुरक्षा · प्रतीकात्मक निष्पादन
hevm एक ओपन-सोर्स, अत्याधुनिक, तेज़ प्रतीकात्मक और ठोस EVM निष्पादन इंजन है जो स्मार्ट अनुबंधों में समस्याओं का पता लगा सकता है। अपने प्रतीकात्मक निष्पादन और विश्लेषण प्रणाली के माध्यम से, hevm बग खोजने के लिए अनुबंधों को प्रतीकात्मक, अर्ध-ठोस, या ठोस रूप से निष्पादित कर सकता है, या विसंगतियों के लिए दो अलग-अलग अनुबंधों की तुलना करके समतुल्यता जाँच कर सकता है।
