|
About the Static Analyzer category
|
|
0
|
552
|
January 8, 2022
|
|
Uniformization of bounds checking
|
|
15
|
213
|
December 9, 2025
|
|
RFC Report modes for unsafe function reporting
|
|
3
|
92
|
December 1, 2025
|
|
[RFC] RegionStore++
|
|
23
|
1185
|
October 1, 2025
|
|
Clean up valist checkers
|
|
5
|
199
|
September 3, 2025
|
|
Remove alpha.core.CastSize
|
|
1
|
74
|
August 20, 2025
|
|
Optimizing simplifySVal [raw idea]
|
|
4
|
152
|
July 21, 2025
|
|
[RFC] Summary Based Analysis Prototype
|
|
27
|
931
|
July 20, 2025
|
|
Role of `ProgramPointTag` in the static analyzer
|
|
6
|
208
|
June 11, 2025
|
|
[clang-sa] Macro definitions of header TUs not included in the plist file
|
|
3
|
128
|
June 3, 2025
|
|
Static Analysis Roundtable Notes from EuroLLVM 2025
|
|
3
|
439
|
May 21, 2025
|
|
Thread Safety of the Static Analyzer itself
|
|
3
|
152
|
April 17, 2025
|
|
GSoC 2025 proposal - Static Analyzer
|
|
7
|
238
|
April 9, 2025
|
|
Why is merge not invoked in DataflowAnalysis plugin?
|
|
2
|
98
|
April 9, 2025
|
|
Taking ownership of /clang/test/Analysis
|
|
11
|
435
|
April 4, 2025
|
|
Z3 upgrade experience report
|
|
1
|
170
|
March 27, 2025
|
|
LValueElement returns UnknownVal for multi-dimensional arrays
|
|
2
|
97
|
March 27, 2025
|
|
Get rid of checker name handling boilerplate
|
|
9
|
302
|
March 12, 2025
|
|
Grad student looking for project
|
|
8
|
421
|
February 27, 2025
|
|
Augmenting CFG with probabilities
|
|
6
|
334
|
February 24, 2025
|
|
checkLocation for ImplicitCastExpr of kind CK_NoOp
|
|
12
|
270
|
February 24, 2025
|
|
Static analyzer or Data flow analysis
|
|
12
|
313
|
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
|
234
|
February 12, 2025
|
|
[analyzer][RFC] `-ftime-trace` time scopes for steps and entry points
|
|
4
|
210
|
February 3, 2025
|
|
Documenting the analyzer options
|
|
1
|
65
|
January 31, 2025
|
|
Loop handling improvement plans
|
|
21
|
895
|
January 29, 2025
|
|
[analyzer][RFC] Retry Z3 crosscheck queries on timeout
|
|
8
|
253
|
December 19, 2024
|
|
[analyzer][RFC] Taming Z3 query times
|
|
25
|
988
|
December 4, 2024
|
|
Fixing or removing check::BranchCondition
|
|
10
|
205
|
November 28, 2024
|