tools/infer/config.yaml
author Robert Bartlensky <rbartlensky@mozilla.com>
Thu, 13 Sep 2018 20:58:03 +0000
changeset 436307 aae4f349fa588aa844cfb14fae278b776aed6cb7
parent 435865 fca86e2acc89dd0be22f3f4a92f32e823ac395f1
child 436324 c5fbbf959e23a4f33d450cb6c64ef739e09fbe13
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/D5692

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