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

FactGenerator: Enable more clang-tidy checks #130

Closed langston-barrett closed 2 years ago

langston-barrett commented 2 years ago

... and apply the relevant auto-fixes.

langston-barrett commented 2 years ago

After merging, should create a new issue for enabling the following:

# -readability-convert-member-functions-to-static,
# -readability-inconsistent-declaration-parameter-name,
# -readability-magic-numbers,
# -readability-suspicious-call-argument,