search

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

CI: Linting and formatting #44

Open langston-barrett opened 2 years ago

langston-barrett commented 2 years ago

The CI build does not yet lint and check code formatting.