Definition
A symbolic execution tool for analyzing smart contracts and binaries. It explores program paths systematically to find inputs that reach unsafe states. It is a product name.
Note
Symbolic execution tool. Product name -- do NOT translate as the mythical creature.
Translations
| Language | Prose |
|---|---|
| العربية Arabic | مانتيكور |
| বাংলা Bengali | ম্যান্টিকোর |
| Čeština Czech | Manticore |
| Deutsch German | Manticore |
| Español Spanish | Manticore |
| Français French | Manticore |
| हिन्दी Hindi | मैन्टिकोर |
| Bahasa Indonesia Indonesian | Manticore |
| Italiano Italian | Manticore |
| 日本語 Japanese | マンティコア |
| 한국어 Korean | 맨티코어는 |
| मराठी Marathi | मॅन्टिकोर |
| Polski Polish | Manticore |
| Português Portuguese (Brazil) | Manticore |
| Русский Russian | Мантикору |
| Kiswahili Swahili | Manticore |
| தமிழ் Tamil | மேண்டிகோர் |
| తెలుగు Telugu | మాంటికోర్ను |
| Türkçe Turkish | Manticore |
| Українська Ukrainian | Мантікору |
| اردو Urdu | مینٹیکور |
| Tiếng Việt Vietnamese | Manticore |
| 简体中文 Chinese (Simplified) | 曼蒂科尔 |
| 繁體中文 Chinese (Traditional) | 曼蒂科爾 |