Skip to content

Issues: trailofbits/manticore

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

251 Open 561 Closed
251 Open 561 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Uncaught MemoryError, OverflowError, ValueError in CONCAT bug
#2660 opened Jul 12, 2024 by sam-xif
Unary negation (~) operator appears to be broken in the assembler expression calculator bug
#2659 opened Jul 10, 2024 by sam-xif
MemoryErrors and OverflowErrors in SEXTEND bug
#2658 opened Jul 10, 2024 by sam-xif
Uncaught MemoryError and OverflowError in EXTRACT bug
#2657 opened Jul 10, 2024 by sam-xif
ZeroDivisionError in CONCAT bug
#2656 opened Jul 10, 2024 by sam-xif
Uncaught ValueError in EXTRACT bug
#2655 opened Jul 10, 2024 by sam-xif
Uncaught ValueError in SEXTEND bug
#2654 opened Jul 10, 2024 by sam-xif
Uncaught errors in ZEXTEND bug
#2653 opened Jul 10, 2024 by sam-xif
RecursionError in AND and OR smtlib operators bug
#2652 opened Jul 10, 2024 by sam-xif
Uncaught errors in BitVecConstant constructor bug
#2651 opened Jul 10, 2024 by sam-xif
Switch to trusted publishing good first issue help wanted
#2648 opened Sep 29, 2023 by woodruffw
2
Still getting the issue of "AttributeError: Can't pickle local object 'ManticoreEVM.finalize.<locals>.worker_finalize'" bug
#2642 opened Jun 8, 2023 by upalchowdhury
1
Forking on unfeasible constraint set bug
#2636 opened Apr 22, 2023 by zijin8631
CompilationUnit object has no attribute contracts_names bug
#2619 opened Feb 22, 2023 by Silur
finalizer: 'NoneType' object has no attribute 'result' bug
#2617 opened Jan 20, 2023 by gsalzer
8
Manticore not running - ModuleNotFoundError: No module named 'fcntl' bug
#2612 opened Jan 1, 2023 by krypston104
2
Why the verifier passes an invalid test after I added a useless argument? bug
#2608 opened Dec 8, 2022 by xqyww123
1
Input Size of Symbolic executions workaround for the complex and large smart contract programs. bug
#2603 opened Dec 1, 2022 by PavanKumarChaparla
1
Python 3.10 workaround
#2602 opened Dec 1, 2022 by PavanKumarChaparla
Had to downgrade protobuf (v4 -> v3) to run Manticore bug
#2600 opened Nov 23, 2022 by ChmielewskiKamil
4
Stop using pysha3 idea
#2599 opened Nov 14, 2022 by 0-wiz-0
2
Modularize Manticore CLI option parsing
#2592 opened Sep 30, 2022 by ekilmer
When I executed the collatz test case in wasm, there was a crash. bug
#2588 opened Sep 22, 2022 by abc767234318
Manticore returns wrong result on trivial function bug
#2587 opened Sep 20, 2022 by Simon1V
1
Manticore tutorial simple example incorrect bug
#2583 opened Aug 25, 2022 by bzhang42 Manticore 0.4.0
7
ProTip! Type g i on any issue or pull request to go back to the issue listing page.