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

Clear current search query, filters, and sorts
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

Error Message bug
#2589 by Lokizzle was closed Sep 23, 2022
1
ModuleNotFoundError: No module named 'manticore.native'; 'manticore' is not a package
#2549 by jcrreis was closed May 16, 2022
3
Node modules not found bug
#2540 by reubenr0d was closed Apr 10, 2022
3
AttributeError: 'CompilationUnit' object has no attribute 'filename_of_contract' bug
#2519 by Jovonni was closed Feb 16, 2022
1
2
manticore breaks with crytic-compile v0.2.2 bug
#2509 by elopez was closed Dec 16, 2021
1
Manticore can't work on EVM due to crytic-compile's latest release bug
#2451 by montyly was closed Jun 29, 2021
3
IntrospectionAPIPlugin uses default string representation in logging output bug
#2442 by jmcph4 was closed Jun 10, 2021
1
[MUI] Natalie can provide initial states MUI Manticore User Interface
#2441 by ekilmer was closed Jul 9, 2021
[MUI] Evelyn can view the coverage of how a Manticore state progressed through a smart contract MUI Manticore User Interface
#2440 by ekilmer was closed Jul 9, 2021
[MUI] Evelyn can view a state provenance tree MUI Manticore User Interface needs-pm Needs additional information from product management
#2439 by ekilmer was closed Jul 9, 2021
[MUI] Evelyn can click on a running state and is taken to the instruction that is being executed MUI Manticore User Interface
#2438 by sschriner was closed Jul 9, 2021
[MUI] Natalie can pause, restart, and stop the manticore run MUI Manticore User Interface
#2437 by sschriner was closed Jul 9, 2021
[MUI] Natalie can pause and restart a running state MUI Manticore User Interface
#2436 by sschriner was closed Jul 9, 2021
[MUI] Natalie can see the summary of the Manticore Run in the side panel MUI Manticore User Interface
#2435 by sschriner was closed Jul 9, 2021
[MUI] Natalie can view the results of completed runs MUI Manticore User Interface
#2434 by ekilmer was closed Jul 9, 2021
[MUI] Natalie can view all of Manticore's states and their status MUI Manticore User Interface
#2433 by ekilmer was closed Jul 9, 2021
[MUI] Natalie is informed that only Linux is supported when trying to launch MUI on a Mac MUI Manticore User Interface
#2432 by ekilmer was closed Jul 9, 2021
[MUI] Evelyn can add MUI to Binary Ninja MUI Manticore User Interface
#2431 by ekilmer was closed Jul 9, 2021
[MUI] Evelyn would like sensible defaults so that she can run MUI with as little clicks as possible MUI Manticore User Interface needs-pm Needs additional information from product management
#2430 by ekilmer was closed Jul 9, 2021
Make quick-mode the default EVM mode idea
#2424 by montyly was closed Jun 9, 2021
1
Feature request: disable event logging by default idea
#2416 by ggrieco-tob was closed Apr 2, 2021
1
2
Add solver parallelism support dev-evm-experiments
#2404 by montyly was closed Jun 10, 2021
1
@ggrieco-tob
5
Add boolector support dev-evm-experiments
#2403 by montyly was closed Mar 26, 2021
1
@ggrieco-tob
3
When I try bug
#2382 by strawberrylady99 was closed Dec 30, 2020
Should be cpu.PC
#1822 by feliam was closed Dec 8, 2020
1
ProTip! Type g i on any issue or pull request to go back to the issue listing page.