tools/infer/config.yaml
author Robert Bartlensky <rbartlensky@mozilla.com>
Wed, 12 Sep 2018 09:34:30 +0000
changeset 435863 081d8311be597a227b839b7c9b95fb0a764514c0
parent 430610 9fb094b1e5f6d7aa6e3976a842fbe6a788f19327
child 435865 fca86e2acc89dd0be22f3f4a92f32e823ac395f1
permissions -rw-r--r--
Bug 1479503: Check infer in ./mach static-analysis autotest. r=nalexander Adds infer to ./mach static-analysis autotest. Differential Revision: https://phabricator.services.mozilla.com/D4547

---
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