|
About the Static Analyzer category
|
|
0
|
69
|
January 8, 2022
|
|
Coding style of SVals - dyn_cast<T>(SVal) or SVal.getAs<T>()
|
|
2
|
57
|
May 23, 2022
|
|
Should we keep the StaticAnalyzer/Core/Analyses.def file?
|
|
0
|
27
|
May 20, 2022
|
|
Memory region invalidation tracking improvements
|
|
7
|
105
|
May 20, 2022
|
|
Need help getting started with Interprocedural PathSensitive Analysis
|
|
4
|
92
|
May 17, 2022
|
|
Skipping constexpr initializer expression evaluations
|
|
12
|
141
|
May 6, 2022
|
|
[RFC] Much faster cross translation unit (CTU) analysis implementation
|
|
17
|
334
|
April 28, 2022
|
|
[Gsoc 22] Draft Proposal, Review needed
|
|
23
|
381
|
April 19, 2022
|
|
[GSoC 2022] Draf proposal
|
|
8
|
192
|
April 18, 2022
|
|
[RFC] Tablegen Clang Static Analyzer engine options for better documentation
|
|
9
|
194
|
April 6, 2022
|
|
Accessing Taint status outside of clang (or: combining AST Matchers with Taint Status)
|
|
2
|
52
|
April 5, 2022
|
|
Enormously huge analysis time
|
|
1
|
103
|
March 15, 2022
|
|
[analyzer] Refactoring AnalyzerOptions
|
|
5
|
61
|
March 11, 2022
|
|
Conflict over overflowing the integer
|
|
7
|
218
|
February 14, 2022
|
|
Declarative ExplodedGraph matching
|
|
2
|
130
|
February 11, 2022
|
|
[analyzer] Questions about the null dereference checker
|
|
6
|
33
|
September 21, 2021
|
|
[GSoc][analyzer] Find null smart pointer de-references
|
|
1
|
29
|
March 12, 2021
|
|
[analyzer] Bugzilla Database Cleanup Policy
|
|
1
|
21
|
December 29, 2020
|
|
[analyzer] Pointer cast representation problems
|
|
4
|
18
|
December 15, 2020
|
|
[analyzer] Documentation of Container and InteratorModeling
|
|
0
|
20
|
November 23, 2020
|
|
[analyzer][RFC] Attribute(s) to enhance/configure the analysis
|
|
10
|
17
|
October 26, 2020
|
|
[analyzer] Rename SymbolRef to SymExprRef
|
|
2
|
21
|
October 20, 2020
|
|
[RFC][analyzer][StdLibraryFunctionsChecker] Parsing signatures?
|
|
3
|
22
|
September 23, 2020
|
|
[analyzer][RFC] Get info from the LLVM IR for precision
|
|
18
|
32
|
September 21, 2020
|
|
[analyzer] Some built-in macros are 'Unknown' while others are well substituted
|
|
2
|
17
|
September 2, 2020
|
|
[analyzer] gdb pretty printers for analyzer specific types
|
|
13
|
17
|
August 31, 2020
|
|
[analyzer] Calling SymbolReaper::markInUse on BinarySymExprs are ignored
|
|
13
|
16
|
August 24, 2020
|
|
[analyzer] Spell out ENTO in clang::ento
|
|
7
|
20
|
August 20, 2020
|
|
[analyzer][z3] Limit Z3 without timeouts
|
|
1
|
18
|
August 19, 2020
|
|
[analyzer] How to analyzer the code after an indefinite loop?
|
|
6
|
34
|
July 31, 2020
|