llvm-project.git/clang/test/Analysis/store-to-immutable-lambda-init.cpp, branch main Unnamed repository; edit this file 'description' to name the repository. [clang][analyzer] Add StoreToImmutable checker (#150417) 2025-08-04T12:56:33+00:00 Endre Fülöp endre.fulop@sigmatechnology.com 2025-08-04T12:56:33+00:00 a3d0c541eb6a443ef4cf6c84facb4d5c35009bea 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 
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