Search results

Uncaught <code>MemoryError</code>, <code>OverflowError</code>, <code>ValueError</code> in <code>CONCAT</code>

bug

Status: Open.

#2660 In trailofbits/manticore;

· sam-xif opened on Jul 12, 2024

Unary negation (<code>~</code>) operator appears to be broken in the assembler expression calculator

bug

Status: Open.

#2659 In trailofbits/manticore;

· sam-xif opened on Jul 10, 2024

<code>MemoryError</code>s and <code>OverflowError</code>s in <code>SEXTEND</code>

bug

Status: Open.

#2658 In trailofbits/manticore;

· sam-xif opened on Jul 10, 2024

Uncaught <code>MemoryError</code> and <code>OverflowError</code> in <code>EXTRACT</code>

bug

Status: Open.

#2657 In trailofbits/manticore;

· sam-xif opened on Jul 10, 2024

<code>ZeroDivisionError</code> in <code>CONCAT</code>

bug

Status: Open.

#2656 In trailofbits/manticore;

· sam-xif opened on Jul 10, 2024

Uncaught <code>ValueError</code> in <code>EXTRACT</code>

bug

Status: Open.

#2655 In trailofbits/manticore;

· sam-xif opened on Jul 10, 2024

Uncaught <code>ValueError</code> in <code>SEXTEND</code>

bug

Status: Open.

#2654 In trailofbits/manticore;

· sam-xif opened on Jul 10, 2024

Uncaught errors in <code>ZEXTEND</code>

bug

Status: Open.

#2653 In trailofbits/manticore;

· sam-xif opened on Jul 10, 2024

<code>RecursionError</code> in <code>AND</code> and <code>OR</code> smtlib operators

bug

Status: Open.

#2652 In trailofbits/manticore;

· sam-xif opened on Jul 10, 2024

Uncaught errors in <code>BitVecConstant</code> 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.&lt;locals&gt;.worker_finalize'"

bug

Status: Open.

#2642 In trailofbits/manticore;

· upalchowdhury opened on Jun 8, 2023