aboutsummaryrefslogtreecommitdiff
path: root/include/clang/StaticAnalyzer/Core/CheckerManager.h
AgeCommit message (Expand)Author
2013-04-16Factor CheckerManager to be able to pass AnalyzerOptions to checkersTed Kremenek
2013-03-28[analyzer] Add support for escape of const pointers and use it to allow “ne...Anna Zaks
2013-02-07[analyzer] Add pointer escape type param to checkPointerEscape callbackAnna Zaks
2013-01-03[analyzer] Rename callback EndPath -> EndFunctionAnna Zaks
2012-12-21[analyzer] Address Jordan's nitpicks as per code review of r170625.Anna Zaks
2012-12-20[analyzer] Add the pointer escaped callback.Anna Zaks
2012-12-04Sort #include lines for all files under include/...Chandler Carruth
2012-11-03[analyzer] Refactor: Remove Pred from NodeBuilderContext.Anna Zaks
2012-10-13[analyzer] Remove unneeded 'inlineCall' checker callback.Jordan Rose
2012-08-25[analyzer] Use the common evalBind infrastructure for initializers.Jordan Rose
2012-08-13[analyzer] Reduce code duplication: make CXXDestructorCall a CXXInstanceCall.Jordan Rose
2012-07-30[analyzer] Perform post-call checks for all inlined calls.Jordan Rose
2012-07-02[analyzer] Add generic preCall and postCall checks.Jordan Rose
2012-07-02[analyzer] Use CallEvent for inlining and call default-evaluation.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-06-17Documentation cleanup: Add missing parameter name to a \param commandJames Dennett
2012-04-20[analyzer] Run remove dead bindings right before leaving a function.Anna Zaks
2012-04-06Rework ExprEngine::evalLoad and clients (e.g. VisitBinaryOperator) so that wh...Ted Kremenek
2012-03-23Avoid applying retain/release effects twice in RetainCountChecker when a func...Ted Kremenek
2012-03-11Unify naming of LangOptions variable/get function across the Clang stack (Lex...David Blaikie
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-10-25[analyzer] Make branch for condition callback use CheckerContextAnna Zaks
2011-10-25[analyze] Convert EndOfPath callback to use CheckerContextAnna Zaks
2011-10-24[analyzer] Convert ExprEngine::visit() to use short lived builders.Anna 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-09-29Add more comments to several checker callback functions.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-15Rename GRState to ProgramState, and cleanup some code formatting along the way.Ted Kremenek
2011-08-12Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer a...Ted Kremenek
2011-08-12[analyzer] change "tag" in ProgramPoint from "void*" to a ProgramPointTag*.Ted Kremenek
2011-07-20now that we have a centralized place to do so, add some using declarations forChris Lattner
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-04-02[analyzer] Simplify CheckerFn template and use it more to reduce duplication....Argyrios Kyrtzidis
2011-02-28[analyzer] Run the ExprEngine depending on the CheckerManager having path-sen...Argyrios Kyrtzidis
2011-02-28[analyzer] Introduce "event" mechanism in CheckerManager.Argyrios Kyrtzidis
2011-02-28[analyzer] Migrate UndefBranchChecker to CheckerV2.Argyrios Kyrtzidis
2011-02-28[analyzer] Migrate MallocChecker to CheckerV2.Argyrios Kyrtzidis
2011-02-28[analyzer] Have CheckerManager::registerChecker return a pointer to the check...Argyrios Kyrtzidis
2011-02-24[analyzer] Don't pass a GRState to CheckerManager::runCheckersForLocation, te...Argyrios Kyrtzidis
2011-02-24[analyzer] Remove unused functions from CheckerManager.Argyrios Kyrtzidis
2011-02-24[analyzer] Migrate CStringChecker to CheckerV2.Argyrios Kyrtzidis
2011-02-23[analyzer] Migrate StackAddrLeakChecker to CheckerV2.Argyrios Kyrtzidis
2011-02-23[analyzer] const goodness.Argyrios Kyrtzidis
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-04-29 00:59:37 +0000