aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Checkers/StreamChecker.cpp
AgeCommit message (Expand)Author
2013-03-15[analyzer] Address a TODO in the StreamChecker; otherwise the output is non-d...Anna Zaks
2013-02-20Include llvm::Optional in clang/Basic/LLVM.hDavid Blaikie
2013-02-20Replace SVal llvm::cast support to be well-defined.David Blaikie
2012-12-04Sort all of Clang's files under 'lib', and fix up the broken headersChandler Carruth
2012-11-15[analyzer] StreamChecker: Remove now-unnecessary check::EndPath callback.Jordan Rose
2012-11-02[analyzer] Convert some of the harder cases over to ProgramStateTrait macros.Jordan Rose
2012-11-02[analyzer] Rename 'EmitReport' to 'emitReport'.Jordan Rose
2012-10-29[analyzer] Add checker helpers to CheckerContext.Anna Zaks
2012-08-22Rename 'currentX' to 'currX' throughout analyzer and libAnalysis.Ted Kremenek
2012-08-22Rename 'getConjuredSymbol*' to 'conjureSymbol*'.Ted Kremenek
2012-07-10[analyzer] Guard against C++ member functions that look like system functions.Jordan Rose
2012-02-17Have conjured symbols depend on LocationContext, to add context sensitivity f...Ted Kremenek
2012-02-07Revert my patches which removed Diagnostic.h includes by moving some operator...Benjamin Kramer
2012-02-05Basic: import OwningPtr<> into clang namespaceDylan Noblesmith
2012-02-04Move various diagnostic operator<< overloads out of line and remove includes ...Benjamin Kramer
2012-01-26Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.Ted Kremenek
2012-01-06[analyzer] Make the entries in 'Environment' context-sensitive by making entr...Ted Kremenek
2011-12-01[analyzer] Refactor checkers to use helper function for getting callee Decl a...Anna Zaks
2011-10-26[analyzer] Rename generateNode -> addTransition in CheckerContextAnna Zaks
2011-10-25[analyzer] Simplify CheckerContextAnna Zaks
2011-10-25[analyze] Convert EndOfPath callback to use CheckerContextAnna Zaks
2011-10-04[analyzer] Removing references to CheckerContext::getNodeBuilder(): checkers ...Anna Zaks
2011-08-15Rename GRState to ProgramState, and cleanup some code formatting along the way.Ted Kremenek
2011-03-01[analyzer] Rename CheckerV2 -> Checker.Argyrios Kyrtzidis
2011-02-24[analyzer] Migrate StreamChecker to CheckerV2.Argyrios Kyrtzidis
2011-02-23[analyzer] Refactor EndOfFunctionNodeBuilder.Argyrios Kyrtzidis
2011-02-17[analyzer] Pass CheckerManager to the registration functions.Argyrios Kyrtzidis
2011-02-15[analyzer] Use the new registration mechanism on some of the experimental che...Argyrios Kyrtzidis
2011-02-10Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core'...Ted Kremenek
2011-02-08[analyzer] lib/StaticAnalyzer/Checkers/ExprEngineExperimentalChecks.h -> lib/...Argyrios Kyrtzidis
2011-01-13Remove unnecessary save-and-restore of theTed Kremenek
2011-01-11Rename misc. methods in GRSubEngine to startTed Kremenek
2010-12-23Chris Lattner has strong opinions about directoryTed Kremenek