diff options
| author | Maria Matejka <mq@ucw.cz> | 2020-05-01 15:34:17 +0200 |
|---|---|---|
| committer | Maria Matejka <mq@ucw.cz> | 2020-05-01 15:34:17 +0200 |
| commit | 048eb2ddf1ee9587d9fa30cbb3f87d6f650a2133 (patch) | |
| tree | fdec4c5679a02c901cf2bc92fd81618c6f12d48e /Makefile.in | |
| parent | 17de3a023f7bde293892b41bfafe5740c8553fc8 (diff) | |
| parent | 59238768b3b05fa134348d2232b42537d0403994 (diff) | |
Merge remote-tracking branch 'origin/mq-static-analysis'
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/Makefile.in b/Makefile.in index e6dbd572..da6cd206 100644 --- a/Makefile.in +++ b/Makefile.in @@ -184,6 +184,15 @@ check: tests tests_run tests: $(tests_targets) tests_run: $(tests_targets_ok) +STATIC_CHECKERS_ENABLE := nullability.NullableDereferenced nullability.NullablePassedToNonnull nullability.NullableReturnedFromNonnull optin.portability.UnixAPI valist.CopyToSelf valist.Uninitialized valist.Unterminated +STATIC_CHECKERS_DISABLE := deadcode.DeadStores +STATIC_SCAN_FLAGS := -o $(objdir)/static-scan/ $(addprefix -enable-checker ,$(STATIC_CHECKERS_ENABLE)) $(addprefix -disable-checker ,$(STATIC_CHECKERS_DISABLE)) + +static-scan: + $(E)echo Running static code analysis + $(Q)$(MAKE) clean + $(Q)scan-build $(STATIC_SCAN_FLAGS) $(MAKE) -$(MAKEFLAGS) + tags: cd $(srcdir) ; etags -lc `find $(dirs) -name *.[chY]` |