ReviewingPortuguês Portuguese (Brazil)Change

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
Something off about this term?

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
  • oneManticoreotherManticores
    Plurals
Previous termNext term

Into Portuguese (Brazil), for the context

Suggestions go to the glossary maintainers, who review them alongside everyone else’s. They are not shown to other visitors until approved.