Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / GaloisInc/MATE issues and pull requests
#66 - No POIs in vulnerable program
Issue -
State: open - Opened by sherkat69 11 months ago
- 2 comments
#65 - getting "invalid label" while executing "docker-compose"
Issue -
State: open - Opened by sherkat69 about 1 year ago
- 4 comments
#64 - Debugging a failing build
Issue -
State: open - Opened by william-simmonstst over 1 year ago
- 2 comments
#63 - bug: Blight journal is empty
Issue -
State: open - Opened by F1o0T over 1 year ago
- 34 comments
Labels: bug
#62 - Incorrect points-to signature for str{n,}dup
Issue -
State: open - Opened by langston-barrett almost 2 years ago
#61 - analyze the library or single program without main function
Issue -
State: closed - Opened by flyfish101 almost 2 years ago
- 2 comments
#60 - Update cclyzer++ to v0.5.0
Pull Request -
State: closed - Opened by langston-barrett about 2 years ago
#59 - SIGKILL while build process
Issue -
State: open - Opened by drJabber about 2 years ago
- 2 comments
#58 - Issues compiling bitcode for redis
Issue -
State: open - Opened by thinkmoore about 2 years ago
- 2 comments
Labels: question
#57 - Fix incorrect expected result for `test_poi_use_after_free_ntu`
Pull Request -
State: closed - Opened by thinkmoore about 2 years ago
#56 - `test_poi_use_after_free` fails
Issue -
State: closed - Opened by langston-barrett about 2 years ago
- 2 comments
Labels: bug
#55 - Update cclyzer++ to v0.3
Pull Request -
State: closed - Opened by langston-barrett about 2 years ago
- 7 comments
#54 - CVE-2007-4559 Patch
Pull Request -
State: open - Opened by TrellixVulnTeam about 2 years ago
#53 - Make UAF POI consider uses of all allocation subregions
Pull Request -
State: closed - Opened by thinkmoore about 2 years ago
- 1 comment
Labels: bug
#52 - UAF POI doesn't count uses of subregions
Issue -
State: closed - Opened by shinmao about 2 years ago
- 6 comments
Labels: bug
#51 - doc: Don't execute notebooks
Pull Request -
State: closed - Opened by langston-barrett about 2 years ago
#50 - doc: Include comparison to other tools
Pull Request -
State: closed - Opened by langston-barrett about 2 years ago
#49 - doc: Pull in CPG tutorial notebook as ReST
Pull Request -
State: closed - Opened by langston-barrett about 2 years ago
#48 - doc: Link to/embed videos
Pull Request -
State: closed - Opened by langston-barrett over 2 years ago
#47 - doc: List CHESS contributors
Pull Request -
State: closed - Opened by langston-barrett over 2 years ago
#46 - .env: Make GHCR the default Docker registry
Pull Request -
State: closed - Opened by langston-barrett over 2 years ago
#45 - Doc: List contributors
Issue -
State: closed - Opened by langston-barrett over 2 years ago
- 1 comment
#44 - CI: Linting and formatting
Issue -
State: open - Opened by langston-barrett over 2 years ago
#43 - DWARF nodes: APIs for common type derivations
Issue -
State: open - Opened by langston-barrett over 2 years ago
#42 - Manticore UI: Link to DSL docs
Issue -
State: open - Opened by langston-barrett over 2 years ago
#41 - doc: Deployment security considerations
Issue -
State: open - Opened by langston-barrett over 2 years ago
- 1 comment
#40 - UI: Show help text when there are no compilations/builds/etc.
Issue -
State: open - Opened by langston-barrett over 2 years ago
#39 - Manticore UI: Link bug reports to source locations
Issue -
State: open - Opened by langston-barrett over 2 years ago
#38 - doc: Make notebook tutorial into a Jupyter notebook
Issue -
State: open - Opened by langston-barrett over 2 years ago
- 5 comments
#37 - doc: Attach video to Flowfinder tutorial
Issue -
State: closed - Opened by langston-barrett over 2 years ago
#36 - doc: Notebook tutorial
Pull Request -
State: closed - Opened by langston-barrett over 2 years ago
#35 - Intermittent CI failure: `cannot import name 'config' from 'manticore.utils'`
Issue -
State: open - Opened by langston-barrett over 2 years ago
#34 - doc: Add Flowfinder tutorial
Pull Request -
State: closed - Opened by langston-barrett over 2 years ago
#33 - doc/quickstart: Document pulling images from GHCR
Pull Request -
State: closed - Opened by langston-barrett over 2 years ago
#32 - shake: Update copyright year
Pull Request -
State: closed - Opened by langston-barrett over 2 years ago
#31 - Fix default container registry in .env
Issue -
State: closed - Opened by langston-barrett over 2 years ago
- 1 comment
#30 - Makefile: rm
Pull Request -
State: closed - Opened by langston-barrett over 2 years ago
#29 - doc: Link to source code and documentation
Pull Request -
State: closed - Opened by langston-barrett over 2 years ago
#28 - Doc: Link to blog post
Issue -
State: closed - Opened by langston-barrett over 2 years ago
#27 - Doc: Outdated screenshots, buttons in Flowfinder docs
Issue -
State: open - Opened by langston-barrett over 2 years ago
#26 - Doc: Add Flowfinder tutorial
Issue -
State: closed - Opened by langston-barrett over 2 years ago
#25 - Doc: Document pulling Docker images from GHCR
Issue -
State: closed - Opened by langston-barrett over 2 years ago
#24 - Manticore UI: Indicate states that terminated in an error
Issue -
State: open - Opened by langston-barrett over 2 years ago
#23 - Doc: Node and edge IDs are not UUIDs
Issue -
State: open - Opened by langston-barrett over 2 years ago
#22 - Tests: Reinstate `example_1.c`
Issue -
State: open - Opened by langston-barrett over 2 years ago
- 1 comment
#21 - Manticore UI: Checkboxes to enable additional Mantiserve detectors
Issue -
State: open - Opened by langston-barrett over 2 years ago
#20 - Flowfinder: Group aliased memory locations
Issue -
State: open - Opened by langston-barrett over 2 years ago
#19 - REST API: Status endpoint
Issue -
State: open - Opened by langston-barrett over 2 years ago
#18 - Flowfinder: Toggle for constant nodes
Issue -
State: open - Opened by langston-barrett over 2 years ago
#17 - Flowfinder: Show incoming/outgoing edges by kind
Issue -
State: open - Opened by langston-barrett over 2 years ago
#16 - Clean up tests
Issue -
State: open - Opened by langston-barrett over 2 years ago
#15 - doc: Overhaul
Pull Request -
State: closed - Opened by langston-barrett over 2 years ago
#14 - Relate DWARF types to their corresponding LLVM types
Issue -
State: open - Opened by langston-barrett over 2 years ago
#13 - Support compilations that use CMake
Issue -
State: open - Opened by langston-barrett over 2 years ago
#12 - Support compilations that use configure scripts
Issue -
State: open - Opened by langston-barrett over 2 years ago
#11 - Test for isolated subgraphs
Issue -
State: open - Opened by langston-barrett over 2 years ago
#10 - Support LLVM exception handling
Issue -
State: open - Opened by langston-barrett over 2 years ago
#9 - Document CPG schema guidelines
Issue -
State: open - Opened by langston-barrett over 2 years ago
#8 - Remove TraceLogger
Issue -
State: open - Opened by langston-barrett over 2 years ago
#7 - Test program with C and C++ sources
Issue -
State: open - Opened by langston-barrett over 2 years ago
#6 - Add endpoint specs to the CPG schema docs
Issue -
State: open - Opened by langston-barrett over 2 years ago
#5 - Support for variable-arity functions
Issue -
State: open - Opened by langston-barrett over 2 years ago
#4 - ci: Build and upload docs
Pull Request -
State: closed - Opened by langston-barrett over 2 years ago
#3 - More CI work
Pull Request -
State: open - Opened by woodruffw over 2 years ago
#2 - Initial CI
Pull Request -
State: closed - Opened by woodruffw over 2 years ago
- 5 comments
#1 - gitlab: remove GitLab MR template
Pull Request -
State: closed - Opened by woodruffw over 2 years ago