Gitiles
Code Review
Sign In
gerrit-public.fairphone.software
/
fp2-dev
/
platform
/
external
/
clang
/
73593eb5c68e28e0eaa4f2b6251dae167eef3a83
/
lib
/
StaticAnalyzer
9d5a78d
Add raw_ostream include to pacify MSVC.
by Benjamin Kramer
· 12 years ago
a93d0f2
Include pruning and general cleanup.
by Benjamin Kramer
· 12 years ago
9852f58
Don't include Type.h in DeclarationName.h.
by Benjamin Kramer
· 12 years ago
2fa67ef
Pull the Attr iteration parts out of Attr.h, so including DeclBase.h doesn't pull in all the generated Attr code.
by Benjamin Kramer
· 12 years ago
9c04666
Correctly handle IntegralToBool casts in C++ in the static analyzer. Fixes <rdar://problem/12759044>.
by Ted Kremenek
· 12 years ago
3881866
Remove workaround in RegionStore in r168741 since it is handled more generally by r168757.
by Ted Kremenek
· 12 years ago
1994e39
Fix another false positive due to a CXX temporary object appearing in a C initializer.
by Ted Kremenek
· 12 years ago
bd8a11e
Provide stop-gap solution to crash reported in PR 14436.
by Ted Kremenek
· 12 years ago
dac6cd5
[analyzer] Fix a crash reported in PR 14400.
by Anna Zaks
· 12 years ago
4d9f4e5
Make helpers static/anonymous.
by Benjamin Kramer
· 12 years ago
84e1513
[analyzer] Fix a use-after-free introduced in r168019.
by Jordan Rose
· 12 years ago
63bc186
[analyzer] Report leaks at the closing brace of a function body.
by Jordan Rose
· 12 years ago
f34a579
[analyzer] StreamChecker: Remove now-unnecessary check::EndPath callback.
by Jordan Rose
· 12 years ago
7f82bc8
[analyzer] MacOSKeychainAPIChecker: Remove now-unnecessary check::EndPath.
by Jordan Rose
· 12 years ago
65d4bd6
[analyzer] MallocChecker: Remove now-unnecessary check::EndPath callback.
by Jordan Rose
· 12 years ago
84c4845
[analyzer] Mark symbol values as dead in the environment.
by Jordan Rose
· 12 years ago
368f3b0
[analyzer] Make sure calls in synthesized functions have valid path locations.
by Jordan Rose
· 12 years ago
2ccecfa
[analyzer] Address Jordan's code review for r167813.
by Anna Zaks
· 12 years ago
4141e4d
Fix a Malloc Checker FP by tracking return values from initWithCharacter
by Anna Zaks
· 12 years ago
bae930d
[analyzer] Address Jordan's feedback for r167780.
by Anna Zaks
· 12 years ago
d51db49
[analyzer] Follow up to r167762 - precisely determine the adjustment conditions.
by Anna Zaks
· 12 years ago
e7ad14e
[analyzer] Fix a regression (from r 165079): compare canonical types.
by Anna Zaks
· 12 years ago
4e674f7
[analyzer] When invalidating symbolic offset regions, take fields into account.
by Jordan Rose
· 12 years ago
0fe4d40
[analyzer] Check that the argument to CFMakeCollectable is non-NULL.
by Jordan Rose
· 12 years ago
65bc653
[analyzer] Enhance docs for checker callbacks (esp. processRegionChanges).
by Jordan Rose
· 12 years ago
35d4a09
[analyzer] Add symbol escapes logic to the SimpleStreamChecker.
by Anna Zaks
· 12 years ago
d1ad5e5
[analyzer] Remove isWithinInlined. It's been replaced with inTopFrame().
by Anna Zaks
· 12 years ago
40d8551
[analyzer] Move convenience REGISTER_*_WITH_PROGRAMSTATE to CheckerContext.h
by Jordan Rose
· 12 years ago
0a591c2
StaticAnalyzer/Core/ExprEngineCallAndReturn.cpp: Appease msvc.
by NAKAMURA Takumi
· 12 years ago
8501b7a
[analyzer] Run remove dead on end of path.
by Anna Zaks
· 12 years ago
fadcd5d
[analyzer] add LocationContext::inTopFrame() helper.
by Anna Zaks
· 12 years ago
b355be8
[analyzer] Refactor: Remove Pred from NodeBuilderContext.
by Anna Zaks
· 12 years ago
0c396d6
[analyzer] Convert SimpleStreamChecker over to CallEvent.
by Jordan Rose
· 12 years ago
1f03a8a
[analyzer] CheckerDocumentation: Change examples for PreStmt and PostStmt.
by Jordan Rose
· 12 years ago
2f3017f
[analyzer] Add some convenience accessors to CallEvent, and use them.
by Jordan Rose
· 12 years ago
d624607
[analyzer] isCLibraryFunction: check that the function is at TU-scope.
by Jordan Rose
· 12 years ago
edd07f4
[analyzer] Factor SimpleStreamChecker pulling out isLeaked().
by Anna Zaks
· 12 years ago
466224f
[analyzer] Convert some of the harder cases over to ProgramStateTrait macros.
by Jordan Rose
· 12 years ago
166d502
[analyzer] Use nice macros for the common ProgramStateTraits (map, set, list).
by Jordan Rose
· 12 years ago
785950e
[analyzer] Rename 'EmitReport' to 'emitReport'.
by Jordan Rose
· 12 years ago
79a29eb
[analyzer] Fix typo in r167186.
by Jordan Rose
· 12 years ago
32f38c1
[analyzer] Minor cleanup in SimpleStreamChecker's class definition.
by Jordan Rose
· 12 years ago
ec8d420
[analyzer] Rename ConditionTruthVal::isTrue to isConstrainedTrue.
by Jordan Rose
· 12 years ago
bbb751a
[analyzer] Fix a bug in SimpleStreamChecker - return after sink.
by Anna Zaks
· 12 years ago
c45bb4d
[analyzer] Let ConstraintManager subclasses provide a more efficient checkNull.
by Jordan Rose
· 12 years ago
32133cf
[analyzer] SimpleStreamChecker - remove evalAssume and other refinements
by Anna Zaks
· 12 years ago
3719ed2
[analyzer]Don't invalidate const arguments when there is no IdentifierInfo.
by Anna Zaks
· 12 years ago
19948ac
Trim #includes.
by Ted Kremenek
· 12 years ago
bdbb17b
[analyzer]SimpleStreamChecker: add a TODO for better leak report.
by Anna Zaks
· 12 years ago
360b29c
[analyzer] Fix a bug in REGISTER_MAP_WITH_PROGRAMSTATE
by Anna Zaks
· 12 years ago
ac150f2
[analyzer] Rename REGISTER_MAP_WITH_GDM ->REGISTER_MAP_WITH_PROGRAMSTATE
by Anna Zaks
· 12 years ago
eafaad2
[analyzer] Warn about reallocf with an allocation size of 0, like realloc.
by Jordan Rose
· 12 years ago
3cf9a72
[analyzer] New checker for missing super calls in UIViewController subclasses.
by Jordan Rose
· 12 years ago
5445870
[analyzer] Malloc checker cleanup/refactor
by Anna Zaks
· 12 years ago
d65e55d
[analyzer] Add SimpleStreamChecker.
by Anna Zaks
· 12 years ago
5ac1df3
[analyzer] Add checker helpers to CheckerContext.
by Anna Zaks
· 12 years ago
6a329ee
[analyzer] New option to not suppress null return paths if an argument is null.
by Jordan Rose
· 12 years ago
09f7bf1
[analyzer] Use the CallEnter node to get a value for tracked null arguments.
by Jordan Rose
· 12 years ago
3800165
Add comments for RemoveRedundantMsgs, rename it to removeRedundantMsgs() per Jordan's feedback.
by Ted Kremenek
· 12 years ago
b85cce0
TrackConstraintBRVisitor and ConditionBRVisitor can emit similar
by Ted Kremenek
· 12 years ago
603513d
[analyzer] Handle 'SomeVar.SomeEnumConstant', which is legal in C++.
by Jordan Rose
· 12 years ago
4d9e497
[analyzer] Replace -analyzer-no-eagerly-trim-egraph with graph-trim-interval.
by Jordan Rose
· 12 years ago
b59b580
[analyzer] Assume 'new' never returns NULL if it could throw an exception.
by Jordan Rose
· 12 years ago
c3c26b7
[analyzer] Ivar invalidation: identify properties declared in protocols.
by Anna Zaks
· 12 years ago
d4ce811
[analyzer] When binding to a ParenExpr, bind to its inner expression instead.
by Jordan Rose
· 12 years ago
f1e67d7
[analyzer] Create a temporary region when accessing a struct rvalue.
by Jordan Rose
· 12 years ago
e0c50fa
[analyzer] Ivar Invalidation: track ivars in continuations and @implementation.
by Anna Zaks
· 12 years ago
bc9e5ff
[analyzer] ObjCContainersASTChecker: minor cleanup and an extra test case.
by Jordan Rose
· 12 years ago
f238aa4
[analyzer] Embed the analyzer version into the plist output.
by Anna Zaks
· 12 years ago
51431dc
[analyzer] Enhance the error message.
by Anna Zaks
· 12 years ago
625ce08
[analyzer] Do not warn on direct ivar assignments within copy methods.
by Anna Zaks
· 12 years ago
e5a934d
[analyzer] Remove the "direct bindings only" Environment lookup.
by Jordan Rose
· 12 years ago
42e95ac
[analyzer] Remove unneeded 'inlineCall' checker callback.
by Jordan Rose
· 12 years ago
7461682
Move assertion to not crash tests.
by Ted Kremenek
· 12 years ago
d0f3d71
Silence static analyzer issue by documenting that in this context
by Ted Kremenek
· 12 years ago
5a8fc88
Silence null dereference warnings by documenting context-specific
by Ted Kremenek
· 12 years ago
441ee1d
Fix potential crash in ObjCContainersChecker by properly validating
by Ted Kremenek
· 12 years ago
42adacb
Remove OSAtomicChecker.
by Ted Kremenek
· 12 years ago
48fa136
Switch over to BodyFarm implementation of OSAtomicCompareAndSwap and
by Ted Kremenek
· 12 years ago
786e620
Reapply "[analyzer] Treat fields of unions as having symbolic offsets."
by Jordan Rose
· 12 years ago
8ceb837
Temporarily Revert "[analyzer] Treat fields of unions as having symbolic offsets."
by Eric Christopher
· 12 years ago
cf9030e
[analyzer] Treat fields of unions as having symbolic offsets.
by Jordan Rose
· 12 years ago
4eff6b5
[analyzer] Don't run non-path-sensitive checks on system headers...
by Jordan Rose
· 12 years ago
469ba55
[analyzer] Fix typo: s/HandleDeclsGallGraph/HandleDeclsCallGraph/g
by Jordan Rose
· 12 years ago
cf4ce93
[analyzer] Handle implicit statements used for end-of-path nodes' source locs.
by Jordan Rose
· 12 years ago
48314cf
[analyzer] Adjust the return type of an inlined devirtualized method call.
by Jordan Rose
· 12 years ago
aa66b08
[analyzer] Push evalDynamicCast and evalDerivedToBase up to Store.
by Jordan Rose
· 12 years ago
041ce8e
Teach getCXXRecordDeclForPointerType about references.
by Jordan Rose
· 12 years ago
86e7b7e
Silence -Wunused-value warning.
by Ted Kremenek
· 12 years ago
48d05e6
Refactor clients of AnalyzerOptions::getBooleanOption() to have
by Ted Kremenek
· 12 years ago
94bb74c
Tweak AnalyzerOptions::getOptionAsInteger() to populate the string
by Ted Kremenek
· 12 years ago
9e28fe6
Change AnalyzerOptions::mayInlineCXXMemberFunction to default populate
by Ted Kremenek
· 12 years ago
bbff82f
Move isObjCSelf into Expr.
by Anna Zaks
· 12 years ago
b9733ac
[analyzer] Address Jordan's review for r164868.
by Anna Zaks
· 12 years ago
e606e3d
[analyzer] Allow ObjC ivar lvalues where the base is nil.
by Jordan Rose
· 12 years ago
d27a368
Revert "[analyzer] Check that a member expr is valid even when the result is an lvalue."
by Jordan Rose
· 12 years ago
622b6fb
Have AnalyzerOptions::getBooleanOption() stick the matching config
by Ted Kremenek
· 12 years ago
43e8ef0
Add checker debug.ConfigDumper to dump the contents of the configuration table.
by Ted Kremenek
· 12 years ago
0504a59
Reapply "[analyzer] Handle inlined constructors for rvalue temporaries correctly."
by Jordan Rose
· 12 years ago
ca5d78d
[analyzer] Make ProgramStateManager's SubEngine parameter optional.
by Jordan Rose
· 12 years ago
Next »