|
About the Static Analyzer category
|
|
0
|
202
|
January 8, 2022
|
|
About Pointer Escape
|
|
0
|
35
|
March 31, 2023
|
|
Recursion Depth in Static Analysis
|
|
6
|
310
|
March 31, 2023
|
|
Clang static analyzer makes wrong assumptions whether a loop body is entered, even with sufficient context
|
|
1
|
70
|
March 24, 2023
|
|
Who is using Static Analyzer? Where are our users?
|
|
7
|
458
|
March 15, 2023
|
|
GSoC 2023 proposal - Improve and stabilize the static analyzer’s “taint analysis” checks
|
|
7
|
234
|
March 10, 2023
|
|
GenericTaintChecker - taint status examination
|
|
6
|
207
|
March 9, 2023
|
|
Reference to an int symbol in the store from PostCall
|
|
2
|
74
|
March 7, 2023
|
|
Is there any way to identify potential execution paths that call panic() from public functions?
|
|
3
|
161
|
March 1, 2023
|
|
What improvements does LLVM 16 bring to the static analyzer?
|
|
0
|
87
|
February 26, 2023
|
|
matchesAnyAncestorOf yields "Tried to match orphan node" for a ParmVarDecl
|
|
0
|
48
|
February 22, 2023
|
|
Nullability analyzer doesn't seem to work (and how to fix it)
|
|
2
|
208
|
February 1, 2023
|
|
Is that possible for CSA to analyze other languages e.g. Java、 JavaScript by transpiling them to clang compatible AST
|
|
9
|
232
|
January 17, 2023
|
|
[analyzer] Whole Program Analysis - Full Call Graph
|
|
1
|
120
|
January 14, 2023
|
|
Problem trying to implement "Bugprone-signal-handler" check for sigaction
|
|
0
|
60
|
December 29, 2022
|
|
Clang Static Analyzer emit AST skipping missing headers and missing type definitions
|
|
2
|
145
|
December 21, 2022
|
|
Intercept-build llvm (14.0.6) does not work on Mac OS (M2 chip) Ventura
|
|
0
|
120
|
December 15, 2022
|
|
Checker for Github Issue https://github.com/llvm/llvm-project/issues/43453
|
|
0
|
106
|
December 4, 2022
|
|
How do I register my Clang Static Analyzer checker
|
|
4
|
215
|
November 30, 2022
|
|
Static Analysis in Clang Round Table - Notes
|
|
0
|
229
|
November 17, 2022
|
|
Possible bug with malloc modeling?
|
|
3
|
189
|
October 31, 2022
|
|
[RFC][clang][dataflow] SignAnalysis, edgeTransfer, branchTransfer
|
|
5
|
313
|
October 25, 2022
|
|
Setjmp() and static analysis
|
|
4
|
206
|
October 14, 2022
|
|
Track taint path
|
|
2
|
181
|
October 4, 2022
|
|
[analyzer] Why do we suck at modeling C++ dynamic memory?
|
|
1
|
277
|
October 3, 2022
|
|
[analyzer] New checker for std::any as a BSc thesis
|
|
1
|
172
|
October 3, 2022
|
|
clang-analyzer-core.DivideZero only gives a warning once in one function declaration?
|
|
3
|
150
|
September 21, 2022
|
|
Quick recap on non-POD array evaluation in the Clang Static Analyzer
|
|
0
|
157
|
September 11, 2022
|
|
[analyzer][taint] More precise taint modelling on arrays
|
|
8
|
198
|
August 26, 2022
|
|
Are `SymbolicRegions` really untyped?
|
|
5
|
216
|
August 18, 2022
|