summaryrefslogtreecommitdiff
path: root/other/analysis/run-infer
AgeCommit message (Collapse)Author
2020-05-05Use bash arrays instead of strings for static analysis scripts.iphydf
These are more robust wrt. spaces in names.
2018-07-22Run Clang global static analysis on Travis.iphydf
This uses a single .cc file containing almost all the code in the repository to perform whole program analysis.
2018-02-24Fix a bunch of compiler warnings and remove suppressions.iphydf