Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Coverity and celix_auto #754

Open
PengZheng opened this issue Jun 23, 2024 · 1 comment
Open

Coverity and celix_auto #754

PengZheng opened this issue Jun 23, 2024 · 1 comment
Labels
build/environment Categorizes an issue or PR relevant to the build environment.

Comments

@PengZheng
Copy link
Contributor

PengZheng commented Jun 23, 2024

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 PengZheng added the build/environment Categorizes an issue or PR relevant to the build environment. label Jun 23, 2024
@pnoltes
Copy link
Contributor

pnoltes commented Jul 7, 2024

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.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
build/environment Categorizes an issue or PR relevant to the build environment.
Projects
None yet
Development

No branches or pull requests

2 participants