aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Core
AgeCommit message (Expand)Author
2012-08-20[analyzer] Add comments to ExplodedNode::NodeGroup.Jordan Rose
2012-08-20[analyzer] Replace boolean IsSink parameters with 'generateSink' methods.Jordan Rose
2012-08-20[analyzer] The result of && or || is always a 1 or 0.Jordan Rose
2012-08-18[analyzer] Treat C++ 'throw' as a sink.Jordan Rose
2012-08-18[analyzer] Treat @throw as a sink (stop processing).Jordan Rose
2012-08-18[analyzer] Use PointerUnion to implement ExplodedNode::NodeGroup.Jordan Rose
2012-08-16Remove #if 0 that has been around for a long time.Ted Kremenek
2012-08-16Remove "range_iterator" from PathDiagnosticPiece and just use ArrayRef<Source...Ted Kremenek
2012-08-16Allow multiple PathDiagnosticConsumers to be used with a BugReporter at the s...Ted Kremenek
2012-08-16Store SourceManager pointer on PrintingPolicy in the case where we're dumping,Richard Smith
2012-08-16[analyzer] Look through all casts when trying to track constraints.Jordan Rose
2012-08-15[analyzer] Even if we are not inlining a virtual call, still invalidate!Jordan Rose
2012-08-15[analyzer] Correctly devirtualize virtual method calls in constructors.Jordan Rose
2012-08-15[analyzer] Don't try to devirtualize if the class is incomplete.Jordan Rose
2012-08-15[analyzer] Only adjust the type of 'this' when we devirtualize a method call.Jordan Rose
2012-08-15[analyzer] Don't inline dynamic-dispatch methods unless -analyzer-ipa=dynamic.Jordan Rose
2012-08-15[analyzer] Correctly devirtualize virtual method calls in destructors.Jordan Rose
2012-08-15[analyzer] A base class needs a complete definition to provide offsets.Jordan Rose
2012-08-14[analyzer]Assume that the properties cannot be overridden when dotAnna Zaks
2012-08-14Do NOT use inline functions with LLVM_ATTRIBUTE_USED.Benjamin Kramer
2012-08-13[analyzer] Look up DynamicTypeInfo by region instead of symbol.Jordan Rose
2012-08-13[analyzer] Reduce code duplication: make CXXDestructorCall a CXXInstanceCall.Jordan Rose
2012-08-13[analyzer] Be more careful when downcasting for devirtualization.Jordan Rose
2012-08-13[analyzer] Handle dynamic_casts that turn out to be upcasts.Jordan Rose
2012-08-13[analyzer] Don't strip CXXBaseObjectRegions when checking dynamic_casts.Jordan Rose
2012-08-10[analyzer] Strip CXXBaseObjectRegions when devirtualizing method calls.Jordan Rose
2012-08-10[analyzer] Try to devirtualize even if the static callee has no definition.Jordan Rose
2012-08-10[analyzer] Track if a region can be a subclass in the dynamic type info.Anna Zaks
2012-08-10[analyzer] Optimize dynamic dispatch bifurcation by detecting the casesAnna Zaks
2012-08-10Fix a couple of pedantic gcc warnings.Benjamin Kramer
2012-08-09[analyzer] Merge RegionStore's KillStruct and CopyLazyBindings: BindAggregate.Jordan Rose
2012-08-09[analyzer] Cluster bindings in RegionStore by base region.Jordan Rose
2012-08-09[analyzer] Cache the "concrete offset base" for regions with symbolic offsets.Jordan Rose
2012-08-09[analyzer] A CXXBaseObjectRegion should correspond to a DIRECT base.Jordan Rose
2012-08-09[analyzer] Rename the function to better reflect what it actually does.Anna Zaks
2012-08-09[analyzer] Clarify the values in Dyn. Dispatch Bifurcation map.Anna Zaks
2012-08-09[analyzer] Improve readability of the dyn. dispatch bifurcation patchAnna Zaks
2012-08-09Unbreak the build.Anna Zaks
2012-08-09[analyzer] Bifurcate the path with dynamic dispatch.Anna Zaks
2012-08-08[analyzer] Clean up the printing of FieldRegions for leaks.Jordan Rose
2012-08-08[analyzer] Track malloc'd regions stored in structs.Jordan Rose
2012-08-08[analyzer] Revamp RegionStore to distinguish regions with symbolic offsets.Jordan Rose
2012-08-07[analyzer] Address Jordan's review of DynamicTypePropagation.Anna Zaks
2012-08-06[analyzer] Add a checker to manage dynamic type propagation.Anna Zaks
2012-08-03[analyzer] Update initializer assertion for delegating constructors.Jordan Rose
2012-08-03[analyzer] When a symbol is null, we should track its constraints.Jordan Rose
2012-08-03[analyzer] Flatten path diagnostics for text output like we do for HTML.Jordan Rose
2012-08-03[analyzer] Track null/uninitialized C++ objects used in method calls.Jordan Rose
2012-08-03[analyzer] Provide useful PathDiagnosticLocations for CallEnter/Exit events.Jordan Rose
2012-08-03[analyzer] FindLastStoreBRVisitor was not actually finding stores.Jordan Rose