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 CID :216788] Explicit null dereferenced in tests/ztest/error_hook/src/main.c #31674

Closed
zephyrbot opened this issue Jan 26, 2021 · 2 comments
Assignees
Labels
bug The issue is a bug, or the PR is fixing a bug Coverity A Coverity detected issue or its fix priority: low Low impact/importance bug

Comments

@zephyrbot
Copy link
Collaborator

Static code scan issues found in file:

https://github.com/zephyrproject-rtos/zephyr/tree/f91e9fba51e5da46ee5c6822f8656713d74a6ecf/tests/ztest/error_hook/src/main.c#L57

Category: Null pointer dereferences
Function: trigger_fault_access_null
Component: Tests
CID: 216788

Details:

51    
52     static void trigger_fault_access_null(void)
53     {
54         void *a = NULL;
55    
56         /* access a null of address */
>>>     CID 216788:  Null pointer dereferences  (FORWARD_NULL)
>>>     Dereferencing null pointer "a".
57         int b = *((int *)a);
58    
59         printk("b is %d\n", b);
60     }
61    
62     static void trigger_fault_divide_zero(void)

Please fix or provide comments in coverity using the link:

https://scan9.coverity.com/reports.htm#v32951/p12996.

Note: This issue was created automatically. Priority was set based on classification
of the file affected and the impact field in coverity. Assignees were set using the CODEOWNERS file.

@zephyrbot zephyrbot added bug The issue is a bug, or the PR is fixing a bug Coverity A Coverity detected issue or its fix priority: low Low impact/importance bug labels Jan 26, 2021
@nashif nashif assigned enjiamai and unassigned nashif Jan 26, 2021
@enjiamai
Copy link
Collaborator

@nashif As you mentioned, this is intentionally dereferencing a null pointer to cause a crash for testing. Could you please close it in coverity, thanks.

@pabigot
Copy link
Collaborator

pabigot commented Feb 2, 2021

2021-02-02 20:24:22 (change by @pabigot)
Classification: Unclassified → Intentional
Comment:
This is supposed to dereference a null pointer.

@pabigot pabigot closed this as completed Feb 2, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug The issue is a bug, or the PR is fixing a bug Coverity A Coverity detected issue or its fix priority: low Low impact/importance bug
Projects
None yet
Development

No branches or pull requests

4 participants