Discussions

• 1 You must be logged in to vote

  🙏

  Manticore Does Not Detect Any Issues in Smart Contract Analysis

  ngph2674 asked Feb 27, 2025 in Q&A · Unanswered

  

  

  0
• 1 You must be logged in to vote

  🙏

  requested state transfer from '*any*', but it is impossible to select State Transfer donor: Resource temporarily unavailable

  calvin2021y asked Nov 13, 2023 in Q&A · Unanswered

  

  

  0
• 1 You must be logged in to vote

  🙏

  Manticore hangs on generating .pkl state files.

  aayanqazi asked Oct 10, 2023 in Q&A · Unanswered

  

  

  0
• 1 You must be logged in to vote

  #️⃣

  Failed to run

  V1C70RYG0D asked May 30, 2023 in General · Unanswered

  

  

  0
• 1 You must be logged in to vote

  🙏

  m.c.plugin warning

  sachinbal asked Apr 10, 2023 in Q&A · Unanswered

  

  

  1
• 1 You must be logged in to vote

  #️⃣

  ModuleNotFoundError: No module named 'fcntl' - for Windows

  majorisgit asked Oct 15, 2022 in General · Unanswered

  

  

  1
• 1 You must be logged in to vote

  🙏

  How could I output states to specified dir?

  for-just-we asked Sep 25, 2022 in Q&A · Unanswered

  

  

  1
• 1 You must be logged in to vote

  #️⃣

  Strange behaviour using manticore-verifier command

  jcrreis asked May 17, 2022 in General · Unanswered

  

  

  0
• 1 You must be logged in to vote

  #️⃣

  Where is solc called?

  kevzettler asked May 9, 2022 in General · Unanswered

  

  

  0
• 1 You must be logged in to vote

  🙏

  [FIXED]Failed to run manticore

  0xDynamo asked May 2, 2022 in Q&A · Unanswered

  

  

  0
• 2 You must be logged in to vote

  🙏

  WARNING: Caught will_solve in state None, but failed to capture its initialization

  christiankakesa asked Nov 3, 2021 in Q&A · Unanswered

  

  

  2
• 1 You must be logged in to vote

  🙏

  How can I import the module "ethereum" in the ManticoreWASM?

  LinearMomentum asked Apr 20, 2022 in Q&A · Unanswered

  

  

  0
• 3 You must be logged in to vote

  🙏

  How to analyze runtime bytecode with symbolic storage?

  gsalzer asked Mar 18, 2022 in Q&A · Unanswered

  

  

  0
• 2 You must be logged in to vote

  #️⃣

  Making use of outputs/report in mcore__* folders

  Jovonni asked Jan 8, 2022 in General · Unanswered

  

  

  0
• 2 You must be logged in to vote

  🙏

  AttributeError: 'NoneType' object has no attribute 'result'

  electronicOtaku asked Dec 11, 2021 in Q&A · Unanswered

  

  

  0
• 2 You must be logged in to vote

  🙏

  how to pass new_symblic_buffer to wasm?

  dengliangjun asked Apr 30, 2021 in Q&A · Unanswered

  

  

  2
• 1 You must be logged in to vote

  🙏

  MantiCore can not be found in Linux after pip installation

  ferdasonmez asked Sep 29, 2021 in Q&A · Answered

  

  

  2
• 2 You must be logged in to vote

  🙏

  Support EVM bytecode directly

  step-xiaoyu-ka asked Aug 14, 2021 in Q&A · Unanswered

  

  

  0
• 1 You must be logged in to vote

  🙏

  No warning report

  wqs1999 asked Jul 8, 2021 in Q&A · Unanswered

  

  

  0
• 1 You must be logged in to vote

  💡

  Remix Plugin

  htadashi asked Jun 14, 2021 in Ideas · Unanswered

  

  

  0
• 1 You must be logged in to vote

  🙏

  Can't generate inputs for examples/fileio

  rmallof asked May 14, 2021 in Q&A · Answered

  

  

  5
• 1 You must be logged in to vote

  🙏

  how to input string and read string result from ManticoreWASM

  dengliangjun asked Apr 29, 2021 in Q&A · Unanswered

  

  

  0
• 1 You must be logged in to vote

  🙏

  when I try to run examples of reentrancy_symbolic.py in my pc,there are some problem

  strawberrylady99 asked Dec 30, 2020 in Q&A · Unanswered

  

  

  0
• 1 You must be logged in to vote

  #️⃣

  Is there a way to test byte-code directly?

  lukasdenk asked Oct 6, 2020 in General · Unanswered

  

  

  0
• 1 You must be logged in to vote

  #️⃣

  Problem with time-analysis duration

  mstad asked Sep 30, 2020 in General · Unanswered

  

  

  0