Age | Commit message (Expand) | Author |
2010-12-22 | [analyzer] Refactoring: include/clang/Checker -> include/clang/GR | Argyrios Kyrtzidis |
2010-12-20 | Rename 'VisitLocation' to 'visitLocation'. | Ted Kremenek |
2010-12-20 | Rename 'Generate[Node,Sink]' to 'generate[Node,Sink]'. | Ted Kremenek |
2010-12-17 | Rename several methods/functions in the analyzer | Ted Kremenek |
2010-12-16 | Start migration of static analyzer to using the | Ted Kremenek |
2010-12-10 | Eliminate the branching in QualType::getTypePtr() by providing a | Douglas Gregor |
2010-12-10 | It's kindof silly that ExtQuals has an ASTContext&, and we can use that | John McCall |
2010-12-05 | Mark SVal constructors 'explicit'. | Ted Kremenek |
2010-12-05 | Rename Environment::LookupExpr() to | Ted Kremenek |
2010-12-05 | Remove unused method GRState::LookupExpr(). | Ted Kremenek |
2010-12-02 | Merge ValueManager into SValBuilder. | Ted Kremenek |
2010-12-01 | Rename all 'AssumeXXX' methods in libChecker | Ted Kremenek |
2010-12-01 | Rename all 'EvalXXX' methods in libChecker to | Ted Kremenek |
2010-12-01 | Rename 'SValuator' to 'SValBuilder'. The new name | Ted Kremenek |
2010-11-29 | Merge System into Support. | Michael J. Spencer |
2010-11-26 | Rename CXXObjectRegion to CXXTempObjectRegion. | Zhongxing Xu |
2010-11-26 | fix a bug introduced in r120173. | Zhongxing Xu |
2010-11-26 | Regionstore: support derived-to-base cast by creating a CXXBaseObjectRegion. | Zhongxing Xu |
2010-11-25 | Add dump method. | Zhongxing Xu |
2010-11-24 | When getting CXXThisRegion from CXXMethodDecl, use the qualifiers. This is | Zhongxing Xu |
2010-11-24 | Let StackFrameContext represent if the call expr is evaluated as lvalue. | Zhongxing Xu |
2010-11-24 | Use StackFrameContext directly in CallEnter program point. Then we don't need | Zhongxing Xu |
2010-11-24 | Improve comments in Clang static analyzer, based on kremenek's | Zhanyong Wan |
2010-11-24 | Adjust method calls to reflect name changes in | Ted Kremenek |
2010-11-20 | Handle CFGAutomaticObjDtor. | Zhongxing Xu |
2010-11-18 | Added method for handling CXXOperatorCallExpr differently from CallExpr if CX... | Marcin Swiderski |
2010-11-17 | In EvalArguments allow for evaluation of first argument always as a lvalue. W... | Marcin Swiderski |
2010-11-17 | Add skeleton for handling various cfg dtors. | Zhongxing Xu |
2010-11-16 | Handle member initializer in C++ ctor. | Zhongxing Xu |
2010-11-15 | Add skeleton for handling other kinds of CFGElements. | Zhongxing Xu |
2010-11-13 | Add GRWorkList::VisitItemsInWorkList() to allow a client to introspect the co... | Ted Kremenek |
2010-11-01 | Now initializer of C++ record type is visited as block-level expr. | Zhongxing Xu |
2010-10-20 | Remove obsolete GRAuditor and GRSimpleAPICheck, which have been completely su... | Ted Kremenek |
2010-09-30 | Added two new command line arguments: | Marcin Swiderski |
2010-09-30 | Change CheckerVisitor so that [Pre,Post]VisitCallExpr only handles CallExprs ... | Ted Kremenek |
2010-09-23 | Refactor GRExprEngine::VisitCall() to use EvalArguments(), just like VisitCXX... | Ted Kremenek |
2010-09-16 | Introduce new CFGElement hierarchy to support C++ CFG, based on Marcin's patch | Zhongxing Xu |
2010-09-15 | Disallow the use of UnknownVal as the index for ElementRegions. UnknownVals ... | Ted Kremenek |
2010-09-14 | Rename 'MaxLoop' to 'MaxVisit' in AnalysisManager to more correctly reflect t... | Tom Care |
2010-09-10 | Add ObjCAtSynchronizedStmt to the CFG and add GRExprEngine support (PreVisit ... | Ted Kremenek |
2010-09-10 | Added AnalyzerStatsChecker, a path sensitive check that reports visitation st... | Tom Care |
2010-09-09 | Rename GRState::getSVal() -> getRawSVal() and getSimplifiedSVal() -> getSVal(). | Ted Kremenek |
2010-09-09 | Static analyzer fix: <rdar://problem/5880430> Switch on enum should not consi... | Ted Kremenek |
2010-09-03 | Add optional record of "location" SVals in the environment. When we analyzin... | Ted Kremenek |
2010-09-03 | Add GRState::getSimplifiedSVal(), which provides an API hook for doing symbol... | Ted Kremenek |
2010-09-02 | For GRExprEngine::EvalBind() (and called visitors), unifiy StoreE and AssignE... | Ted Kremenek |
2010-08-26 | Fix horrible GRExprEngine bug where switch statements with no 'case:' stateme... | Ted Kremenek |
2010-08-17 | TypedRegion::isBoundable() should return true by default. Since there is no ... | Ted Kremenek |
2010-08-16 | Move 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 |