aboutsummaryrefslogtreecommitdiff
path: root/include/clang/Checker/PathSensitive
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-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-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-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-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
2010-09-03Add optional record of "location" SVals in the environment. When we analyzin...Ted Kremenek
2010-09-03Add GRState::getSimplifiedSVal(), which provides an API hook for doing symbol...Ted Kremenek
2010-09-02For GRExprEngine::EvalBind() (and called visitors), unifiy StoreE and AssignE...Ted Kremenek
2010-08-26Fix horrible GRExprEngine bug where switch statements with no 'case:' stateme...Ted Kremenek
2010-08-17TypedRegion::isBoundable() should return true by default. Since there is no ...Ted Kremenek
2010-08-16Move GRState::AssumeInBound out of its header file -- it's not really inline-...Jordy Rose
2010-08-16- Allow making ElementRegions with complex offsets (expressions or symbols) f...Jordy Rose