About the Static Analyzer category
|
|
0
|
527
|
January 8, 2022
|
Optimizing simplifySVal [raw idea]
|
|
4
|
94
|
July 21, 2025
|
[RFC] Summary Based Analysis Prototype
|
|
27
|
626
|
July 20, 2025
|
Role of `ProgramPointTag` in the static analyzer
|
|
6
|
128
|
June 11, 2025
|
[clang-sa] Macro definitions of header TUs not included in the plist file
|
|
3
|
88
|
June 3, 2025
|
Static Analysis Roundtable Notes from EuroLLVM 2025
|
|
3
|
387
|
May 21, 2025
|
Thread Safety of the Static Analyzer itself
|
|
3
|
88
|
April 17, 2025
|
GSoC 2025 proposal - Static Analyzer
|
|
7
|
162
|
April 9, 2025
|
Why is merge not invoked in DataflowAnalysis plugin?
|
|
2
|
71
|
April 9, 2025
|
Taking ownership of /clang/test/Analysis
|
|
11
|
366
|
April 4, 2025
|
Clean up valist checkers
|
|
4
|
110
|
March 27, 2025
|
Z3 upgrade experience report
|
|
1
|
138
|
March 27, 2025
|
LValueElement returns UnknownVal for multi-dimensional arrays
|
|
2
|
71
|
March 27, 2025
|
Get rid of checker name handling boilerplate
|
|
9
|
213
|
March 12, 2025
|
Grad student looking for project
|
|
8
|
295
|
February 27, 2025
|
Augmenting CFG with probabilities
|
|
6
|
302
|
February 24, 2025
|
checkLocation for ImplicitCastExpr of kind CK_NoOp
|
|
12
|
166
|
February 24, 2025
|
Static analyzer or Data flow analysis
|
|
12
|
195
|
February 21, 2025
|
Unsuccessful attempts to fix a slow-analysis case related to `removeDead` and environment size
|
|
4
|
136
|
February 17, 2025
|
Off topic: Kudos
|
|
0
|
218
|
February 12, 2025
|
[analyzer][RFC] `-ftime-trace` time scopes for steps and entry points
|
|
4
|
169
|
February 3, 2025
|
Documenting the analyzer options
|
|
1
|
52
|
January 31, 2025
|
Loop handling improvement plans
|
|
21
|
739
|
January 29, 2025
|
[analyzer][RFC] Retry Z3 crosscheck queries on timeout
|
|
8
|
167
|
December 19, 2024
|
[analyzer][RFC] Taming Z3 query times
|
|
25
|
829
|
December 4, 2024
|
Fixing or removing check::BranchCondition
|
|
10
|
150
|
November 28, 2024
|
Dangling std::string_view checker
|
|
4
|
188
|
November 5, 2024
|
Tracking and prioritizing cleanup tasks in the Static Analyzer code base
|
|
3
|
112
|
October 29, 2024
|
Signal Sanitizer (-fsanitize=signals)
|
|
8
|
320
|
October 17, 2024
|
How to use -analyzer-config with --sysroot
|
|
2
|
52
|
October 8, 2024
|