Skip to content

Issues: trailofbits/ManticoreUI

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

15 Open 32 Closed
15 Open 32 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

[Binja] Make logging chess-compatible
#109 opened Jul 29, 2022 by kokrui
[Ghidra] MUI Setup Component requires layout overhaul Ghidra
#79 opened Jun 23, 2022 by kokrui
1
Support hook naming enhancement New feature or request
#55 opened Mar 25, 2022 by lordidiot
@lordidiot
Natalie and Evelyn can supply additional Manticore arguments in a command-line format Binary Ninja enhancement New feature or request muiserver-integration for the muicore/master branch
#54 opened Mar 24, 2022 by kokrui
6 tasks
1
Convert from UI settings to Python script enhancement New feature or request
#43 opened Mar 2, 2022 by ekilmer
Binary Ninja persistent database compatibility enhancement New feature or request
#42 opened Mar 2, 2022 by ekilmer
George can view a state provenance tree Ghidra needs-pm
#31 opened Nov 30, 2021 by sschriner
George can click on a running state and is taken to the instruction that is being executed Ghidra
#30 opened Nov 30, 2021 by sschriner
Add a brief initial tutorial draft for starting and using the plugin Binary Ninja needs-pm
#20 opened Jul 19, 2021 by sschriner
When Natalie runs a detector the relevant instructions from the Detector results are highlighted for her idea needs-pm
#19 opened Jul 15, 2021 by sschriner
Natalie is informed that only Linux is supported when trying to launch MUI on a Mac #2432 Binary Ninja
#11 opened Jul 8, 2021 by sschriner
Natalie can view the results of completed runs #2434 Binary Ninja
#10 opened Jul 8, 2021 by sschriner
Natalie can pause, restart, and stop the manticore run #2437 Binary Ninja
#8 opened Jul 8, 2021 by sschriner
1
Evelyn can view the coverage of how a Manticore state progressed through a smart contract #2440 Binary Ninja
#4 opened Jul 8, 2021 by sschriner
Natalie can provide initial states #2441 Binary Ninja
#3 opened Jul 8, 2021 by sschriner
ProTip! Add no:assignee to see everything that’s not assigned.