- d655ab2 [analyzer] Run the ExprEngine depending on the CheckerManager having path-sensitive checkers. by Argyrios Kyrtzidis · 14 years ago
- 344500e [analyzer] The current UninitializedValuesChecker will go away, remove '-warn-uninit-values'. by Argyrios Kyrtzidis · 14 years ago
- b3d74da [analyzer] Migrate NSErrorChecker and DereferenceChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
- d84f422 [analzyer] Migrate CallAndMessageChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
- bd90076 [analyzer] Migrate AttrNonNullChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
- 7f649d7 [analyzer] Migrate ReturnUndefChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
- 267aa5c [analyzer] Migrate UndefinedAssignmentChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
- cc05d51 [analyzer] Migrate UndefBranchChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
- 265c674 [analyzer] Migrate UndefCapturedBlockVarChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
- 180e03f [analyzer] Migrate UndefResultChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
- 3267d95 [analyzer] Migrate NoReturnFunctionChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
- a676d50 [analyzer] Move the DeadStores checker out of the 'core' package. by Argyrios Kyrtzidis · 14 years ago
- 1034870 [analyzer] Migrate BuiltinFunctionChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
- f029366 [analyzer] Migrate OSAtomicChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
- 0535701 [analyzer] Migrate ArrayBoundCheckerV2 to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
- 58f2e7c [analyzer] Turn -analyzer-stats into -analyzer-checker=debug.Stats by Argyrios Kyrtzidis · 14 years ago
- 6dd4dff [analyzer] Remove '-analyzer-experimental-checks' flag. by Argyrios Kyrtzidis · 14 years ago
- 312dbec [analyzer] Migrate MallocChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
- abea951 Add -fcxx-exceptions to all tests that use C++ exceptions. by Anders Carlsson · 14 years ago
- b8d545c Update test cases. by Ted Kremenek · 14 years ago
- 65d3925 [analyzer] Remove '-analyzer-experimental-internal-checks' flag, it doesn't have any checkers associated with it anymore. by Argyrios Kyrtzidis · 14 years ago
- 0d6b0c0 [analyzer] Migrate CastSizeChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
- 38c8fe7 Allow passing a list of comma separated checker names to -analyzer-checker, e.g: by Argyrios Kyrtzidis · 14 years ago
- 8be5b3a [analyzer] Migrate ArrayBoundChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
- 6935579 [analyzer] Migrate ReturnPointerRangeChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
- f226d18 Fix tiny error in CFG construction for BinaryConditionalOperators, making sure the branch always has two successors. Also teach Environment::getSVal() about OpaqueValueExprs. by Ted Kremenek · 14 years ago
- 21206d5 Implement a warning for known shift overflows on constant shift by Chandler Carruth · 14 years ago
- 0ef473f Add CStringChecker support for strncpy. Patch by Lenny Maiorani! by Ted Kremenek · 14 years ago
- be4242c Add CStringChecker support for strnlen. Patch by Lenny Maiorani! by Ted Kremenek · 14 years ago
- 6b12da9 Fix a CFGBuilder bug exposed on convoluted control-flow in the Linux kernel. by Ted Kremenek · 14 years ago
- e41721e Pass -fexceptions to all tests that use try/catch/throw. by Anders Carlsson · 14 years ago
- b14175a [analyzer] Fix crash when analyzing C++ code. by Argyrios Kyrtzidis · 14 years ago
- 15e310a Warn about code that uses variables and functions with internal linkage by John McCall · 14 years ago
- 370e6e9 [analyzer] Fix crash when analyzing C++ code. by Argyrios Kyrtzidis · 14 years ago
- 7ff07dc [analyzer] Fix crash when analyzing C++ code. by Argyrios Kyrtzidis · 14 years ago
- b76fdf6 [analyzer] Disable a test until inlining CXXConstructExprs is fully investigated. by Argyrios Kyrtzidis · 14 years ago
- 4f20de1 [analyzer] Fix crash when analyzing C++ code. by Argyrios Kyrtzidis · 14 years ago
- f4699d1 [analyzer] Fix a crash when analyzing C++ code. by Argyrios Kyrtzidis · 14 years ago
- 2d67b90 [analyzer] Use the new registration mechanism for the debugging info "checks". by Argyrios Kyrtzidis · 14 years ago
- 7dd445e [analyzer] Use the new registration mechanism on the non-path-sensitive-checkers: by Argyrios Kyrtzidis · 14 years ago
- 35001ca Enhance the array bounds checking to work for several other constructs, by Chandler Carruth · 14 years ago
- 56ca35d Change the representation of GNU ?: expressions to use a different expression by John McCall · 14 years ago
- a0125d8 Add trivial buffer overflow checking in Sema. by Ted Kremenek · 14 years ago
- 0b1ba62 [analyzer] Use the new registration mechanism on the apple checkers: by Argyrios Kyrtzidis · 14 years ago
- 23ade50 [analyzer] Use the new registration mechanism on some of the experimental internal checkers: by Argyrios Kyrtzidis · 14 years ago
- c9f2e0f [analyzer] Use the new registration mechanism on the IdempotentOperationChecker. by Argyrios Kyrtzidis · 14 years ago
- a0decc9 [analyzer] Use the new registration mechanism on some of the experimental checks. These are: by Argyrios Kyrtzidis · 14 years ago
- 027a6ab [analyzer] Use the new registration mechanism on some of the internal checks. These are: by Argyrios Kyrtzidis · 14 years ago
- 43dee22 [analyzer] Overhauling of the checker registration mechanism. by Argyrios Kyrtzidis · 14 years ago
- e8350c6 Fix edge case where we don't cull warnings in IdempotentOperationsChecker due to incomplete analysis of loops. by Ted Kremenek · 14 years ago
- b8b07b1 Handle 'UsingDirective' in CFGRecStmtDeclVisitor. by Ted Kremenek · 14 years ago
- 020c374 Teach the IdempotentOperations checker to ignore property setters. by Ted Kremenek · 14 years ago
- b715a7c Weaken the ObjCSelfInitChecker to only warn when one calls an 'init' method within an 'init' method. This is a temporary stop gap to avoid false positives while we investigate how to make it smarter. by Ted Kremenek · 14 years ago
- f9eb0ae Add test case for <rdar://problem/6888289>. by Ted Kremenek · 14 years ago
- 148849a static analyzer: Also invalidate instance variables of a receiver in a message expression, just as we do with parameters. by Ted Kremenek · 14 years ago
- f4e532b Don't emit a dead store for '++' operations unless it occurs with a return statement. We've never seen any other cases that were real bugs. by Ted Kremenek · 14 years ago
- 848ec83 Don't report dead stores on unreachable code paths. Fixes <rdar://problem/8405222>. by Ted Kremenek · 14 years ago
- ac518ec Add test case for PR 8646. by Ted Kremenek · 14 years ago
- b7ff4c6 analyzer, retain/release checker: Remove hack where objects passed in message to 'self' are no longer tracked. by Ted Kremenek · 14 years ago
- 0ca1040 [analyzer] Fix a false positive of the 'self' initialization checker. by Argyrios Kyrtzidis · 14 years ago
- c2e20d0 [analyzer] Fix a crash until we can handle temporary struct objects properly. by Argyrios Kyrtzidis · 14 years ago
- bf5c3ac Add test case for dead stores checker to not flag dead assignments to 'self' within a nested assignment. by Ted Kremenek · 14 years ago
- 0e2dc3a Warn for "if ((a == b))" where the equality expression is needlessly wrapped inside parentheses. by Argyrios Kyrtzidis · 14 years ago
- 11fe175 Wire up attributes 'ns_consumed' and 'cf_consumed' in the static analyzer's ObjC retain/release checker. by Ted Kremenek · 14 years ago
- 9319b56 [analyzer] Fix crash when handling dot syntax on 'super'. by Argyrios Kyrtzidis · 14 years ago
- 12b9434 Hook up attribute ns_consumes_self in the ObjC retain/release checker in the static analyzer. by Ted Kremenek · 14 years ago
- bd5a94e [analyzer] Enable the self-init checker under command-line option '-analyzer-check-objc-self-init' which by default by Argyrios Kyrtzidis · 14 years ago
- 4717f16 [analyzer] Improve the diagnostic for the self-init checker. Suggestion by Ted! by Argyrios Kyrtzidis · 14 years ago
- eaf969b [analyzer] Do the self-init check only on NSObject subclasses. Patch by Jean-Daniel Dupas! by Argyrios Kyrtzidis · 14 years ago
- f6a19fb Don't try and symbolicate unions; we don't reason by Ted Kremenek · 14 years ago
- 937596f Tweak wording of static analyzer diagnostic by Ted Kremenek · 14 years ago
- d6b8de0 Change the wording of the bad-decl-for-attribute warning and error by John McCall · 14 years ago
- c7ad381 Add the ns_consumes_self, ns_consumed, cf_consumed, and ns_returns_autoreleased by John McCall · 14 years ago
- 14429b9 [analyzer] Handle the dot syntax for properties in the ExprEngine. by Argyrios Kyrtzidis · 14 years ago
- 14cc945 Enhance AnalysisConsumer to also visit functions by Ted Kremenek · 14 years ago
- d4f482a Teach RegionStore::EnterStackFrame() to handle by Ted Kremenek · 14 years ago
- 56b1f71 Remove warning in dead stores checker for by Ted Kremenek · 14 years ago
- e17da65 CXXBaseObjectRegion is like FieldRegion. Need to blast through it when by Zhongxing Xu · 14 years ago
- d074441 Support inlining base initializers. We still haven't got it completely right, by Zhongxing Xu · 14 years ago
- 0932360 Fix a corner case in RegionStore where we assign by Ted Kremenek · 14 years ago
- d7a31ba [analyzer] Introduce ObjCSelfInitChecker, which checks initialization methods to verify that they assign 'self' to the by Argyrios Kyrtzidis · 14 years ago
- 27c54e5 Rework ExprEngine::processCFGBlockEntrance() by Ted Kremenek · 14 years ago
- f9d3cbb In C++, assignment and compound assignment operators return an lvalue. by Zhongxing Xu · 14 years ago
- 112c330 Fold -fobjc-nonfragile-abi2 into -fobjc-nonfragile-abi. // rdar://8818375 by Fariborz Jahanian · 14 years ago
- a6b0b96 Add basic support for pointer arithmetic in by Ted Kremenek · 14 years ago
- 15a467e It's amazing what you find when you actually by Ted Kremenek · 14 years ago
- c478a14 Add WIP prototype of a new buffer overflow by Ted Kremenek · 14 years ago
- 250704b If the unary operator is prefix and an lvalue (in C++), bind by Zhongxing Xu · 14 years ago
- 05e5391 After inlining the CXXConstructExpr, bind the temporary object region to it. by Zhongxing Xu · 14 years ago
- f45fbad If the initializer is an rvalue and the variable is a const reference, by Zhongxing Xu · 14 years ago
- 5eef59e Fix assertion failure in cocoa::deriveNamingConvention() by Ted Kremenek · 14 years ago
- af86b0c Revise Cocoa conventions detection: 'copy' and 'mutableCopy' by Ted Kremenek · 14 years ago
- 1bc80af Do lvalue-to-rvalue conversions on the LHS of a shift operator. by John McCall · 14 years ago
- 892697d Start migration of static analyzer to using the by Ted Kremenek · 14 years ago
- 83300e8 Add test case for r120795. by Ted Kremenek · 14 years ago
- 26e10be Follow through references to catch returned stack addresses, local blocks, label addresses or references to temporaries, e.g: by Argyrios Kyrtzidis · 14 years ago
- d976ca4 Revert r120331 since it causes spurious warnings and a possible assertion hit when self-host. by Argyrios Kyrtzidis · 14 years ago
- 8b2f01b Emit warnings if we are returning a reference to a local temporary. by Argyrios Kyrtzidis · 14 years ago
- 4fd5681 Regionstore: support derived-to-base cast by creating a CXXBaseObjectRegion. by Zhongxing Xu · 14 years ago
- 0e38d5d handle CXXFunctionalCastExpr in visitLValue and Environment. by Zhongxing Xu · 14 years ago