summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Checkers
Commit message (Expand)AuthorAgeFilesLines
* [analyzer] Replace isIntegerType() with isIntegerOrEnumerationType().Jordan Rose2013-04-093-5/+5
* [analyzer] Keep tracking the pointer after the escape to more aggressively re...Anna Zaks2013-04-091-30/+43
* Tweak warning text for nil value in ObjC container warning.Ted Kremenek2013-04-081-1/+1
* [analyzer] Shorten the malloc checker’s leak messageAnna Zaks2013-04-061-2/+3
* [analyzer] Reword error messages for nil keys and values of NSMutableDictionary.Anna Zaks2013-04-051-6/+17
* [analyzer] Eliminates all the cases with unknown family.Anton Yartsev2013-04-051-6/+7
* [analyzer] Re-enable cplusplus.NewDelete (but not NewDeleteLeaks).Jordan Rose2013-04-051-4/+5
* [analyzer] Split new/delete checker into use-after-free and leaks parts.Jordan Rose2013-04-052-3/+18
* [analyzer] Path notes for the MismatchedDeallocator checker.Anton Yartsev2013-04-051-4/+8
* [analyzer] Check allocation family more precise.Anton Yartsev2013-04-051-4/+4
* [analyzer] Corrected the switch statement.Anton Yartsev2013-04-051-6/+3
* [analyzer] Fully-covered switch for families in isTrackedFamily()Anton Yartsev2013-04-051-7/+18
* [analyzer] Reduced the unwanted correlations between checkers living inside M...Anton Yartsev2013-04-041-89/+137
* [analyzer] RetainCountChecker: refactor annotation handling.Jordan Rose2013-04-041-63/+41
* [analyzer] Rename “Mac OS X API”, “Mac OS API” -> “API Misuse (Appl...Anna Zaks2013-04-033-4/+5
* [analyzer] Warn when nil receiver results in forming null referenceAnna Zaks2013-04-031-12/+19
* [analyzer] Better model for copying of array fields in implicit copy ctors.Jordan Rose2013-04-031-12/+22
* [analyzer] Moving cplusplus.NewDelete to alpha.* for now.Anton Yartsev2013-04-021-5/+4
* [analyzer] Document existence of ConstPointerEscape.Anna Zaks2013-03-281-0/+12
* [analyzer] Add support for escape of const pointers and use it to allow “ne...Anna Zaks2013-03-281-3/+40
* [analyzer] Apply the suppression rules to the nil receiver only if the value ...Anna Zaks2013-03-282-3/+4
* Use early return in printing logic. Minor cleanup.Ted Kremenek2013-03-281-2/+4
* Fix order of initialization warning.Eric Christopher2013-03-281-1/+1
* [analyzer] These implements unix.MismatchedDeallocatorChecker checker.Anton Yartsev2013-03-282-75/+301
* [analyzer] For now assume all standard global 'operator new' functions alloca...Anton Yartsev2013-03-281-3/+6
* [analyzer] Ensure that the node NilReceiverBRVisitor is looking for is not re...Anna Zaks2013-03-271-3/+4
* [analyzer] Make sure IDC works for ‘NSContainer value/key is nil’ checks.Anna Zaks2013-03-261-0/+1
* [analyzer] Adds cplusplus.NewDelete checker that check for memory leaks, doub...Anton Yartsev2013-03-252-27/+144
* [analyzer] Warn when a nil key or value are passed to NSMutableDictionary and...Anna Zaks2013-03-231-16/+62
* [analyzer] Print return values from debug.DumpCalls checker.Jordan Rose2013-03-211-1/+23
* [analyzer] Warn when a ‘nil’ object is added to NSArray or NSMutableArray.Anna Zaks2013-03-181-4/+33
* [analyzer] Address a TODO in the StreamChecker; otherwise the output is non-d...Anna Zaks2013-03-151-2/+1
* [analyzer] fixed the logic changed by r176949Anton Yartsev2013-03-131-4/+5
* Refactoring:Anton Yartsev2013-03-131-34/+55
* [analyzer] Rename AttrNonNullChecker -> NonNullParamCheckerAnna Zaks2013-03-094-14/+17
* [analyzer] Be more consistent about Objective-C methods that free memory.Jordan Rose2013-03-091-54/+64
* [analyzer] Warn on passing a reference to null pointer as an argument in a callAnna Zaks2013-03-071-23/+74
* [analyzer] Check for returning null references in ReturnUndefChecker.Jordan Rose2013-03-071-30/+66
* [analyzer] Pass the correct Expr to the bug reporter visitors when dealing wi...Anna Zaks2013-03-061-3/+10
* [analyzer] Don't let cf_audited_transfer override CFRetain semantics.Jordan Rose2013-03-041-6/+6
* [analyzer] StackAddrEscapeChecker: strip qualifiers from temporary types.Jordan Rose2013-02-261-10/+11
* [analyzer] Restrict ObjC type inference to methods that have related result t...Anna Zaks2013-02-251-30/+32
* [analyzer] tracking stores/constraints now works for ObjC ivars or struct fie...Ted Kremenek2013-02-241-0/+8
* Add "KnownSVal" to represent SVals that cannot be UnknownSVal.Ted Kremenek2013-02-241-4/+4
* Remove the CFGElement "Invalid" state.David Blaikie2013-02-233-10/+10
* Add back implicitly dropped const.David Blaikie2013-02-211-1/+1
* Replace ProgramPoint llvm::cast support to be well-defined.David Blaikie2013-02-2110-32/+29
* Replace CFGElement llvm::cast support to be well-defined.David Blaikie2013-02-213-8/+8
* Avoid implicit conversions of Optional<T> to bool.David Blaikie2013-02-211-1/+1
* Use None rather than Optional<T>() where possible.David Blaikie2013-02-211-1/+1
OpenPOWER on IntegriCloud