ReviewingČeština CzechChange

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.

  • Manticore
    Prose
  • Manticore
    Heading
  • Manticore
    Tag
  • Manticore
    UI
  • oneManticorefewManticoreotherManticore
    Plurals

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 Czech

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