diff options
| author | Endre Fülöp <endre.fulop@sigmatechnology.com> | 2025-08-04 14:56:33 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-08-04 14:56:33 +0200 |
| commit | a3d0c541eb6a443ef4cf6c84facb4d5c35009bea (patch) | |
| tree | 23d1c1cce826b065dd23f261c2a41b03e81eb9e7 /llvm/lib/Object/ObjectFile.cpp | |
| parent | 3a20c005f6fce92600ca1167255e2a7ef7a0e0d0 (diff) | |
| download | llvm-a3d0c541eb6a443ef4cf6c84facb4d5c35009bea.zip llvm-a3d0c541eb6a443ef4cf6c84facb4d5c35009bea.tar.gz llvm-a3d0c541eb6a443ef4cf6c84facb4d5c35009bea.tar.bz2 | |
[clang][analyzer] Add StoreToImmutable checker (#150417)
This adds alpha.core.StoreToImmutable, a new alpha checker that detects
writes
to immutable memory regions, implementing part of SEI CERT Rule ENV30-C.
The
original proposal only handled global const variables, but this
implementation
extends it to also detect writes to:
- Local const variables
- String literals
- Const parameters and struct members
- Const arrays and pointers to const data
This checker is the continuation of the work started by zukatsinadze.
Discussion: https://reviews.llvm.org/D124244
Diffstat (limited to 'llvm/lib/Object/ObjectFile.cpp')
0 files changed, 0 insertions, 0 deletions