GaloisInc / MATE

MATE is a suite of tools for interactive program analysis with a focus on hunting for bugs in C and C++ code using Code Property Graphs.
https://galoisinc.github.io/MATE/
BSD 3-Clause "New" or "Revised" License
177 stars 12 forks source link

Doc: Document pulling Docker images from GHCR #25

Closed langston-barrett closed 2 years ago

langston-barrett commented 2 years ago

This is especially important for the quickstart.