- 2666361 [analyzer] Add osx.cocoa.NonNilReturnValue checker. by Anna Zaks · 12 years ago
- efb3d56 Despite me asking Jordan to do r162313, revert it. We can provide by Ted Kremenek · 12 years ago
- e3f3825 Remove BasicConstraintManager. It hasn't been in active service for a while. by Ted Kremenek · 12 years ago
- ee04959 [analyzer] -analyzer-ipa=inlining is now the default. Remove it from tests. 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
- dc42dc9 [analyzer] More tests for "release and stop tracking". by Jordan Rose · 12 years ago
- f902d09 [analyzer] Add a test for "release and stop tracking" behavior. by Jordan Rose · 12 years ago
- 7f839a6 [analyzer] The result of && or || is always a 1 or 0. by Jordan Rose · 12 years ago
- 5965b7c Better wording for reference self-initialization warning. by Hans Wennborg · 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
- 8ecf59a [analyzer] Make BlockDataRegions typed, so that they have DynamicTypeInfo. by Jordan Rose · 12 years ago
- 8be9e77 Warn about self-initialization of references. by Hans Wennborg · 12 years ago
- eae57a6 Fix test so that it doesn't keep failing forever when it's failed once. by Richard Smith · 12 years ago
- c4bac8e Allow multiple PathDiagnosticConsumers to be used with a BugReporter at the same time. by Ted Kremenek · 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
- 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
- 38aee3b [analyzer]Assume that the properties cannot be overridden when dot by Anna Zaks · 12 years ago
- 95b277e [analyzer] Address Jordan's comments for r161822, r161683. by Anna Zaks · 12 years ago
- c739406 [analyzer] Teach live variable analyzes that super uses self pointer. by Anna Zaks · 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
- 5498e3a [analyzer] ObjC Inlining: add tests for ivars and properties. by Anna Zaks · 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
- 1e93443 [analyzer] Cluster bindings in RegionStore by base region. by Jordan Rose · 12 years ago
- 2c5f8d7 [analyzer] A CXXBaseObjectRegion should correspond to a DIRECT base. by Jordan Rose · 12 years ago
- e90d3f8 [analyzer] Bifurcate the path with dynamic dispatch. by Anna Zaks · 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
- d43e114 Turn on strncat-size warning implemented a while ago. by Anna Zaks · 12 years ago
- acac844 [analyzer] + New line at end of file by Anna Zaks · 12 years ago
- 8ed21ef [analyzer] Address Jordan's review of DynamicTypePropagation. by Anna Zaks · 12 years ago
- daa8898 [analyzer] Add a test case for OS X 10.8's NSMakeCollectable under non-GC. by Jordan Rose · 12 years ago
- 3408681 [analyzer] DynTypes: Add a test for improper cast performed by user. 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
- a801acd [analyzer] Add plist output checks for all four "path notes" tests. by Jordan Rose · 12 years ago
- 2b1b025 [analyzer] Improve arrow locations for PseudoObjectExprs. 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
- 51e87c5 Enhance getImplicitObjectArgument to look through ->*. by Jordan Rose · 12 years ago
- bf83e7c [analyzer] Add a test for copy-constructor inlining. by Jordan Rose · 12 years ago
- 148fee9 [analyzer] ObjC Inlining: Start tracking dynamic type info in the GDM by Anna Zaks · 12 years ago
- ede875b [analyzer] Malloc: track non-allocated but freed memory by Anna Zaks · 12 years ago
- 967d833 Reduce temp file pollution in some test cases. by Benjamin Kramer · 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
- 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
- 6b4be2e [analyzer] Getting an lvalue for a reference field still requires a load. by Jordan Rose · 12 years ago
- d72f56d [analyzer] Add a test that messages to super invalidate ivars. by Jordan Rose · 12 years ago
- f0324d3 [analyzer] Handle inlining of instance calls to super. by Anna Zaks · 12 years ago
- 5d0f373 [analyzer] Only run this test with no IPA by Anna Zaks · 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
- bccc594 [analyzer] Another false positive in Class method inlining. by Anna Zaks · 12 years ago
- 6fbe031 [analyzer] Address Jordan's and Fariborz's review of r160768. by Anna Zaks · 12 years ago
- 69a0e50 [analyzer] Look through SubstNonTypeTemplateParmExprs. by Jordan Rose · 12 years ago
- 61b135a Tweak test case to not emit warning. by Ted Kremenek · 12 years ago
- 6da6049 Look at the preceding CFGBlock for the expression to load from in ExprEngine::VisitGuardedExpr by Ted Kremenek · 12 years ago
- 1d3ca25 [analyzer] Don't crash on implicit statements inside initializers. by Jordan Rose · 12 years ago
- e460c46 [analyzer] Don't crash on array constructors and destructors. by Jordan Rose · 12 years ago
- 3a0a9e3 [analyzer] Handle C++ member initializers and destructors. by Jordan Rose · 12 years ago
- 183ba8e [analyzer] Show paths for destructor calls. by Jordan Rose · 12 years ago
- da5fc53 [analyzer] Inline ctors + dtors when the CFG is built for them. by Jordan Rose · 12 years ago
- 9dc5167 [analyzer] Inline ObjC class methods. by Anna Zaks · 12 years ago
- fc999ac Add static analyzer check for calling a C++ instance method with a null/uninitialized pointer. by Ted Kremenek · 12 years ago
- 469841a Update ExprEngine's handling of ternary operators to find the ternary expression by Ted Kremenek · 12 years ago
- 5292718 Remove experimental invalid iterators checker from the codebase until we have the time by Ted Kremenek · 12 years ago
- 310fe46 test/Analysis/iterators.cpp: Mark as REQUIRES:asserts. It crashes due to assertion failure. by NAKAMURA Takumi · 12 years ago
- 3465318 Turn -Wobjc-root-class on by default. <rdar://problem/11203649>. by Ted Kremenek · 12 years ago
- 8919e68 [analyzer] Combine all ObjC message CallEvents into ObjCMethodCall. by Jordan Rose · 12 years ago
- 21625c6 Fix crash in RegionStoreManager::evalDerivedToBase() due to not handling references by Ted Kremenek · 12 years ago
- 88237bf Teach CFG construction about destructors resulting from references to array types. Fixes crash in <rdar://problem/11671507>. by Ted Kremenek · 12 years ago
- 89e5aaf [analyzer] Handle new-expressions with initializers for scalars. by Jordan Rose · 12 years ago
- 3f635c0 Refine CFG so that '&&' and '||' don't lead to extra confluence points when used in a branch, but by Ted Kremenek · 12 years ago
- 558e887 PR13360: When deciding the earliest point which inevitably leads to an by Richard Smith · 12 years ago
- c36b30c [analyzer] Don't inline virtual calls unless we can devirtualize properly. by Jordan Rose · 12 years ago
- 5ef6e94 [analyzer] Guard against C++ member functions that look like system functions. by Jordan Rose · 12 years ago
- e54cfc7 [analyzer] Use CallEvent for building inlined stack frames. by Jordan Rose · 12 years ago
- ee158bc [analyzer] When inlining, make sure we use the definition decl. by Jordan Rose · 12 years ago
- 48088ed [analyzer] Fix mis-committed test. No functionality change. by Jordan Rose · 12 years ago
- 752bee2 [analyzer] Be careful about LazyCompoundVals, which may be for the first field. by Jordan Rose · 12 years ago