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

241 Open 561 Closed
241 Open 561 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
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

Switch to trusted publishing good first issue help wanted
#2648 opened Sep 29, 2023 by woodruffw
1
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
4
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
Manticore (via Docker pull/ run) had exceptions on VulnerableToken Youtube example bug
#2579 opened Aug 15, 2022 by ronenbitman
1
Support for Python >3.10 bug
#2577 opened Jul 31, 2022 by anudit Manticore 0.4.0
@ekilmer
7
KeyError: 'upsert(tuple,bool)' bug
#2560 opened Jun 9, 2022 by ghost
Upgrade to protobuf v4 idea
#2559 opened Jun 7, 2022 by ekilmer
1
User-friendly Throwing Warning or Error when Account Executing with Insufficient Balance idea
#2551 opened May 22, 2022 by CharesFang
AttributeError: 'NoneType' object has no attribute 'result' bug
#2547 opened May 13, 2022 by alexdevassy
8
Symbolic Model 'strcmp' (null chars) bug
#2538 opened Mar 7, 2022 by frediramos
Use manticore for wasm smart contracts idea
#2537 opened Mar 4, 2022 by yubrew
Fix Manticore <-> Unicorn context switch emulator
#2528 opened Feb 4, 2022 by Boyan-MILANOV
1
Deployment Error with Hardhat Project bug
#2523 opened Jan 13, 2022 by rac-sri
2
ProTip! no:milestone will show everything without a milestone.