- 9b925ac [analyzer] Enhance the member expr tracking to account for references. by Anna Zaks · 12 years ago
- 5a1ffe9 [analyzer] Always include destructors in the analysis CFG. by Jordan Rose · 12 years ago
- 352c657 [analyzer] Fix a crash PR13762. by Anna Zaks · 12 years ago
- d91696e [analyzer] NullOrUndef diagnostics: track symbols binded to regions. by Anna Zaks · 12 years ago
- e885dd6 [analyzer] Fix bad test from r163220. by Jordan Rose · 12 years ago
- 6ebea89 [analyzer] Be more forgiving about calling methods on struct rvalues. by Jordan Rose · 12 years ago
- fd11957 Revert "[analyzer] Treat all struct values as regions (even rvalues)." by Jordan Rose · 12 years ago
- 791dd0a [analyzer] Don't use makeIntVal to create a floating-point value. by Jordan Rose · 12 years ago
- 02df4f0 [analyzer] Treat all struct values as regions (even rvalues). by Jordan Rose · 12 years ago
- 5699f62 [analyzer] Always derive a CallEvent's return type from its origin expr. by Jordan Rose · 12 years ago
- a89f719 [analyzer] RetainCountChecker: don't assume all functions have names. by Jordan Rose · 12 years ago
- de5277f [analyzer] Though C++ inlining is enabled, don't inline ctors and dtors. by Jordan Rose · 12 years ago
- 3a46f5f [analyzer] Ensure that PathDiagnostics profile the same regardless of path. by Jordan Rose · 12 years ago
- 3f2a55d [analyzer] Make analyzer-ipa=dynamic-bifurcate the default. by Anna Zaks · 12 years ago
- dc601f4 [analyzer] Fixup for r162935 as per Jordan's review. by Anna Zaks · 12 years ago
- 05fcbd3 [analyzer] Do not propagate the [super init] could be nil assumption by Anna Zaks · 12 years ago
- e788365 Teach RetainCountChecker about 'pragma clang arc_cf_code_audited'. by Ted Kremenek · 12 years ago
- 554067f [analyzer] Stop tracking symbols based on a retain count summary of by Anna Zaks · 12 years ago
- 28694c1 [analyzer] Fixup 162863. by Anna Zaks · 12 years ago
- 80de487 [analyzer] Improved diagnostic pruning for calls initializing values. by Anna Zaks · 12 years ago
- 73212df [analyzer] C++ objects returned on the stack may be wrapped in ExprWithCleanups. by Jordan Rose · 12 years ago
- 827eeb6 [analyzer] Teach CallEventManager that CXXTemporaryObjectExpr is also a ctor. by Jordan Rose · 12 years ago
- 632e502 [analyzer] When we look for the last stmt in a function, skip implicit dtors. by Jordan Rose · 12 years ago
- 7aba117 [analyzer] If the last store into a region came from a function, step into it. by Jordan Rose · 12 years ago
- 364b9f9 [analyzer] Look through casts when trying to track a null pointer dereference. by Jordan Rose · 12 years ago
- 6fe4dfb [analyzer] Don't inline constructors for objects allocated with operator new. by Jordan Rose · 12 years ago
- c210cb7 [analyzer] Inline constructors for any object with a trivial destructor. by Jordan Rose · 12 years ago
- 3682f1e [analyzer] Use the common evalBind infrastructure for initializers. by Jordan Rose · 12 years ago
- cdc3a89 Fix analyzer tests. by Ted Kremenek · 12 years ago
- 23df243 [analyzer] If we dereference a NULL that came from a function, show the return. by Jordan Rose · 12 years ago
- 55dd956 [analyzer] Fix realloc related bug in the malloc checker. by Anna Zaks · 12 years ago
- 5a90193 [analyzer] Make analyzer less aggressive when dealing with [self init]. by Anna Zaks · 12 years ago
- 0156439 [analyzer] For now, treat pointers-to-members as non-null void * symbols. by Jordan Rose · 12 years ago
- c386d8f [analyzer] Handle UserDefinedConversion casts in C++. by Jordan Rose · 12 years ago
- b66529d [analyzer] Support C++ default arguments if they are literal values. by Jordan Rose · 12 years ago
- 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