Query module CallWithNullSAL

name
SAL requires non-null argument
description
When null is passed to a function that is SAL-annotated to forbid this, undefined behavior may result.
kind
problem
id
cpp/call-with-null-sal
problem.severity
warning
tags
reliability

Imports

SAL
cpp

Provides classes and predicates for working with C/C++/ObjC/ObjC++ code.