Reviewing繁體中文 Chinese (Traditional)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

Suggested translation

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

  • 曼蒂科爾
    Prosemedium confidence
  • 曼蒂科爾 (Manticore)
    Heading
  • Manticore
    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 Chinese (Traditional)

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