aboutsummaryrefslogtreecommitdiff
path: root/test/Analysis
AgeCommit message (Expand)Author
2013-05-06[analyzer] Handle CXXTemporaryObjectExprs in compound literals.Jordan Rose
2013-05-03[analyzer] Check the stack frame when looking for a var's initialization.Jordan Rose
2013-05-03[analyzer] Fix trackNullOrUndef when tracking args that have nil receivers.Jordan Rose
2013-05-02[analyzer] Don't try to evaluate MaterializeTemporaryExpr as a constant.Jordan Rose
2013-05-02[analyzer] RetainCountChecker: don't track through xpc_connection_set_context.Jordan Rose
2013-05-01[analyzer] Consolidate constant evaluation logic in SValBuilder.Jordan Rose
2013-05-01[analyzer] Don't inline the [cd]tors of C++ iterators.Jordan Rose
2013-05-01Re-apply "[analyzer] Model casts to bool differently from other numbers."Jordan Rose
2013-04-29Revert "[analyzer] Model casts to bool differently from other numbers."Jordan Rose
2013-04-26[analyzer] An ObjC for-in loop runs 0 times if the collection is nil.Jordan Rose
2013-04-26[analyzer] Model casts to bool differently from other numbers.Jordan Rose
2013-04-26[analyzer] Consolidate BoolAssignmentChecker tests by using two RUN lines.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] 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