aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Core/CheckerManager.cpp
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-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
2011-10-11[analyzer] CheckerContext updates checkDst in it's destructor, so make sure t...Anna Zaks
2011-10-07[analyzer] Previously, we were passing to CheckerContext enough info to const...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-02[analyzer] Remove TransferFuncs.h, then deal with the fallout.Jordy Rose
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-16[analyzer] Overhaul of checker registration in preparation for basic plugin s...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-07-23remove unneeded llvm:: namespace qualifiers on some core types now that LLVM....Chris 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-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
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-05-04 22:02:24 +0000