aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer
AgeCommit message (Expand)Author
2013-05-06[analyzer; alternate arrows] don't increment the path iterator when we just d...Ted Kremenek
2013-05-06[analyzer] Remove now-unused bindCompoundLiteral helper function.Jordan Rose
2013-05-06[analyzer] Handle CXXTemporaryObjectExprs in compound literals.Jordan Rose
2013-05-04[analyzer;alternate edges] start experimenting with control flow "barriers" t...Ted Kremenek
2013-05-04[analyzer;alternate edges] ignore parentheses when determining edge levels.Ted Kremenek
2013-05-04[analyzer; alternate edges] - eliminate unnecessary edges where between paren...Ted Kremenek
2013-05-04[analyzer; alternate edges] - merge control edges where we descend to a subex...Ted Kremenek
2013-05-04[analyzer; alternate edges] prune edges whose end/begin locations have the sa...Ted Kremenek
2013-05-04[analyzer;alternate edges] - add in events (loop iterations, etc)Ted Kremenek
2013-05-03[analyzer] Start hacking up alternate control-flow edge generation. WIP. No...Ted Kremenek
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-03Make cleanUpLocation() a self-contained function.Ted Kremenek
2013-05-03Re-apply 180974 with the build error fixed. This was the resultTed Kremenek
2013-05-03Revert "Change LocationContextMap to be a temporary instead of shared variabl...Rafael Espindola
2013-05-02Change LocationContextMap to be a temporary instead of shared variable in Bug...Ted Kremenek
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] Change PathPieces to be a wrapper around an ilist of (thro...Ted Kremenek
2013-04-29[analyzer] Change PathPieces to be a wrapper around an ilist of (through indi...Ted Kremenek
2013-04-29[analyzer] Remove comparePath's dependency on subscript operator.Ted Kremenek
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-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] Refactoring + explanatory comment.Anton Yartsev
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-20C++1y: Allow aggregates to have default initializers.Richard Smith
2013-04-20[analyzer] Ensure BugReporterTracking works on regions with pointer arithmeticAnna Zaks
2013-04-20[analyzer] Flip printPretty and printPrettyAsExpr as per suggestion from Jord...Anna Zaks
2013-04-19[analyzer] Call proper callback for const regions escaped other then on call.Anton Yartsev
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-16[analyzer] Add experimental option "leak-diagnostics-reference-allocation".Ted Kremenek