Discussions: trailofbits/manticore

Discussions

• 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

  fenicks 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
• 1 You must be logged in to vote

  #️⃣

  Exact error names printed to console

  lukasdenk asked Aug 21, 2020 in General · Unanswered

  

  

  0
• 1 You must be logged in to vote

  #️⃣

  Manticore's mechanisms for computational budgets are nondeterministic

  bradlarsen asked Apr 16, 2020 in General · Unanswered

  

  

  3
• 1 You must be logged in to vote

  #️⃣

  Automatization Solidity smart contracts analysis

  mstad asked Jun 17, 2020 in General · Unanswered

  

  

  1
• 1 You must be logged in to vote

  #️⃣

  TypeError: 'NoneType' object is not callable when using plugins

  Uptre asked Jun 15, 2020 in General · Unanswered

  

  

  1
• 1 You must be logged in to vote

  #️⃣

  It is possible to obtain the constraint for each path?

  justinwm asked Jun 4, 2020 in General · Unanswered

  

  

  0
• 1 You must be logged in to vote

  #️⃣

  Can Manticore supports converting test case data to .js/.sol test files?

  leochenseu asked May 25, 2020 in General · Unanswered

  

  

  0