tools/infer/config.yaml

   1 ---
   2 target: obj-x86_64-pc-linux-gnu
   3 # It is used by 'mach static-analysis' and 'mozreview static-analysis bot'
   4 # in order to have consistency across the used checkers.
   5 platforms:
   6   - linux64
   7 infer_checkers:
   8   # no issues were ever trigger by this
   9   - name: check-nullable
  10     publish: !!bool no
  11   - name: biabduction
  12     publish: !!bool yes
  13   # very very noisy
  14   # it could be useful, but it won't be part of the default enabled checkers
  15   - name: eradicate
  16     publish: !!bool no
  17   # hard to use, not useful
  18   - name: quandary
  19     publish: !!bool no
  20   - name: starvation
  21     publish: !!bool yes
  22   # experimental
  23   - name: litho
  24     publish: !!bool no
  25   - name: racerd
  26     publish: !!bool yes
  27   # I think this is only for c++, can't trigger these errors in Java
  28   - name: liveness
  29     publish: !!bool no
  30 # Third party files from mozilla-central
  31 third_party: tools/rewriting/ThirdPartyPaths.txt
  32 generated: tools/rewriting/Generated.txt