aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Checkers
AgeCommit message (Expand)Author
2013-03-26[analyzer] Make sure IDC works for ‘NSContainer value/key is nil’ checks.Anna Zaks
2013-03-25[analyzer] Adds cplusplus.NewDelete checker that check for memory leaks, doub...Anton Yartsev
2013-03-23[analyzer] Warn when a nil key or value are passed to NSMutableDictionary and...Anna Zaks
2013-03-21[analyzer] Print return values from debug.DumpCalls checker.Jordan Rose
2013-03-18[analyzer] Warn when a ‘nil’ object is added to NSArray or NSMutableArray.Anna Zaks
2013-03-15[analyzer] Address a TODO in the StreamChecker; otherwise the output is non-d...Anna Zaks
2013-03-13[analyzer] fixed the logic changed by r176949Anton Yartsev
2013-03-13Refactoring:Anton Yartsev
2013-03-09[analyzer] Rename AttrNonNullChecker -> NonNullParamCheckerAnna Zaks
2013-03-09[analyzer] Be more consistent about Objective-C methods that free memory.Jordan Rose
2013-03-07[analyzer] Warn on passing a reference to null pointer as an argument in a callAnna Zaks
2013-03-07[analyzer] Check for returning null references in ReturnUndefChecker.Jordan Rose
2013-03-06[analyzer] Pass the correct Expr to the bug reporter visitors when dealing wi...Anna Zaks
2013-03-04[analyzer] Don't let cf_audited_transfer override CFRetain semantics.Jordan Rose
2013-02-26[analyzer] StackAddrEscapeChecker: strip qualifiers from temporary types.Jordan Rose
2013-02-25[analyzer] Restrict ObjC type inference to methods that have related result t...Anna Zaks
2013-02-24[analyzer] tracking stores/constraints now works for ObjC ivars or struct fie...Ted Kremenek
2013-02-24Add "KnownSVal" to represent SVals that cannot be UnknownSVal.Ted Kremenek
2013-02-23Remove the CFGElement "Invalid" state.David Blaikie
2013-02-21Add back implicitly dropped const.David Blaikie
2013-02-21Replace ProgramPoint llvm::cast support to be well-defined.David Blaikie
2013-02-21Replace CFGElement llvm::cast support to be well-defined.David Blaikie
2013-02-21Avoid implicit conversions of Optional<T> to bool.David Blaikie
2013-02-21Use None rather than Optional<T>() where possible.David Blaikie
2013-02-20Include llvm::Optional in clang/Basic/LLVM.hDavid Blaikie
2013-02-20Remove redundant Optional type in favor of llvm::OptionalDavid Blaikie
2013-02-20Replace SVal llvm::cast support to be well-defined.David Blaikie
2013-02-18Disable dead stores checker for template instantations. Fixes <rdar://proble...Ted Kremenek
2013-02-14objective-C: synthesize properties in order of theirFariborz Jahanian
2013-02-09Remove some stray uses of <ctype.h> functions.Jordan Rose
2013-02-09[analyzer] Invalidation checker: move the "missing implementation" checkAnna Zaks
2013-02-08[analyzer] Move DefaultBool so that all checkers can share it.Anna Zaks
2013-02-08[analyzer] Split IvarInvalidation into two checkersAnna Zaks
2013-02-08[analyzer] IvarInvalidation: refactor, pull out the diagnostic printingAnna Zaks
2013-02-08[analyzer] IvarInvalidation: add annotation for partial invalidationAnna Zaks
2013-02-07[analyzer] Report bugs when freeing memory with offset pointerAnna Zaks
2013-02-07[analyzer] Add pointer escape type param to checkPointerEscape callbackAnna Zaks
2013-01-31[analyzer]RetainCount: Fix an autorelease related false positive.Anna Zaks
2013-01-31[analyzer] Don't track autorelease pools created by +new.Jordan Rose
2013-01-26[analyzer] Track null object lvalues back through C++ method calls.Jordan Rose
2013-01-26[analyzer] bugreporter::getDerefExpr now takes a Stmt, not an ExplodedNode.Jordan Rose
2013-01-23Add missing null check. Not sure why my tests passed before.Ted Kremenek
2013-01-23Honor attribute 'analyzer_noreturn' on Objective-C methods.Ted Kremenek
2013-01-17[analyzer] DirectIvarAssignment: allow suppression annotation on Ivars.Anna Zaks
2013-01-17Implement C++11 semantics for [[noreturn]] attribute. This required splittingRichard Smith
2013-01-16Rework the traversal of Objective-C categories and extensions toDouglas Gregor
2013-01-16[analyzer] Add an annotation to allow suppression of direct ivarAnna Zaks
2013-01-16[analyzer] Fix warning typo.Anna Zaks
2013-01-16[analyzer] Refactor: parameter rename.Anna Zaks
2013-01-14[analyzer] -drain is not an alias for -release.Jordan Rose
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-08-09 20:43:39 +0000