Search results

Uncaught MemoryError, OverflowError, ValueError in CONCAT

bug

Status: Open.

#2660 In trailofbits/manticore;

· sam-xif opened on Jul 12, 2024

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

bug

Status: Open.

#2659 In trailofbits/manticore;

· sam-xif opened on Jul 10, 2024

MemoryErrors and OverflowErrors in SEXTEND

bug

Status: Open.

#2658 In trailofbits/manticore;

· sam-xif opened on Jul 10, 2024

Uncaught MemoryError and OverflowError in EXTRACT

bug

Status: Open.

#2657 In trailofbits/manticore;

· sam-xif opened on Jul 10, 2024

ZeroDivisionError in CONCAT

bug

Status: Open.

#2656 In trailofbits/manticore;

· sam-xif opened on Jul 10, 2024

Uncaught ValueError in EXTRACT

bug

Status: Open.

#2655 In trailofbits/manticore;

· sam-xif opened on Jul 10, 2024

Uncaught ValueError in SEXTEND

bug

Status: Open.

#2654 In trailofbits/manticore;

· sam-xif opened on Jul 10, 2024

Uncaught errors in ZEXTEND

bug

Status: Open.

#2653 In trailofbits/manticore;

· sam-xif opened on Jul 10, 2024

RecursionError in AND and OR smtlib operators

bug

Status: Open.

#2652 In trailofbits/manticore;

· sam-xif opened on Jul 10, 2024

Uncaught errors in BitVecConstant constructor

bug

Status: Open.

#2651 In trailofbits/manticore;

· sam-xif opened on Jul 10, 2024

Switch to trusted publishing

good first issue

help wanted

Status: Open.

#2648 In trailofbits/manticore;

· woodruffw opened on Sep 29, 2023

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

bug

Status: Open.

#2642 In trailofbits/manticore;

· upalchowdhury opened on Jun 8, 2023