celix icon indicating copy to clipboard operation
celix copied to clipboard

Coverity and `celix_auto`

Open PengZheng opened this issue 1 year ago • 1 comments

It turns out that currently Coverity does not know __attribute__((cleanup(func))), which leads to lots of false positive reports. For a simple example, check https://scan9.scan.coverity.com/#/project-view/52268/10253?selectedIssue=392558

Some extra configuration/modeling efforts may be needed to make Coverity work again.

PengZheng avatar Jun 23 '24 03:06 PengZheng

I am not sure if we can configure coverity to cope with __attribute__((cleanup(func))).

There is some option for a model reference, see: https://scan.coverity.com/tune But as far as I can tell this does not help, because coverity does not register that then func is called once a variable goes out of scope.

pnoltes avatar Jul 07 '24 18:07 pnoltes