|
About the Static Analyzer category
|
|
0
|
550
|
January 8, 2022
|
|
Uniformization of bounds checking
|
|
15
|
174
|
December 9, 2025
|
|
RFC Report modes for unsafe function reporting
|
|
3
|
86
|
December 1, 2025
|
|
[RFC] RegionStore++
|
|
23
|
1181
|
October 1, 2025
|
|
Clean up valist checkers
|
|
5
|
199
|
September 3, 2025
|
|
Remove alpha.core.CastSize
|
|
1
|
72
|
August 20, 2025
|
|
Optimizing simplifySVal [raw idea]
|
|
4
|
152
|
July 21, 2025
|
|
[RFC] Summary Based Analysis Prototype
|
|
27
|
920
|
July 20, 2025
|
|
Role of `ProgramPointTag` in the static analyzer
|
|
6
|
207
|
June 11, 2025
|
|
[clang-sa] Macro definitions of header TUs not included in the plist file
|
|
3
|
125
|
June 3, 2025
|
|
Static Analysis Roundtable Notes from EuroLLVM 2025
|
|
3
|
434
|
May 21, 2025
|
|
Thread Safety of the Static Analyzer itself
|
|
3
|
151
|
April 17, 2025
|
|
GSoC 2025 proposal - Static Analyzer
|
|
7
|
236
|
April 9, 2025
|
|
Why is merge not invoked in DataflowAnalysis plugin?
|
|
2
|
96
|
April 9, 2025
|
|
Taking ownership of /clang/test/Analysis
|
|
11
|
428
|
April 4, 2025
|
|
Z3 upgrade experience report
|
|
1
|
166
|
March 27, 2025
|
|
LValueElement returns UnknownVal for multi-dimensional arrays
|
|
2
|
94
|
March 27, 2025
|
|
Get rid of checker name handling boilerplate
|
|
9
|
301
|
March 12, 2025
|
|
Grad student looking for project
|
|
8
|
411
|
February 27, 2025
|
|
Augmenting CFG with probabilities
|
|
6
|
332
|
February 24, 2025
|
|
checkLocation for ImplicitCastExpr of kind CK_NoOp
|
|
12
|
269
|
February 24, 2025
|
|
Static analyzer or Data flow analysis
|
|
12
|
304
|
February 21, 2025
|
|
Unsuccessful attempts to fix a slow-analysis case related to `removeDead` and environment size
|
|
4
|
171
|
February 17, 2025
|
|
Off topic: Kudos
|
|
0
|
232
|
February 12, 2025
|
|
[analyzer][RFC] `-ftime-trace` time scopes for steps and entry points
|
|
4
|
208
|
February 3, 2025
|
|
Documenting the analyzer options
|
|
1
|
65
|
January 31, 2025
|
|
Loop handling improvement plans
|
|
21
|
874
|
January 29, 2025
|
|
[analyzer][RFC] Retry Z3 crosscheck queries on timeout
|
|
8
|
250
|
December 19, 2024
|
|
[analyzer][RFC] Taming Z3 query times
|
|
25
|
981
|
December 4, 2024
|
|
Fixing or removing check::BranchCondition
|
|
10
|
199
|
November 28, 2024
|