Skip to content

Issues: GaloisInc/MATE

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

35 Open 9 Closed
35 Open 9 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

No POIs in vulnerable program
#66 opened Jan 3, 2024 by sherkat69
2
getting "invalid label" while executing "docker-compose"
#65 opened Nov 14, 2023 by sherkat69
4
Debugging a failing build
#64 opened Jul 13, 2023 by william-simmonstst
2
bug: Blight journal is empty bug Something isn't working
#63 opened Jun 22, 2023 by F1o0T
34
Incorrect points-to signature for str{n,}dup
#62 opened Jan 12, 2023 by langston-barrett
SIGKILL while build process
#59 opened Oct 23, 2022 by drJabber
2
Issues compiling bitcode for redis question Further information is requested
#58 opened Oct 17, 2022 by thinkmoore
@woodruffw
2
CI: Linting and formatting
#44 opened Aug 24, 2022 by langston-barrett
DWARF nodes: APIs for common type derivations
#43 opened Aug 24, 2022 by langston-barrett
Manticore UI: Link to DSL docs
#42 opened Aug 24, 2022 by langston-barrett
doc: Deployment security considerations
#41 opened Aug 24, 2022 by langston-barrett
1
UI: Show help text when there are no compilations/builds/etc.
#40 opened Aug 24, 2022 by langston-barrett
Manticore UI: Link bug reports to source locations
#39 opened Aug 24, 2022 by langston-barrett
doc: Make notebook tutorial into a Jupyter notebook
#38 opened Aug 24, 2022 by langston-barrett
5
Intermittent CI failure: cannot import name 'config' from 'manticore.utils'
#35 opened Aug 24, 2022 by langston-barrett
Doc: Outdated screenshots, buttons in Flowfinder docs
#27 opened Aug 23, 2022 by langston-barrett
Manticore UI: Indicate states that terminated in an error
#24 opened Aug 23, 2022 by langston-barrett
Doc: Node and edge IDs are not UUIDs
#23 opened Aug 23, 2022 by langston-barrett
Tests: Reinstate example_1.c
#22 opened Aug 23, 2022 by langston-barrett
1
Manticore UI: Checkboxes to enable additional Mantiserve detectors
#21 opened Aug 23, 2022 by langston-barrett
Flowfinder: Group aliased memory locations
#20 opened Aug 23, 2022 by langston-barrett
REST API: Status endpoint
#19 opened Aug 23, 2022 by langston-barrett
Flowfinder: Toggle for constant nodes
#18 opened Aug 23, 2022 by langston-barrett
Flowfinder: Show incoming/outgoing edges by kind
#17 opened Aug 23, 2022 by langston-barrett
Clean up tests
#16 opened Aug 23, 2022 by langston-barrett
ProTip! no:milestone will show everything without a milestone.