aboutsummaryrefslogtreecommitdiff
path: root/include/clang/Checker
AgeCommit message (Expand)Author
2010-12-22[analyzer] Refactoring: include/clang/Checker -> include/clang/GRArgyrios Kyrtzidis
2010-12-20Rename 'VisitLocation' to 'visitLocation'.Ted Kremenek
2010-12-20Rename 'Generate[Node,Sink]' to 'generate[Node,Sink]'.Ted Kremenek
2010-12-17Move CocoaConventions.[h,cpp] from libCheckerTed Kremenek
2010-12-17Rename several methods/functions in the analyzerTed Kremenek
2010-12-16Start migration of static analyzer to using theTed Kremenek
2010-12-10Eliminate the branching in QualType::getTypePtr() by providing aDouglas Gregor
2010-12-10It's kindof silly that ExtQuals has an ASTContext&, and we can use thatJohn McCall
2010-12-05Mark SVal constructors 'explicit'.Ted Kremenek
2010-12-05Rename Environment::LookupExpr() toTed Kremenek
2010-12-05Remove unused method GRState::LookupExpr().Ted Kremenek
2010-12-04Minor refactoring; have BugReport::getRanges return a pair of iterator, no fu...Argyrios Kyrtzidis
2010-12-03Fix an insidious bug in BugReporter whereTed Kremenek
2010-12-03Introduce TextPathDiagnostics, a simple PathDiagnosticClient that outputs as ...Argyrios Kyrtzidis
2010-12-03Rename Create[*]DiagnosticClient -> create[*]DiagnosticClient.Argyrios Kyrtzidis
2010-12-02Merge ValueManager into SValBuilder.Ted Kremenek
2010-12-01Rename all 'AssumeXXX' methods in libCheckerTed Kremenek
2010-12-01Rename all 'EvalXXX' methods in libChecker toTed Kremenek
2010-12-01Rename 'SValuator' to 'SValBuilder'. The new nameTed Kremenek
2010-11-29Merge System into Support.Michael J. Spencer
2010-11-26Rename CXXObjectRegion to CXXTempObjectRegion.Zhongxing Xu
2010-11-26fix a bug introduced in r120173.Zhongxing Xu
2010-11-26Regionstore: support derived-to-base cast by creating a CXXBaseObjectRegion.Zhongxing Xu
2010-11-25Add dump method.Zhongxing Xu
2010-11-24When getting CXXThisRegion from CXXMethodDecl, use the qualifiers. This is Zhongxing Xu
2010-11-24Let StackFrameContext represent if the call expr is evaluated as lvalue.Zhongxing Xu
2010-11-24Use StackFrameContext directly in CallEnter program point. Then we don't needZhongxing Xu
2010-11-24Improve comments in Clang static analyzer, based on kremenek'sZhanyong Wan
2010-11-24Adjust method calls to reflect name changes inTed Kremenek
2010-11-20Handle CFGAutomaticObjDtor. Zhongxing Xu
2010-11-18Added method for handling CXXOperatorCallExpr differently from CallExpr if CX...Marcin Swiderski
2010-11-17In EvalArguments allow for evaluation of first argument always as a lvalue. W...Marcin Swiderski
2010-11-17Add skeleton for handling various cfg dtors.Zhongxing Xu
2010-11-16Handle member initializer in C++ ctor. Zhongxing Xu
2010-11-15Add skeleton for handling other kinds of CFGElements.Zhongxing Xu
2010-11-13Add GRWorkList::VisitItemsInWorkList() to allow a client to introspect the co...Ted Kremenek
2010-11-01Now initializer of C++ record type is visited as block-level expr. Zhongxing Xu
2010-10-20Remove obsolete GRAuditor and GRSimpleAPICheck, which have been completely su...Ted Kremenek
2010-09-30Added two new command line arguments:Marcin Swiderski
2010-09-30Change CheckerVisitor so that [Pre,Post]VisitCallExpr only handles CallExprs ...Ted Kremenek
2010-09-23Refactor GRExprEngine::VisitCall() to use EvalArguments(), just like VisitCXX...Ted Kremenek
2010-09-16Refactored BugReporter to refer to EndNode as ErrorNode. We currently make th...Tom Care
2010-09-16Introduce new CFGElement hierarchy to support C++ CFG, based on Marcin's patchZhongxing Xu
2010-09-15Disallow the use of UnknownVal as the index for ElementRegions. UnknownVals ...Ted Kremenek
2010-09-14Rename 'MaxLoop' to 'MaxVisit' in AnalysisManager to more correctly reflect t...Tom Care
2010-09-10Add ObjCAtSynchronizedStmt to the CFG and add GRExprEngine support (PreVisit ...Ted Kremenek
2010-09-10Added AnalyzerStatsChecker, a path sensitive check that reports visitation st...Tom Care
2010-09-09Use FindReportInEquivalenceClass to identify all the nodes used for the trimm...Ted Kremenek
2010-09-09Rename GRState::getSVal() -> getRawSVal() and getSimplifiedSVal() -> getSVal().Ted Kremenek
2010-09-09Static analyzer fix: <rdar://problem/5880430> Switch on enum should not consi...Ted Kremenek