aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Core
AgeCommit message (Expand)Author
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
2012-08-03[analyzer] Fixup: remove the extra whitespaceAnna Zaks
2012-08-03[analyzer] ObjC Inlining: Start tracking dynamic type info in the GDMAnna Zaks
2012-08-03[analyzer] Fix a typo. Thanks Jordan.Anna Zaks
2012-08-02[analyzer] Solve another source of non-determinism in the diagnosticAnna Zaks
2012-08-02[analyzer] Also emit Prev/Next links for macros in HTML output. Oops.Jordan Rose
2012-08-02[analyzer] Add Prev/Next links to the HTML output.Jordan Rose
2012-08-02[analyzer] Flush bug reports in deterministic order.Anna Zaks
2012-07-31[analyzer] Control C++ inlining with a macro in ExprEngineCallAndReturn.cpp.Jordan Rose
2012-07-31[analyzer] Turn -cfg-add-initializers on by default, and remove the flag.Jordan Rose
2012-07-31[analyzer] Don't try to inline if there's no region for a message receiver.Jordan Rose
2012-07-31[analyzer] Add a FIXME about devirtualization in ctors/dtors.Jordan Rose
2012-07-31[analyzer] Getting an lvalue for a reference field still requires a load.Jordan Rose
2012-07-31[analyzer] Let CallEvent decide what goes in an inital stack frame.Jordan Rose
2012-07-30[analyzer] Handle inlining of instance calls to super.Anna Zaks
2012-07-30[analyzer] Perform post-call checks for all inlined calls.Jordan Rose
2012-07-30[analyzer] Very simple ObjC instance method inliningAnna Zaks
2012-07-30[analyzer] Add -analyzer-ipa=dynamic option for inlining dynamicallyAnna Zaks
2012-07-30[analyzer] Only allow CallEvents to be created by CallEventManager.Jordan Rose
2012-07-30[analyzer] Introduce a CallEventManager to keep a pool of CallEvents.Jordan Rose
2012-07-27clang/lib: [CMake] Update tblgen'd dependencies.NAKAMURA Takumi
2012-07-27[analyzer] Look through SubstNonTypeTemplateParmExprs.Jordan Rose
2012-07-27[analyzer] Use a stack-based local AGAIN to fix the build for real.Jordan Rose
2012-07-26[analyzer] Use a stack-based local instead of a temporary to fix build.Jordan Rose
2012-07-26Look at the preceding CFGBlock for the expression to load from in ExprEngine:...Ted Kremenek
2012-07-26[analyzer] CallEvent is no longer a value object.Jordan Rose