Static analysis - ligurio/openbsd-tests GitHub Wiki

These static analyzers used in OpenBSD:

• C:
  • GCC (CFLAGS+= -Wall -Werror enabled by default)
  • Coverity, fixes
    • https://scan.coverity.com/projects/openbsd-userland
    • https://scan.coverity.com/projects/openbsd-kernel
  • scan-build (clang), fixes
  • cppcheck, fixes
  • Coccinelle, fixes
  • Splint fixes
  • FlexLint?
  • PVS Studio? (Discussion: https://marc.info/?l=openbsd-misc&m=153824260611795&w=2)
• Shell:
  • shellcheck
• Makefile:
  • SyMake, checkmake ?