This repository was archived by the owner on Oct 11, 2023. It is now read-only.

Static analysis

Jump to bottom

Sergey Bronnikov edited this page Oct 21, 2020 · 10 revisions

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 ?

[Planet OpenBSD] [OpenBSD Now! in Twitter] [OpenBSD Now! in Mastodon]