err_ptr_deref: re-write the check
commit5e1b43c1b1a15e50754c2a0a7d417f9c7a2859a1
authorDan Carpenter <dan.carpenter@linaro.org>
Thu, 11 May 2023 08:41:03 +0000 (11 11:41 +0300)
committerDan Carpenter <dan.carpenter@linaro.org>
Thu, 11 May 2023 08:41:03 +0000 (11 11:41 +0300)
tree1f68131faad86229c694c5f080583bc202fcc721
parent8259aa2d632589f053dd3da1bbf8366dae0a8257
err_ptr_deref: re-write the check

Smatch now has a module to handle dereferences (smatch_dereference.c) and
a module to track error pointers (smatch_kernel_err_ptr.c).  These modules
are better than the previous code.  The dereference module handles cross
function dereferences.  The error pointer module is more accurate than the
previous code.  And they result in a much simpler check as well.

This check now has a list of functions which are commonly used without
checking for errors.  That helps cut down on the false positives.

Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>
check_err_ptr_deref.c