diff options
| author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-28 14:29:10 +0000 |
|---|---|---|
| committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-28 14:29:10 +0000 |
| commit | 2aa4a82499d4becd2284cdb482213d541b8804dd (patch) | |
| tree | b80bf8bf13c3766139fbacc530efd0dd9d54394c /tools/infer/config.yaml | |
| parent | Initial commit. (diff) | |
| download | firefox-upstream.tar.xz firefox-upstream.zip | |
Adding upstream version 86.0.1.upstream/86.0.1upstream
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'tools/infer/config.yaml')
| -rw-r--r-- | tools/infer/config.yaml | 32 |
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 |