[clang] [clang][analyzer] Move 'alpha.core.FixedAddressDereference' out of alpha (PR #132404)
Balázs Benics via cfe-commits
cfe-commits at lists.llvm.org
Thu Jan 29 02:44:55 PST 2026
steakhal wrote:
I am getting some push back internally against this change.
The problem is that some projects are close-to-the-metal (firmware, boot, hardware stuff) and there actually the only way to communicate with the hardware is via fixed addresses and a bunch of volatile pointers.
Of course, this checker wasn't really designed for such code bases - if anything, for the opposite.
However, projects in such a domain are also likely to have a security aware mindset, which fundamentally opposes them to just disable some checkers - especially if they are in the `core` package. I find this argument pretty solid.
So the question is, why should we do about this?
- Clarify the docs that this checker is not intended to be used in firmware stuff?
- I want to especially avoid the users picking up the only suppression to this checker, using the `address_space(NNN)` attribute. That attribute is not documented, also has consequences on the binary so I definitely don't want to imply using that for suppression. This is kinda what users think right now, sadly.
- Come up with some new way of suppressing this checker?
- We could potentially move this to the `optin` package.
@NagyDonat @balazske WDYT?
https://github.com/llvm/llvm-project/pull/132404
More information about the cfe-commits
mailing list