2018-07-26 13:45:44 +00:00
|
|
|
---
|
|
|
|
|
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:
|
|
|
|
|
- name: check-nullable
|
|
|
|
|
publish: !!bool yes
|
|
|
|
|
- name: eradicate
|
|
|
|
|
publish: !!bool no
|
|
|
|
|
- name: quandary
|
2018-09-14 13:35:23 +00:00
|
|
|
publish: !!bool yes
|
2018-07-26 13:45:44 +00:00
|
|
|
- name: starvation
|
|
|
|
|
publish: !!bool yes
|
|
|
|
|
- name: litho
|
2018-09-14 13:35:23 +00:00
|
|
|
publish: !!bool yes
|
2018-07-26 13:45:44 +00:00
|
|
|
- name: racerd
|
|
|
|
|
publish: !!bool yes
|
|
|
|
|
- name: liveness
|
2018-09-14 13:35:23 +00:00
|
|
|
publish: !!bool yes
|
2018-07-26 13:45:44 +00:00
|
|
|
# Third party files from mozilla-central
|
|
|
|
|
third_party: tools/rewriting/ThirdPartyPaths.txt
|
