Issues

• max_file_field_buffer limited to MAX_INT

  bug
  trailofbits/manticore#2681 · Filter by author dinihou opened on Aug 24, 2025

• DetectReentrancyAdvanced false positive on 2300-gas transfer causes ethereum_bench failure (eth_tx_order_dependence_multitx_1)

  bugethereum
  trailofbits/manticore#2680 · Filter by author dguido opened on Aug 23, 2025

• Linux binary symbolic execution not exploring multiple paths

  trailofbits/manticore#2679 · Filter by author dguido opened on Aug 23, 2025
  1

• AArch64 UMOV instruction fails with Aarch64InvalidInstruction when VAS is ARM64_VAS_INVALID

  bug
  trailofbits/manticore#2677 · Filter by author dguido opened on Aug 22, 2025

• PolySwarm CTF challenge example fails with NoAliveStates during contract deployment

  trailofbits/manticore#2676 · Filter by author dguido opened on Aug 22, 2025
  1

• BugsBunny2017 Rev150 CTF example missing binary file

  trailofbits/manticore#2675 · Filter by author dguido opened on Aug 22, 2025

• BUG: UnicornResumeTest hangs indefinitely during emulate_until

  bug
  trailofbits/manticore#2674 · Filter by author dguido opened on Aug 22, 2025

• BUG: State PC corrupted to _start after SerializeState exception in hooks

  bug
  trailofbits/manticore#2673 · Filter by author dguido opened on Aug 22, 2025
  1

• symbolic_file.py test fails: Incompatibility between SymbolicFile and libc buffered I/O functions

  bug
  trailofbits/manticore#2672 · Filter by author dguido opened on Aug 22, 2025

• macOS Performance: Document multiprocessing limitations and workarounds

  documentationperformance
  trailofbits/manticore#2671 · Filter by author dguido opened on Aug 22, 2025

• Add support for Bitwuzla SMT solver

  trailofbits/manticore#2669 · Filter by author dguido opened on Aug 21, 2025

• Uncaught MemoryError, OverflowError, ValueError in CONCAT

  bug
  trailofbits/manticore#2660 · Filter by author sam-xif opened on Jul 12, 2024
  1

• Unary negation (~) operator appears to be broken in the assembler expression calculator

  bug
  trailofbits/manticore#2659 · Filter by author sam-xif opened on Jul 10, 2024

• MemoryErrors and OverflowErrors in SEXTEND

  bug
  trailofbits/manticore#2658 · Filter by author sam-xif opened on Jul 10, 2024
  1

• Uncaught MemoryError and OverflowError in EXTRACT

  bug
  trailofbits/manticore#2657 · Filter by author sam-xif opened on Jul 10, 2024
  1

• ZeroDivisionError in CONCAT

  bug
  trailofbits/manticore#2656 · Filter by author sam-xif opened on Jul 10, 2024

• Uncaught ValueError in EXTRACT

  bug
  trailofbits/manticore#2655 · Filter by author sam-xif opened on Jul 10, 2024

• Uncaught ValueError in SEXTEND

  bug
  trailofbits/manticore#2654 · Filter by author sam-xif opened on Jul 10, 2024

• Uncaught errors in ZEXTEND

  bug
  trailofbits/manticore#2653 · Filter by author sam-xif opened on Jul 10, 2024

• RecursionError in AND and OR smtlib operators

  bug
  trailofbits/manticore#2652 · Filter by author sam-xif opened on Jul 10, 2024

• Uncaught errors in BitVecConstant constructor

  bug
  trailofbits/manticore#2651 · Filter by author sam-xif opened on Jul 10, 2024

• Switch to trusted publishing

  good first issuehelp wanted
  trailofbits/manticore#2648 · Filter by author woodruffw opened on Sep 29, 2023
  3

• Still getting the issue of "AttributeError: Can't pickle local object 'ManticoreEVM.finalize.<locals>.worker_finalize'"

  bug
  trailofbits/manticore#2642 · Filter by author upalchowdhury opened on Jun 8, 2023
  1

• Forking on unfeasible constraint set

  bug
  trailofbits/manticore#2636 · Filter by author zijin8631 opened on Apr 22, 2023

• CompilationUnit object has no attribute contracts_names

  bug
  trailofbits/manticore#2619 · Filter by author Silur opened on Feb 22, 2023