index
:
clang/clang.git
release_50-based
release_60-based
release_70-based
release_80-based
upstream/google/stable
upstream/google/testing
upstream/master
upstream/release_26
upstream/release_27
upstream/release_28
upstream/release_29
upstream/release_30
upstream/release_31
upstream/release_32
upstream/release_33
upstream/release_34
upstream/release_35
upstream/release_35@215011
upstream/release_36
upstream/release_37
upstream/release_38
upstream/release_39
upstream/release_40
upstream/release_50
upstream/release_60
upstream/release_70
upstream/release_80
upstream/release_90
wip/pending-upstream
(deprecated) Vendor branches of https://git.llvm.org/git/clang.git , use clang/llvm-project instead.
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
lib
/
StaticAnalyzer
Commit message (
Expand
)
Author
Age
Files
Lines
*
Change ExprEngine::shouldInlineDecl() to be defensive in checking if the CFG ...
Ted Kremenek
2012-04-17
1
-0
/
+5
*
[analyzer] Fix a false alarm in SelfInitChecker (radar://11235991).
Anna Zaks
2012-04-16
1
-5
/
+20
*
Add an AttributedStmt type to represent a statement with C++11 attributes
Richard Smith
2012-04-14
1
-0
/
+1
*
Remove the unused, unmaintained, incomplete 'Index' library.
Douglas Gregor
2012-04-13
3
-25
/
+1
*
[analyzer] PCH deserialization optimization.
Anna Zaks
2012-04-12
2
-20
/
+68
*
[analyzer] dynamic_cast Simplify null value generation.
Anna Zaks
2012-04-11
1
-8
/
+2
*
[analyzer] Don't crash even when the system functions are redefined.
Anna Zaks
2012-04-10
3
-7
/
+72
*
[analyzer] dynamic_cast: Better model cast from a reference.
Anna Zaks
2012-04-10
2
-13
/
+16
*
[analyzer] Add support for C++ dynamic_cast.
Anna Zaks
2012-04-10
2
-5
/
+129
*
Rework ExprEngine::evalLoad and clients (e.g. VisitBinaryOperator) so that wh...
Ted Kremenek
2012-04-06
5
-51
/
+72
*
[analyzer] Check that the arguments to NSOrderedSet creation methods are vali...
Jordy Rose
2012-04-06
1
-0
/
+12
*
Require that all static analyzer issues have a category. As part of this cha...
Ted Kremenek
2012-04-05
13
-20
/
+39
*
Handle symbolicating a reference in an initializer expression that we don't u...
Ted Kremenek
2012-04-05
1
-1
/
+6
*
Teach ObjCContainersChecker that the array passed to CFArrayGetValueAtIndex m...
Ted Kremenek
2012-04-05
1
-3
/
+6
*
[analyzer] Move stats calculation out of AnalysisConsumer destructor.
Anna Zaks
2012-04-05
1
-7
/
+8
*
[analyzer] Change warding in a path diagnostic:
Anna Zaks
2012-04-05
1
-1
/
+1
*
[analyzer] Remove redundant if statement (pointed out by Ted).
Anna Zaks
2012-04-05
1
-4
/
+0
*
Look through chains of 'x = y = z' when employing silencing heuristics in the...
Ted Kremenek
2012-04-04
1
-8
/
+30
*
Include the "issue context" (e.g. function or method) where a static analyzer...
Ted Kremenek
2012-04-04
18
-61
/
+131
*
Change BugReporter's usage of IsCachedDiagnostic to only impact pruning diagn...
Ted Kremenek
2012-04-04
1
-12
/
+8
*
[analyzer] Record the basic blocks covered by the analyzes run.
Anna Zaks
2012-04-03
6
-7
/
+68
*
Fix another false positive in RegionStore involving doing loads from symbolic...
Ted Kremenek
2012-04-03
1
-7
/
+18
*
Fix potential null dereference in the static analyzer when inlining a call th...
Ted Kremenek
2012-04-02
1
-4
/
+5
*
Analyzer: Store BugReports directly in a ilist instead of adding another laye...
Benjamin Kramer
2012-04-01
4
-18
/
+13
*
[analyzer]Malloc,RetainRelease: Allow pointer to escape via NSMapInsert.
Anna Zaks
2012-03-30
3
-0
/
+16
*
[analyzer] Do not inline functions which previously reached max block
Anna Zaks
2012-03-30
3
-4
/
+15
*
[analyzer] Enable retry exhausted without inlining by default.
Anna Zaks
2012-03-28
3
-5
/
+5
*
[analyser] Stats checker: do not mark a node as exhausted if we will
Anna Zaks
2012-03-28
2
-26
/
+20
*
[analyzer] Refactor: Use Decl when determining if the Block belongs to
Anna Zaks
2012-03-28
1
-7
/
+6
*
Fix suspicious comparison reported by PVS-Studio!
Ted Kremenek
2012-03-28
1
-1
/
+1
*
[analyzer] Add an option to re-analyze a dead-end path without inlining.
Anna Zaks
2012-03-27
5
-71
/
+182
*
[analyzer] Stats checker: minor interprocedural tweaks.
Anna Zaks
2012-03-27
1
-15
/
+20
*
[analyzer] Stats: Only count the number of times we run path sensitive
Anna Zaks
2012-03-27
1
-2
/
+3
*
Change RetainCountChecker to eagerly "escape" retained objects when they are
Ted Kremenek
2012-03-27
1
-0
/
+6
*
[analyzer] Malloc: Allow a pointer to escape through OSAtomicEnqueue.
Anna Zaks
2012-03-26
1
-1
/
+2
*
[analyzer] Tighten up the realloc() failure path note generation...make sure ...
Jordy Rose
2012-03-24
1
-22
/
+31
*
[analyzer] Restart path diagnostic generation if any of the visitors change t...
Jordy Rose
2012-03-24
2
-34
/
+65
*
[analyzer] Add a clone() method to BugReporterVisitor, so that we'll be able ...
Jordy Rose
2012-03-24
3
-3
/
+13
*
Avoid applying retain/release effects twice in RetainCountChecker when a func...
Ted Kremenek
2012-03-23
3
-7
/
+13
*
corrected check::EndOfTranslationUnit checker name and added 'const' to decla...
Anton Yartsev
2012-03-23
1
-3
/
+3
*
Fix static analyzer crash on code taking the address of a field. Fixes PR 11...
Ted Kremenek
2012-03-22
1
-0
/
+7
*
[analyzer] Add the stat for the number of successfully explored paths.
Anna Zaks
2012-03-22
1
-1
/
+5
*
[analyzer] Add stats useful for coverage investigations.
Anna Zaks
2012-03-22
2
-0
/
+24
*
[analyzer] Add inlining awareness to the block coverage computation
Anna Zaks
2012-03-22
1
-5
/
+12
*
"Teach" RetainCountChecker about dispatch_set_context, which can indirectly f...
Ted Kremenek
2012-03-22
1
-0
/
+8
*
[analyzer] Malloc: drop symbols captured by blocks.
Anna Zaks
2012-03-22
1
-0
/
+42
*
Remove unused variable, fix indentation.
Benjamin Kramer
2012-03-21
1
-7
/
+5
*
[analyzer] Malloc: Utter the name of the leaked variable.
Anna Zaks
2012-03-21
3
-18
/
+65
*
[analyser] Factor out FindUniqueBinding from RetainCount checker.
Anna Zaks
2012-03-21
2
-33
/
+19
*
[analyzer] Mark a failed-realloc's result as an interesting symbol between th...
Jordy Rose
2012-03-18
1
-3
/
+27
[next]