aboutsummaryrefslogtreecommitdiff
path: root/include/clang/StaticAnalyzer/Core/Checker.h
AgeCommit message (Expand)Author
2013-03-28[analyzer] Add support for escape of const pointers and use it to allow “ne...Anna Zaks
2013-02-08[analyzer] Move DefaultBool so that all checkers can share it.Anna Zaks
2013-02-07[analyzer] Add pointer escape type param to checkPointerEscape callbackAnna Zaks
2013-01-12Remove useless 'llvm::' qualifier from names like StringRef and others that areDmitri Gribenko
2013-01-03[analyzer] Rename callback EndPath -> EndFunctionAnna Zaks
2012-12-20[analyzer] Add the pointer escaped callback.Anna Zaks
2012-10-13[analyzer] Remove unneeded 'inlineCall' checker callback.Jordan Rose
2012-07-02[analyzer] Add generic preCall and postCall checks.Jordan Rose
2012-07-02[analyzer] Finish replacing ObjCMessage with ObjCMethodDecl and friends.Jordan Rose
2012-07-02[analyzer] Add a new abstraction over all types of calls: CallEventJordan Rose
2012-02-14[analyzer] Make Malloc Checker optimistic in presence of inlining.Anna Zaks
2012-01-31Convert more uses of 'const ProgramState *' to 'ProgramStateRef' (and related...Ted Kremenek
2011-12-20Unweaken vtables as per http://llvm.org/docs/CodingStandards.html#ll_virtual_...David Blaikie
2011-11-30[analyzer] Add checker callback documentation.Anna Zaks
2011-10-25[analyzer] Make branch for condition callback use CheckerContextAnna Zaks
2011-10-25[analyze] Convert EndOfPath callback to use CheckerContextAnna Zaks
2011-10-18[analyzer] Make NodeBuilder and Pred node loosely coupledAnna Zaks
2011-10-18[analyzer] Modularize builder use in processBranch.Anna Zaks
2011-10-06[analyzer] Remove the dependency on CheckerContext::getStmt() as well as the ...Anna Zaks
2011-10-05[analyzer] OSAtomicChecker implements evalCall in a very invasive way - it es...Anna Zaks
2011-08-28[analyzer] Introduce a new callback for checkers, printState, to be used for ...Jordy Rose
2011-08-27[analyzer] Change the check::RegionChanges callback to include the regions ex...Jordy Rose
2011-08-26[analyzer] Increase the number of possible checks for a checker.Jordy Rose
2011-08-15Rename GRState to ProgramState, and cleanup some code formatting along the way.Ted Kremenek
2011-08-12[analyzer] change "tag" in ProgramPoint from "void*" to a ProgramPointTag*.Ted Kremenek
2011-05-05Add Checker callback for running a checker at the end of processing an entire...Ted Kremenek
2011-05-02Augment retain/release checker to not warn about tracked objects passed as ar...Ted Kremenek
2011-03-01[analyzer] Rename CheckerV2 -> Checker.Argyrios Kyrtzidis