aboutsummaryrefslogtreecommitdiff
path: root/test/Analysis
AgeCommit message (Expand)Author
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] Refactor BugReport::getLocation and PathDiagnosticLocation::create...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] Treat reinterpret_cast like a base cast in certain cases.Jordan Rose
2013-04-22[analyzer] Type information from C++ new expressions is perfect.Jordan Rose
2013-04-20[analyzer] Ensure BugReporterTracking works on regions with pointer arithmeticAnna Zaks
2013-04-20[analyzer] Correct the commentAnna Zaks
2013-04-18[analyzer] Refine 'nil receiver' diagnostics to mention the name of the metho...Ted Kremenek
2013-04-18[analyzer] "Force" LazyCompoundVals on bind when they are simple enough.Jordan Rose
2013-04-18[analyzer] Don't crash if we cache out after making a temporary region.Jordan Rose
2013-04-18[analyzer] Tweak getDerefExpr more to track DeclRefExprs to references.Anna Zaks
2013-04-17[analyzer] Improve dereferenced expression tracking for MemberExpr with a dot...Anna Zaks
2013-04-17[analyzer] Gain more precision retrieving the right SVal by specifying the ty...Anna Zaks
2013-04-17[analyzer] Allow TrackConstraintBRVisitor to work when the value it’s track...Anna Zaks
2013-04-17[analyzer] Don't warn for returning void expressions in void blocks.Jordan Rose
2013-04-17Extended VerifyDiagnosticConsumer to also verify source file for diagnostic.Andy Gibbs
2013-04-16Make test portable.Ted Kremenek
2013-04-16[analyzer] Add experimental option "leak-diagnostics-reference-allocation".Ted Kremenek
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] 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-15[analyzer] Tests: move system functions into system header simulator files.Jordan Rose
2013-04-12[analyzer] Enable NewDelete checker if NewDeleteLeaks checker is enabled.Anton Yartsev
2013-04-12NewDeleteLeaks is a subchecker of NewDelete checker; it is tested in NewDelet...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] 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-11Force a load when creating a reference to a temporary copied from a bitfield.Jordan Rose
2013-04-10[analyzer] Address Jordan’s review of r179219Anna Zaks
2013-04-10[analyzer] +Testcase: several used-after-free args passed to a function.Anton Yartsev
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