Reviewing简体中文 Chinese (Simplified)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.

  • 曼蒂科尔
    Prosemedium confidence
  • 曼蒂科尔
    Heading
  • 曼蒂科尔
    Tag
  • 曼蒂科尔
    UI
Previous termNext term

Into Chinese (Simplified), 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.