|
About the Static Analyzer category
|
|
0
|
148
|
January 8, 2022
|
|
Checker for Github Issue https://github.com/llvm/llvm-project/issues/43453
|
|
0
|
38
|
December 4, 2022
|
|
How do I register my Clang Static Analyzer checker
|
|
4
|
90
|
November 30, 2022
|
|
Static Analysis in Clang Round Table - Notes
|
|
0
|
151
|
November 17, 2022
|
|
Possible bug with malloc modeling?
|
|
3
|
141
|
October 31, 2022
|
|
[RFC][clang][dataflow] SignAnalysis, edgeTransfer, branchTransfer
|
|
5
|
248
|
October 25, 2022
|
|
Setjmp() and static analysis
|
|
4
|
155
|
October 14, 2022
|
|
Track taint path
|
|
2
|
116
|
October 4, 2022
|
|
[analyzer] Why do we suck at modeling C++ dynamic memory?
|
|
1
|
199
|
October 3, 2022
|
|
[analyzer] New checker for std::any as a BSc thesis
|
|
1
|
113
|
October 3, 2022
|
|
clang-analyzer-core.DivideZero only gives a warning once in one function declaration?
|
|
3
|
98
|
September 21, 2022
|
|
Quick recap on non-POD array evaluation in the Clang Static Analyzer
|
|
0
|
89
|
September 11, 2022
|
|
[analyzer][taint] More precise taint modelling on arrays
|
|
8
|
159
|
August 26, 2022
|
|
Are `SymbolicRegions` really untyped?
|
|
5
|
172
|
August 18, 2022
|
|
GenericTaintChecker - taint status examination
|
|
0
|
62
|
August 18, 2022
|
|
AST parent of class in a friend declaration
|
|
9
|
184
|
August 11, 2022
|
|
False Positives of Clang Static Analyzer--DivZeroChecker in LLVM14.0.6
|
|
4
|
206
|
August 2, 2022
|
|
Query regarding bug reports
|
|
0
|
70
|
July 22, 2022
|
|
Getting the scope/context of recently analyzed function
|
|
5
|
112
|
July 21, 2022
|
|
To doubt of index_error_code::multiple_ definitions
|
|
0
|
65
|
July 20, 2022
|
|
Recursion Depth in Static Analysis
|
|
2
|
145
|
July 19, 2022
|
|
Query regarding branching in Path Sensitive Analysis
|
|
3
|
88
|
July 15, 2022
|
|
Clang-extdef-mapping and AST files
|
|
3
|
157
|
June 28, 2022
|
|
How to get IfStmt for branch condition being checked in Clang Static Analyzer
|
|
1
|
109
|
June 27, 2022
|
|
Memory region invalidation tracking improvements
|
|
8
|
250
|
June 23, 2022
|
|
Why doesn't -Wuninitialized find what scan-build finds?
|
|
10
|
172
|
June 23, 2022
|
|
Visiting all branches in an if-else statements
|
|
2
|
156
|
June 21, 2022
|
|
Roadmap of modeling symbolic cast operations
|
|
8
|
187
|
June 17, 2022
|
|
Array bound checking in clang static analyzer
|
|
2
|
152
|
June 16, 2022
|
|
More checker callbacks should have `CheckerContext`
|
|
5
|
102
|
June 15, 2022
|