summaryrefslogtreecommitdiff
path: root/clang/lib/StaticAnalyzer/Core/CheckerManager.cpp
AgeCommit message (Expand)Author
2018-09-21[analyzer] Associate diagnostics created in checkEndFunction with a return st...George Karpenkov
2018-07-16[analyzer] Make checkEndFunction() give access to the return statement.Reka Kovacs
2018-05-09Remove \brief commands from doxygen comments.Adrian Prantl
2018-02-26[StaticAnalyzer] Fix some Clang-tidy modernize and Include What You Use warni...Eugene Zelenko
2018-01-18[analyzer] operator new: Add a new ProgramPoint for check::NewAllocator.Artem Dergachev
2018-01-17[analyzer] operator new: Add a new checker callback, check::NewAllocator.Artem Dergachev
2017-01-13[analyzer] Add LocationContext as a parameter to checkRegionChangesAnna Zaks
2016-11-16[analyzer] Remove unused check::RegionChanges::wantsRegionChangeUpdate callbackAnna Zaks
2016-02-19[analyzer] Add checker callback for beginning of function.Devin Coughlin
2015-09-15Silencing a -Wreturn-type warning; NFC.Aaron Ballman
2015-09-15[analyzer] Skip Pre/Post handlers for ObjC calls when receiver is nil.Devin Coughlin
2015-09-08[analyzer] Apply whitespace cleanups by Honggyu Kim.Ted Kremenek
2015-06-22Revert r240270 ("Fixed/added namespace ending comments using clang-tidy").Alexander Kornienko
2015-06-22Fixed/added namespace ending comments using clang-tidy. NFCAlexander Kornienko
2014-05-27[C++11] Use 'nullptr'. StaticAnalyzer edition.Craig Topper
2013-09-24[analyzer] This patch removes passing around of const-invalidation vs regular...Anton Yartsev
2013-08-16Replace some DenseMap keys with simpler structures that don't need another De...Benjamin Kramer
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-20[analyzer] Add the pointer escaped callback.Anna Zaks
2012-12-04Sort all of Clang's files under 'lib', and fix up the broken headersChandler 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-30[analyzer] Only allow CallEvents to be created by CallEventManager.Jordan Rose
2012-07-26[analyzer] Rename Calls.{h,cpp} to CallEvent.{h,cpp}. No functionality change.Jordan Rose
2012-07-19[analyzer] Refactor VisitObjCMessage and VisitCallExpr to rely on theAnna Zaks
2012-07-10[analyzer] Add new PreImplicitCall and PostImplicitCall ProgramPoints.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-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-02-18Adopt ExprEngine and checkers to ObjC property refactoring. Everything was w...Ted Kremenek
2012-02-14[analyzer] Make Malloc Checker optimistic in presence of inlining.Anna Zaks
2012-01-26Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.Ted Kremenek
2011-10-25[analyzer] Simplify CheckerContextAnna 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-24[analyzer] Completely remove the global Builder object.Anna Zaks
2011-10-24[analyzer] Remove more dependencies from global BuilderAnna Zaks
2011-10-24[analyzer] Convert ExprEngine::visit() to use short lived builders.Anna Zaks
2011-10-24[analyzer] Use a temporary builder in CheckerContext.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