aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Checkers
AgeCommit message (Expand)Author
2013-05-02[analyzer] RetainCountChecker: don't track through xpc_connection_set_context.Jordan Rose
2013-04-26[analyzer] An ObjC for-in loop runs 0 times if the collection is nil.Jordan Rose
2013-04-25[analyzer] Teach DeadStoreChecker to look though BO_Comma and disregard the LHS.Anna Zaks
2013-04-25[analyzer] Fix a crash in RetainCountChecker - we should not rely on CallEnte...Anna Zaks
2013-04-24[analyzer] IvarInvalidation: correctly handle cases where only partial invali...Anna Zaks
2013-04-23[analyzer] Set the allocation site to be the uniqueing location for retain co...Anna Zaks
2013-04-23[analyzer] RetainCountChecker: Clean up path notes for autorelease.Jordan Rose
2013-04-22[analyzer] Model strsep(), particularly that it returns its input.Jordan Rose
2013-04-22[analyzer] Type information from C++ new expressions is perfect.Jordan Rose
2013-04-17[analyzer] Don't warn for returning void expressions in void blocks.Jordan Rose
2013-04-16[analyzer] Add experimental option "leak-diagnostics-reference-allocation".Ted Kremenek
2013-04-16Properly sort list.Ted Kremenek
2013-04-16[analyzer] Improve the malloc checker stack hint messageAnna Zaks
2013-04-12[analyzer] Enable NewDelete checker if NewDeleteLeaks checker is enabled.Anton Yartsev
2013-04-12[analyzer] Makes NewDeleteLeaks checker work independently from NewDelete.Anton Yartsev
2013-04-12[analyzer]Print field region even when the base region is not printableAnna Zaks
2013-04-12[analyzer] Fix grammar in comment.Jordan Rose
2013-04-11[analyzer] Refactoring: better doxygen comment; renaming isTrackedFamily to i...Anton Yartsev
2013-04-10[analyzer] Address Jordan’s review of r179219Anna Zaks
2013-04-10[analyzer] Address Jordan’s code review of r 179221Anna Zaks
2013-04-10[analyzer] Switched to checkPreCall interface for detecting usage after free.Anton Yartsev
2013-04-10[analyzer] Fix a crash in SyntaxCString checker when given a custom strncat.Anna Zaks
2013-04-10[analyzer] When reporting a leak in RetainCount checker due to an early exit ...Anna Zaks
2013-04-10[analyzer] Cleanup leak warnings: do not print the names of variables from ot...Anna Zaks
2013-04-09[analyzer] Replace isIntegerType() with isIntegerOrEnumerationType().Jordan Rose
2013-04-09[analyzer] Keep tracking the pointer after the escape to more aggressively re...Anna Zaks
2013-04-08Tweak warning text for nil value in ObjC container warning.Ted Kremenek
2013-04-06[analyzer] Shorten the malloc checker’s leak messageAnna Zaks
2013-04-05[analyzer] Reword error messages for nil keys and values of NSMutableDictionary.Anna Zaks
2013-04-05[analyzer] Eliminates all the cases with unknown family.Anton Yartsev
2013-04-05[analyzer] Re-enable cplusplus.NewDelete (but not NewDeleteLeaks).Jordan Rose
2013-04-05[analyzer] Split new/delete checker into use-after-free and leaks parts.Jordan Rose
2013-04-05[analyzer] Path notes for the MismatchedDeallocator checker.Anton Yartsev
2013-04-05[analyzer] Check allocation family more precise.Anton Yartsev
2013-04-05[analyzer] Corrected the switch statement.Anton Yartsev
2013-04-05[analyzer] Fully-covered switch for families in isTrackedFamily()Anton Yartsev
2013-04-04[analyzer] Reduced the unwanted correlations between checkers living inside M...Anton Yartsev
2013-04-04[analyzer] RetainCountChecker: refactor annotation handling.Jordan Rose
2013-04-03[analyzer] Rename “Mac OS X API”, “Mac OS API” -> “API Misuse (Appl...Anna Zaks
2013-04-03[analyzer] Warn when nil receiver results in forming null referenceAnna Zaks
2013-04-03[analyzer] Better model for copying of array fields in implicit copy ctors.Jordan Rose
2013-04-02[analyzer] Moving cplusplus.NewDelete to alpha.* for now.Anton Yartsev
2013-03-28[analyzer] Document existence of ConstPointerEscape.Anna Zaks
2013-03-28[analyzer] Add support for escape of const pointers and use it to allow “ne...Anna Zaks
2013-03-28[analyzer] Apply the suppression rules to the nil receiver only if the value ...Anna Zaks
2013-03-28Use early return in printing logic. Minor cleanup.Ted Kremenek
2013-03-28Fix order of initialization warning.Eric Christopher
2013-03-28[analyzer] These implements unix.MismatchedDeallocatorChecker checker.Anton Yartsev
2013-03-28[analyzer] For now assume all standard global 'operator new' functions alloca...Anton Yartsev
2013-03-27[analyzer] Ensure that the node NilReceiverBRVisitor is looking for is not re...Anna Zaks