forked from CTSRD-CHERI/llvm-project
-
Notifications
You must be signed in to change notification settings - Fork 0
List of detected issues
Irina Dudina edited this page Nov 7, 2023
·
8 revisions
| Warning description | Checker | Link |
|---|---|---|
| Accidental loss of tag | ||
| Storing capabilities at unaligned addresses | ||
| Capability‑unaware implementation of copy/swap routines | ||
| Pointer passed through non‑capability integer type | ||
Provenance issues with (u)intptr_t
|
||
Invalid (NULL‑derived) capability used as pointer |
||
(u)intptr_t arithmetic with ambiguous provenance source |
||
(u)intptr_t value with ambiguous provenance used as pointer |
||
Pointer difference as (u)intptr_t capability |
||
| Sizeof assumptions | ||
| Allocator sizeof operand mismatch | ||
Assuming sizeof(void*) <= 8
|
||
| CHERI‑incompatible patterns | ||
| Use fixed address | ||
| Subtraction of pointers pointing to disctinct objects | ||
| Other | ||
| Part of capability value used in binary operator |