aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer
AgeCommit message (Expand)Author
2013-04-16Properly sort list.Ted Kremenek
2013-04-16Factor CheckerManager to be able to pass AnalyzerOptions to checkersTed Kremenek
2013-04-16Implement CapturedStmt ASTTareq A. Siraj
2013-04-16Basic support for Microsoft property declarations andJohn McCall
2013-04-16[analyzer] Improve the malloc checker stack hint messageAnna Zaks
2013-04-15[analyzer] Do not crash when processing binary "?:" in C++Anna Zaks
2013-04-15[analyzer] Add pretty printing to CXXBaseObjectRegion.Anna Zaks
2013-04-15[analyzer] Address code review for r179395Anna Zaks
2013-04-15[analyzer] Add more specialized error messages for corner cases as per Jordan...Anna Zaks
2013-04-15[analyzer] Don't assert on a temporary of pointer-to-member type.Jordan Rose
2013-04-15[analyzer] Be lazy about struct/array global invalidation too.Jordan Rose
2013-04-15[analyzer] Re-enable using global regions as a symbolic base.Jordan Rose
2013-04-15[analyzer] Properly invalidate global regions on opaque function calls.Jordan Rose
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 a diagnostic note even if the region cannot be printed.Anna Zaks
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-12[analyzer] Show "Returning from ..." note at caller's depth, not callee's.Jordan Rose
2013-04-12[analyzer] Don't emit extra context arrow after returning from an inlined call.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] When creating a trimmed graph, preserve whether a node is a sink.Jordan Rose
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] Remove another redundancy from trackNullOrUndefAnna Zaks
2013-04-05[analyzer] Fix null tracking for the given test case, by using the proper sta...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] Show path diagnostic for C++ initializersAnna Zaks
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] Enable destructor inlining by default (c++-inlining=destructors).Jordan Rose
2013-04-04[analyzer] RetainCountChecker: refactor annotation handling.Jordan Rose
2013-04-03[analyzer] Allow tracknullOrUndef look through the ternary operator even when...Anna Zaks
2013-04-03[analyzer] Correctly handle destructors for lifetime-extended temporaries.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