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

#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

#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

#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

#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

#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

#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