search

GaloisInc / cclyzerpp

cclyzer++ is a precise and scalable pointer analysis for LLVM code.
https://galoisinc.github.io/cclyzerpp/
BSD 3-Clause "New" or "Revised" License
137 stars 14 forks source link

ci: Lint Souffle warnings #38

Closed langston-barrett closed 2 years ago

langston-barrett commented 2 years ago

We should ensure new code doesn't add new warnings from Souffle. Souffle doesn't have modular control over which warnings are enabled (and for which parts of the code), and some warnings are "false positives" in the sense that we don't want to or can't fix them. We'll likely need some kind of "golden file" approach.

langston-barrett commented 2 years ago

This seems hard enough to do that it's not worth the payoff. We should reconsider if https://github.com/souffle-lang/souffle/issues/1597 is ever fixed.