Gitiles
Code Review
Sign In
gerrit-public.fairphone.software
/
fp2-dev
/
platform
/
external
/
clang
/
2eed8ccb63777ebd0e641f31b9c3d616f0202ded
/
lib
/
StaticAnalyzer
9641d45
Remove stale header file.
by Ted Kremenek
· 12 years ago
ab9c04f
Consilidate SmallPtrSet count() followed by insert() into a single insert().
by Ted Kremenek
· 12 years ago
12e2fb0
Add an llvm_unreachable to pacify GCC's -Wreturn-type.
by Matt Beaumont-Gay
· 12 years ago
c568e2f
[analyzer] Set the default IPA mode to 'basic-inlining', which excludes C++.
by Jordan Rose
· 12 years ago
58fc86d
[analyzer] Push "references are non-null" knowledge up to the common parent.
by Jordan Rose
· 12 years ago
a34d4f4
[analyzer] Assume that reference symbols are non-null.
by Jordan Rose
· 12 years ago
1833d28
[analyzer] Add comments to ExplodedNode::NodeGroup.
by Jordan Rose
· 12 years ago
fa06f04
[analyzer] Replace boolean IsSink parameters with 'generateSink' methods.
by Jordan Rose
· 12 years ago
7f839a6
[analyzer] The result of && or || is always a 1 or 0.
by Jordan Rose
· 12 years ago
c32a453
[analyzer] Treat C++ 'throw' as a sink.
by Jordan Rose
· 12 years ago
19275bd
[analyzer] Treat @throw as a sink (stop processing).
by Jordan Rose
· 12 years ago
2bce86c
[analyzer] Remove obsolete GenericNodeBuilderRefCount from RetainCountChecker.
by Jordan Rose
· 12 years ago
46e7781
[analyzer] Use PointerUnion to implement ExplodedNode::NodeGroup.
by Jordan Rose
· 12 years ago
2776224
Remove #if 0 that has been around for a long time.
by Ted Kremenek
· 12 years ago
2b2c49d
Remove "range_iterator" from PathDiagnosticPiece and just use ArrayRef<SourceRange> for ranges. This
by Ted Kremenek
· 12 years ago
c4bac8e
Allow multiple PathDiagnosticConsumers to be used with a BugReporter at the same time.
by Ted Kremenek
· 12 years ago
d1420c6
Store SourceManager pointer on PrintingPolicy in the case where we're dumping,
by Richard Smith
· 12 years ago
e6cd054
[analyzer] Look through all casts when trying to track constraints.
by Jordan Rose
· 12 years ago
7f66085
[analyzer] If we call a C++ method on an object, assume it's non-null.
by Jordan Rose
· 12 years ago
da29ac5
[analyzer] Even if we are not inlining a virtual call, still invalidate!
by Jordan Rose
· 12 years ago
4e79fdf
[analyzer] Correctly devirtualize virtual method calls in constructors.
by Jordan Rose
· 12 years ago
fc87350
[analyzer] Don't try to devirtualize if the class is incomplete.
by Jordan Rose
· 12 years ago
9f6441a
[analyzer] Only adjust the type of 'this' when we devirtualize a method call.
by Jordan Rose
· 12 years ago
b763ede
[analyzer] Don't inline dynamic-dispatch methods unless -analyzer-ipa=dynamic.
by Jordan Rose
· 12 years ago
0ad36ba
[analyzer] Correctly devirtualize virtual method calls in destructors.
by Jordan Rose
· 12 years ago
cd6873e
[analyzer] A base class needs a complete definition to provide offsets.
by Jordan Rose
· 12 years ago
38aee3b
[analyzer]Assume that the properties cannot be overridden when dot
by Anna Zaks
· 12 years ago
c6ba23f
[analyzer] Remove other #if 0 from Retain Count checker.
by Anna Zaks
· 12 years ago
81f01c6
[analyzer] Remove autorelease pools code from the Retain Count checker.
by Anna Zaks
· 12 years ago
42c72c2
Do NOT use inline functions with LLVM_ATTRIBUTE_USED.
by Benjamin Kramer
· 12 years ago
f345ffb
[analyzer] Fixup to r161821
by Anna Zaks
· 12 years ago
c95bb76
[analyzer] Disable autorelease pool tracking.
by Anna Zaks
· 12 years ago
8d6b43c
[analyzer] Refactor RetainReleaseChecker to go through a function call
by Anna Zaks
· 12 years ago
955cd44
[analyzer] Add getStackFrame() to CheckerContext and ExplodedNode.
by Anna Zaks
· 12 years ago
f41c0dd
[analyzer] Look up DynamicTypeInfo by region instead of symbol.
by Jordan Rose
· 12 years ago
645baee
[analyzer] Reduce code duplication: make CXXDestructorCall a CXXInstanceCall.
by Jordan Rose
· 12 years ago
8ec104b
[analyzer] Be more careful when downcasting for devirtualization.
by Jordan Rose
· 12 years ago
0a56298
[analyzer] Handle dynamic_casts that turn out to be upcasts.
by Jordan Rose
· 12 years ago
b11a3ad
[analyzer] Don't strip CXXBaseObjectRegions when checking dynamic_casts.
by Jordan Rose
· 12 years ago
b6d2bea
[analyzer] Strip CXXBaseObjectRegions when devirtualizing method calls.
by Jordan Rose
· 12 years ago
9584f67
[analyzer] Try to devirtualize even if the static callee has no definition.
by Jordan Rose
· 12 years ago
e5399f1
[analyzer] Add clang_analyzer_checkInlined for debugging purposes.
by Jordan Rose
· 12 years ago
54918ba
[analyzer] Track if a region can be a subclass in the dynamic type info.
by Anna Zaks
· 12 years ago
3f558af
[analyzer] Optimize dynamic dispatch bifurcation by detecting the cases
by Anna Zaks
· 12 years ago
d1a4f68
Fix a couple of pedantic gcc warnings.
by Benjamin Kramer
· 12 years ago
5ad76c0
[analyzer] Merge RegionStore's KillStruct and CopyLazyBindings: BindAggregate.
by Jordan Rose
· 12 years ago
1e93443
[analyzer] Cluster bindings in RegionStore by base region.
by Jordan Rose
· 12 years ago
824e07a
[analyzer] Cache the "concrete offset base" for regions with symbolic offsets.
by Jordan Rose
· 12 years ago
2c5f8d7
[analyzer] A CXXBaseObjectRegion should correspond to a DIRECT base.
by Jordan Rose
· 12 years ago
d4fe57f
[analyzer] Rename the function to better reflect what it actually does.
by Anna Zaks
· 12 years ago
6960f6e
[analyzer] Clarify the values in Dyn. Dispatch Bifurcation map.
by Anna Zaks
· 12 years ago
5960f4a
[analyzer] Improve readability of the dyn. dispatch bifurcation patch r161552.
by Anna Zaks
· 12 years ago
fc05dec
Unbreak the build.
by Anna Zaks
· 12 years ago
431e35c
[analyzer] Cleanup of malloc checker.
by Anna Zaks
· 12 years ago
e90d3f8
[analyzer] Bifurcate the path with dynamic dispatch.
by Anna Zaks
· 12 years ago
42f74f2
clang support for Bitrig (an OpenBSD fork); patch by David Hill.
by Eli Friedman
· 12 years ago
919e8a1
[analyzer] Clean up the printing of FieldRegions for leaks.
by Jordan Rose
· 12 years ago
0d53ab4
[analyzer] Track malloc'd regions stored in structs.
by Jordan Rose
· 12 years ago
e0d24eb
[analyzer] Revamp RegionStore to distinguish regions with symbolic offsets.
by Jordan Rose
· 12 years ago
8ed21ef
[analyzer] Address Jordan's review of DynamicTypePropagation.
by Anna Zaks
· 12 years ago
c4c647c
[analyzer] Dynamic type info - propagate through implicit casts.
by Anna Zaks
· 12 years ago
c7ecc43
[analyzer] Add a checker to manage dynamic type propagation.
by Anna Zaks
· 12 years ago
15d18e1
[analyzer] Ignore OS X 10.8's annotations for NSMakeCollectable.
by Jordan Rose
· 12 years ago
4d33286
[analyzer] Malloc: remove assert since is not valid as of r161248
by Anna Zaks
· 12 years ago
a869518
[analyzer] Use a more robust check for null in CallAndMessageChecker.
by Jordan Rose
· 12 years ago
522f46f
[analyzer] Don't assume values bound to references are automatically non-null.
by Jordan Rose
· 12 years ago
563ea23
[analyzer] Update initializer assertion for delegating constructors.
by Jordan Rose
· 12 years ago
6853799
[analyzer] When a symbol is null, we should track its constraints.
by Jordan Rose
· 12 years ago
b0e1bad
[analyzer] Flatten path diagnostics for text output like we do for HTML.
by Jordan Rose
· 12 years ago
9da59a6
[analyzer] Track null/uninitialized C++ objects used in method calls.
by Jordan Rose
· 12 years ago
7ad4848
[analyzer] Provide useful PathDiagnosticLocations for CallEnter/Exit events.
by Jordan Rose
· 12 years ago
20165e7
[analyzer] FindLastStoreBRVisitor was not actually finding stores.
by Jordan Rose
· 12 years ago
c1290e0
[analyzer] Fixup: remove the extra whitespace
by Anna Zaks
· 12 years ago
148fee9
[analyzer] ObjC Inlining: Start tracking dynamic type info in the GDM
by Anna Zaks
· 12 years ago
5b97851
[analyzer] Fix a typo. Thanks Jordan.
by Anna Zaks
· 12 years ago
ede875b
[analyzer] Malloc: track non-allocated but freed memory
by Anna Zaks
· 12 years ago
d015f4f
[analyzer] Solve another source of non-determinism in the diagnostic engine.
by Anna Zaks
· 12 years ago
9f3b9d5
[analyzer] Add a simple check for initializing reference variables with null.
by Jordan Rose
· 12 years ago
207c408
[analyzer] Also emit Prev/Next links for macros in HTML output. Oops.
by Jordan Rose
· 12 years ago
b23b711
[analyzer] Add Prev/Next links to the HTML output.
by Jordan Rose
· 12 years ago
0eb6c37
[analyzer] Flush bug reports in deterministic order.
by Anna Zaks
· 12 years ago
2f9c40a
[analyzer] Control C++ inlining with a macro in ExprEngineCallAndReturn.cpp.
by Jordan Rose
· 12 years ago
e1ce783
[analyzer] Turn -cfg-add-initializers on by default, and remove the flag.
by Jordan Rose
· 12 years ago
4fe64ad
[analyzer] Don't try to inline if there's no region for a message receiver.
by Jordan Rose
· 12 years ago
6d8ab45
[analyzer] Add a FIXME about devirtualization in ctors/dtors.
by Jordan Rose
· 12 years ago
6b4be2e
[analyzer] Getting an lvalue for a reference field still requires a load.
by Jordan Rose
· 12 years ago
ef15831
[analyzer] Let CallEvent decide what goes in an inital stack frame.
by Jordan Rose
· 12 years ago
f0324d3
[analyzer] Handle inlining of instance calls to super.
by Anna Zaks
· 12 years ago
57c0336
[analyzer] Perform post-call checks for all inlined calls.
by Jordan Rose
· 12 years ago
2d18419
[analyzer] Very simple ObjC instance method inlining
by Anna Zaks
· 12 years ago
e13056a
[analyzer] Add -analyzer-ipa=dynamic option for inlining dynamically
by Anna Zaks
· 12 years ago
d563d3f
[analyzer] Only allow CallEvents to be created by CallEventManager.
by Jordan Rose
· 12 years ago
972a368
[analyzer] Introduce a CallEventManager to keep a pool of CallEvents.
by Jordan Rose
· 12 years ago
11abf2a
clang/lib: [CMake] Update tblgen'd dependencies.
by NAKAMURA Takumi
· 12 years ago
69a0e50
[analyzer] Look through SubstNonTypeTemplateParmExprs.
by Jordan Rose
· 12 years ago
979f098
[analyzer] Use a stack-based local AGAIN to fix the build for real.
by Jordan Rose
· 12 years ago
e3fd87c
[analyzer] Use a stack-based local instead of a temporary to fix build.
by Jordan Rose
· 12 years ago
6da6049
Look at the preceding CFGBlock for the expression to load from in ExprEngine::VisitGuardedExpr
by Ted Kremenek
· 12 years ago
7c99aa3
[analyzer] CallEvent is no longer a value object.
by Jordan Rose
· 12 years ago
f540c54
[analyzer] Rename Calls.{h,cpp} to CallEvent.{h,cpp}. No functionality change.
by Jordan Rose
· 12 years ago
Next »