- fbcb3f1 [analyzer] Refactor the logic that determines if a functions should be by Anna Zaks · 12 years ago
- 43d3974 [analyzer] Remove cast inside dyn_cast. by Anna Zaks · 12 years ago
- dc601f4 [analyzer] Fixup for r162935 as per Jordan's review. by Anna Zaks · 12 years ago
- f9f5fdb [analyzer] Plist diagnostics: Fix a case where we fail to close an XML tag. by Jordan Rose · 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
- 2fa9d72 Rename 'MaxLoop' to 'maxBlockVisitOnPath' to reflect reality. We by Ted Kremenek · 12 years ago
- 3b8a040 Rename 'VisualizeEGUbi' and 'VisualizeEGDot' to 'visualizeExplodedGraphWithUbigGraph' by Ted Kremenek · 12 years ago
- 0caa2d4 Rename AnalyzerOptions 'EagerlyAssume' to 'eagerlyAssumeBinOpBifurcation'. by Ted Kremenek · 12 years ago
- 255d4d4 Store const& to AnalyzerOptions in AnalysisManager instead of copying by Ted Kremenek · 12 years ago
- 5705a40 Move AnalyzerOptions.h to include/clang/StaticAnalyzer. by Ted Kremenek · 12 years ago
- 82f5ace Move Analyses.def to include/clang/StaticAnalyzer. 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
- 7b73e08 Add new -cc1 driver option -analyzer-config, which allows one to specify by Ted Kremenek · 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
- 65e209a [analyzer] Don't purge dead symbols at the end of calls if -analyzer-purge=none. by Jordan Rose · 12 years ago
- a1f81bb [analyzer] Rename addTrackNullOrUndefValueVisitor to trackNullOrUndefValue. by Jordan Rose · 12 years ago
- 166b7bd [analyzer] Refactor FindLastStoreBRVisitor to not find the store ahead of time. 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
- 6062334 [analyzer] Rename CallEvent::mayBeInlined to CallEvent::isCallStmt. 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
- 210f5a2 [analyzer] More internal stats collection. by Anna Zaks · 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
- df5faf5 [ms-inline asm] As part of a larger refactoring, rename AsmStmt to GCCAsmStmt. by Chad Rosier · 12 years ago
- 3d57813 Rename the "experimental" checker package to "alpha". We will then refine by Ted Kremenek · 12 years ago
- b75e260 Rework how PathDiagnosticConsumers pass knowledge of what files they 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
- 4f534e7 [analyzer] Remove unnecessary code. 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
- a8eaf00 Fix undefined behavior: member function calls where 'this' is a null pointer. by Richard Smith · 12 years ago
- ad0fe03 Fix an assortment of doxygen comment issues found by -Wdocumentation. by Ted Kremenek · 12 years ago
- 769bc07 [analyzer] Fixup to r162399. Initialize the member variable. by Anna Zaks · 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
- 56a46b5 Rename 'unbindLoc()' (in ProgramState) and 'Remove()' to by Ted Kremenek · 12 years ago
- 66c486f Rename 'currentX' to 'currX' throughout analyzer and libAnalysis. by Ted Kremenek · 12 years ago
- 3b1df8b Rename 'getConjuredSymbol*' to 'conjureSymbol*'. by Ted Kremenek · 12 years ago
- 32a549a Remove Store::bindDecl() and Store::bindDeclWithNoInit(), and by Ted Kremenek · 12 years ago
- 5be88dc Rename 'BindCompoundLiteral' to 'bindCompoundLiteral' and add doxygen comments. by Ted Kremenek · 12 years ago
- 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