|
Track taint path
|
|
2
|
222
|
October 4, 2022
|
|
[analyzer] Why do we suck at modeling C++ dynamic memory?
|
|
1
|
342
|
October 3, 2022
|
|
[analyzer] New checker for std::any as a BSc thesis
|
|
1
|
203
|
October 3, 2022
|
|
clang-analyzer-core.DivideZero only gives a warning once in one function declaration?
|
|
3
|
239
|
September 21, 2022
|
|
Quick recap on non-POD array evaluation in the Clang Static Analyzer
|
|
0
|
196
|
September 11, 2022
|
|
[analyzer][taint] More precise taint modelling on arrays
|
|
8
|
279
|
August 26, 2022
|
|
Are `SymbolicRegions` really untyped?
|
|
5
|
237
|
August 18, 2022
|
|
AST parent of class in a friend declaration
|
|
9
|
297
|
August 11, 2022
|
|
False Positives of Clang Static Analyzer--DivZeroChecker in LLVM14.0.6
|
|
4
|
385
|
August 2, 2022
|
|
Query regarding bug reports
|
|
0
|
118
|
July 22, 2022
|
|
Getting the scope/context of recently analyzed function
|
|
5
|
217
|
July 21, 2022
|
|
To doubt of index_error_code::multiple_ definitions
|
|
0
|
114
|
July 20, 2022
|
|
Query regarding branching in Path Sensitive Analysis
|
|
3
|
166
|
July 15, 2022
|
|
Clang-extdef-mapping and AST files
|
|
3
|
275
|
June 28, 2022
|
|
How to get IfStmt for branch condition being checked in Clang Static Analyzer
|
|
1
|
195
|
June 27, 2022
|
|
Memory region invalidation tracking improvements
|
|
8
|
341
|
June 23, 2022
|
|
Why doesn't -Wuninitialized find what scan-build finds?
|
|
10
|
258
|
June 23, 2022
|
|
Visiting all branches in an if-else statements
|
|
2
|
249
|
June 21, 2022
|
|
Roadmap of modeling symbolic cast operations
|
|
8
|
252
|
June 17, 2022
|
|
Array bound checking in clang static analyzer
|
|
2
|
317
|
June 16, 2022
|
|
More checker callbacks should have `CheckerContext`
|
|
5
|
138
|
June 15, 2022
|
|
Coding style of SVals - dyn_cast<T>(SVal) or SVal.getAs<T>()
|
|
2
|
234
|
May 23, 2022
|
|
Should we keep the StaticAnalyzer/Core/Analyses.def file?
|
|
0
|
136
|
May 20, 2022
|
|
Need help getting started with Interprocedural PathSensitive Analysis
|
|
4
|
241
|
May 17, 2022
|
|
Skipping constexpr initializer expression evaluations
|
|
12
|
285
|
May 6, 2022
|
|
[RFC] Much faster cross translation unit (CTU) analysis implementation
|
|
17
|
1046
|
April 28, 2022
|
|
[Gsoc 22] Draft Proposal, Review needed
|
|
23
|
719
|
April 19, 2022
|
|
[GSoC 2022] Draf proposal
|
|
8
|
352
|
April 18, 2022
|
|
[RFC] Tablegen Clang Static Analyzer engine options for better documentation
|
|
9
|
376
|
April 6, 2022
|
|
Accessing Taint status outside of clang (or: combining AST Matchers with Taint Status)
|
|
2
|
202
|
April 5, 2022
|