diff options
Diffstat (limited to 'tools/infer/config.yaml')
| -rw-r--r-- | tools/infer/config.yaml | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/tools/infer/config.yaml b/tools/infer/config.yaml new file mode 100644 index 0000000000..3b855e7951 --- /dev/null +++ b/tools/infer/config.yaml @@ -0,0 +1,32 @@ +--- +target: obj-x86_64-pc-linux-gnu +# It is used by 'mach static-analysis' and 'mozreview static-analysis bot' +# in order to have consistency across the used checkers. +platforms: + - linux64 +infer_checkers: + # no issues were ever trigger by this + - name: check-nullable + publish: !!bool no + - name: biabduction + publish: !!bool yes + # very very noisy + # it could be useful, but it won't be part of the default enabled checkers + - name: eradicate + publish: !!bool no + # hard to use, not useful + - name: quandary + publish: !!bool no + - name: starvation + publish: !!bool yes + # experimental + - name: litho + publish: !!bool no + - name: racerd + publish: !!bool yes + # I think this is only for c++, can't trigger these errors in Java + - name: liveness + publish: !!bool no +# Third party files from mozilla-central +third_party: tools/rewriting/ThirdPartyPaths.txt +generated: tools/rewriting/Generated.txt |