aboutsummaryrefslogtreecommitdiff
path: root/include/clang/Checker/PathSensitive/GRExprEngine.h
AgeCommit message (Expand)Author
2010-12-22[analyzer] Refactoring: include/clang/Checker -> include/clang/GRArgyrios Kyrtzidis
2010-12-17Rename several methods/functions in the analyzerTed Kremenek
2010-12-16Start migration of static analyzer to using theTed Kremenek
2010-12-02Merge ValueManager into SValBuilder.Ted Kremenek
2010-12-01Rename all 'EvalXXX' methods in libChecker toTed Kremenek
2010-12-01Rename 'SValuator' to 'SValBuilder'. The new nameTed Kremenek
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-24Improve comments in Clang static analyzer, based on kremenek'sZhanyong Wan
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-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-23Refactor GRExprEngine::VisitCall() to use EvalArguments(), just like VisitCXX...Ted Kremenek
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-02For GRExprEngine::EvalBind() (and called visitors), unifiy StoreE and AssignE...Ted Kremenek
2010-08-14Add a callback for when region changes occur. Still somewhat of a work-in-pro...Jordy Rose
2010-08-12Improved IdempotentOperationChecker false positives and false negatives.Tom Care
2010-08-04Change the checker callback cache in GRExprEngine to be more compact (and IMH...Jordy Rose
2010-08-03Changed GRExprEngine to pass down a reference to itself when checkers are doi...Tom Care
2010-07-22Make a bunch of new data structures for the new analysisZhongxing Xu
2010-07-20Constify all references to Stmt* and CFGBlock* in libChecker.Zhongxing Xu
2010-07-20Constify.Zhongxing Xu
2010-07-01ExplodedGraph never uses ASTContext, remove it.Zhongxing Xu
2010-06-25Add "checker caching" to GRExprEngine::CheckerVisit to progressively buildTed Kremenek
2010-06-23Add 'VisitEndAnalysis' callback to Checker class. This callback is called by...Ted Kremenek
2010-05-06Turn -analyzer-inline-call on for C functions. This also fixed a bug thatZhongxing Xu
2010-04-28Completely reimplement __builtin_offsetof, based on a patch by RobertoDouglas Gregor
2010-04-21Add initial support for C++ delete expr.Zhongxing Xu
2010-04-20Improve handling of CXXNewExpr.Zhongxing Xu
2010-04-19Move all C++ expression evaluation logic into its own file.Zhongxing Xu
2010-04-19Analyzer: add support for CXXNewExpr.Zhongxing Xu
2010-04-01Initial support for visiting CXXMemberCallExpr.Zhongxing Xu
2010-03-27Checker: random include cleanup.Benjamin Kramer
2010-03-23Bind the constructed object value to CXXConstructExpr.Zhongxing Xu
2010-03-23Add a AggExprVisitor class. It contains lots of boilerZhongxing Xu
2010-03-23Since we now may have basicblocks with the same block is in different function,Zhongxing Xu
2010-03-16Add VisitCXXContructExpr logic to the analyzer. This still has not fully workedZhongxing Xu
2010-02-25Restore Zhongxing's commits r97122 r97127 r97129 r97131 which were reverted d...Douglas Gregor
2010-02-25Revert patches r97122 r97127 r97129 r97131.Jakob Stoklund Olesen
2010-02-25Call inliner improvements:Zhongxing Xu
2010-02-15Convert GRExprEngine's handling of ObjCMessageExprs to use a worklistTed Kremenek
2010-01-25Move BugReporter.h, PathDiagnostic.h, and BugType.h to 'include/Checker/BugRe...Ted Kremenek
2010-01-25Split libAnalysis into two libraries: libAnalysis and libChecker.Ted Kremenek