Reviewingالعربية ArabicChange

Term

Manticore

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.
More in style guide

Suggested translation

Cast your vote on the terms below to help the community select the best translation for each context.

  • مانتيكور
    Prose
  • مانتيكور (Manticore)
    Heading
  • مانتيكور
    Tag
  • مانتيكور
    UI

Coming soon: voting and suggestions need an account, which ships in a later phase. Everything shown here is live glossary data.

Previous termNext term

into Arabic

If your term matches an existing suggestion, we’ll upvote that one for you instead of creating a duplicate.