summaryrefslogtreecommitdiffstats
path: root/tools/infer/config.yaml
diff options
context:
space:
mode:
Diffstat (limited to 'tools/infer/config.yaml')
-rw-r--r--tools/infer/config.yaml32
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