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 :218729] Out-of-bounds access in subsys/bluetooth/host/gatt.c #32400

Closed
zephyrbot opened this issue Feb 17, 2021 · 1 comment
Closed
Assignees
Labels
bug The issue is a bug, or the PR is fixing a bug Coverity A Coverity detected issue or its fix priority: medium Medium impact/importance bug

Comments

@zephyrbot
Copy link
Collaborator

Static code scan issues found in file:

https:/zephyrproject-rtos/zephyr/tree/fe7c2efca800a0cf1bccf23aefe08b3c4beb88bf/subsys/bluetooth/host/gatt.c#L2177

Category: Memory - corruptions
Function: bt_gatt_notify_cb
Component: Bluetooth
CID: 218729

Details:

2171             if (!gatt_find_by_uuid(&data, params->uuid)) {
2172                 return -ENOENT;
2173             }
2174         }
2175    
2176         /* Check if attribute is a characteristic then adjust the handle */
>>>     CID 218729:  Memory - corruptions  (OVERRUN)
>>>     Overrunning array "struct bt_uuid_16 [1]({{.uuid = {BT_UUID_TYPE_16}, .val = 10243}})" of 4 bytes by passing it to a function which accesses it at byte offset 16.
2177         if (!bt_uuid_cmp(data.attr->uuid, BT_UUID_GATT_CHRC)) {
2178             struct bt_gatt_chrc *chrc = data.attr->user_data;
2179    
2180             if (!(chrc->properties & BT_GATT_CHRC_NOTIFY)) {
2181                 return -EINVAL;
2182             }

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: medium Medium impact/importance bug labels Feb 17, 2021
@joerchan
Copy link
Contributor

Passing bt_uuid_16 with type BT_UUID_TYPE_16 will not take case branch BT_UUID_TYPE_128 in uuid_to_uuid128

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: medium Medium impact/importance bug
Projects
None yet
Development

No branches or pull requests

4 participants