Reviewingहिन्दी HindiChange

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.

  • मैन्टिकोर
    Prose
  • मैन्टिकोर
    Heading
  • मैन्टिकोर
    Tag
  • मैन्टिकोर
    UI
Previous termNext term

Into Hindi, 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.