| Commit message (Expand) | Author | Age | Files | Lines |
* | Add option '-analyzer-max-loop', which specifies the maximum | Zhongxing Xu | 2010-05-18 | 1 | -2/+1 |
* | Substantially alter the design of the Objective C type AST by introducing | John McCall | 2010-05-15 | 1 | -2/+2 |
* | Fixes for compilation with Microsoft Visual Studio 2010, from Steven Watanabe! | Douglas Gregor | 2010-05-11 | 1 | -1/+1 |
* | Turn -analyzer-inline-call on for C functions. This also fixed a bug that | Zhongxing Xu | 2010-05-06 | 1 | -0/+26 |
* | Completely reimplement __builtin_offsetof, based on a patch by Roberto | Douglas Gregor | 2010-04-28 | 1 | -9/+28 |
* | Introduce Type::isStructureOrClassType(), which does the obvious | Douglas Gregor | 2010-04-26 | 1 | -3/+1 |
* | CXXNamedCastExpr is actually an abstract expression. | Zhongxing Xu | 2010-04-21 | 1 | -1/+0 |
* | Add initial support for C++ delete expr. | Zhongxing Xu | 2010-04-21 | 1 | -1/+5 |
* | Overhaul the AST representation of Objective-C message send | Douglas Gregor | 2010-04-21 | 1 | -4/+4 |
* | Use GetState() to get the possible cleaned state. | Zhongxing Xu | 2010-04-20 | 1 | -3/+3 |
* | Move all C++ expression evaluation logic into its own file. | Zhongxing Xu | 2010-04-19 | 1 | -234/+0 |
* | Analyzer: add support for CXXNewExpr. | Zhongxing Xu | 2010-04-19 | 1 | -1/+33 |
* | Fix PR 6844, a regression caused by the introduction of llvm_unreachable for ... | Ted Kremenek | 2010-04-15 | 1 | -25/+61 |
* | Add support for CXXBoolLiteralExpr. | Zhongxing Xu | 2010-04-14 | 1 | -1/+2 |
* | Make all cases that we don't handle explicit. | Zhongxing Xu | 2010-04-13 | 1 | -1/+12 |
* | Dispatch all C++ cast expr to VisitCast(). | Zhongxing Xu | 2010-04-13 | 1 | -7/+6 |
* | Initial support for visiting CXXMemberCallExpr. | Zhongxing Xu | 2010-04-01 | 1 | -5/+88 |
* | Improve C++ constructor handling. | Zhongxing Xu | 2010-04-01 | 1 | -2/+4 |
* | Introduce a new kind of derived-to-base cast which bypasses the need for | John McCall | 2010-03-30 | 1 | -0/+1 |
* | Change the analyzer to recognize (but ignore) assignments to isa. Fixes PR 6... | Ted Kremenek | 2010-03-30 | 1 | -0/+5 |
* | Checker: random include cleanup. | Benjamin Kramer | 2010-03-27 | 1 | -0/+2 |
* | Add methods to remove a GDM entry. | Zhongxing Xu | 2010-03-25 | 1 | -1/+1 |
* | Bind the constructed object value to CXXConstructExpr. | Zhongxing Xu | 2010-03-23 | 1 | -4/+22 |
* | Clear the return expr GDM after using it. | Zhongxing Xu | 2010-03-23 | 1 | -1/+4 |
* | Add a AggExprVisitor class. It contains lots of boiler | Zhongxing Xu | 2010-03-23 | 1 | -0/+4 |
* | Since we now may have basicblocks with the same block is in different function, | Zhongxing Xu | 2010-03-23 | 1 | -2/+3 |
* | Mark CXXThisRegion in the current or parent stack frame context as live so that | Zhongxing Xu | 2010-03-17 | 1 | -1/+3 |
* | Add VisitCXXContructExpr logic to the analyzer. This still has not fully worked | Zhongxing Xu | 2010-03-16 | 1 | -2/+80 |
* | Remove unused headers. | Duncan Sands | 2010-03-08 | 1 | -1/+0 |
* | Remove reference to AnalysisContext in Environment. We already have LocationC... | Zhongxing Xu | 2010-03-05 | 1 | -4/+4 |
* | When profiling Environment, also profile with AnalysisContext*, bacause | Zhongxing Xu | 2010-03-04 | 1 | -0/+1 |
* | Don't conjure a symbol for DeclStmts when the variable is a C++ reference. | Ted Kremenek | 2010-03-02 | 1 | -5/+5 |
* | Use a GDM to record the returned expression in the state when VisitReturnStmt. | Zhongxing Xu | 2010-02-26 | 1 | -10/+28 |
* | Remove derelict GRStmtNodeBuilder::LastNode. | Zhongxing Xu | 2010-02-26 | 1 | -1/+1 |
* | Restore Zhongxing's commits r97122 r97127 r97129 r97131 which were reverted d... | Douglas Gregor | 2010-02-25 | 1 | -0/+40 |
* | Revert patches r97122 r97127 r97129 r97131. | Jakob Stoklund Olesen | 2010-02-25 | 1 | -40/+0 |
* | Move the dead bindings removal logic from CallInliner to GRExprEngine::Proces... | Zhongxing Xu | 2010-02-25 | 1 | -1/+15 |
* | Call inliner improvements: | Zhongxing Xu | 2010-02-25 | 1 | -0/+26 |
* | Add MacOSXAPIChecker, a meta checker to include various precondition checks f... | Ted Kremenek | 2010-02-25 | 1 | -0/+1 |
* | Add UnixAPIChecker, a meta checker to include various precondition checks for... | Ted Kremenek | 2010-02-25 | 1 | -0/+1 |
* | Add simpler checker to check if variables captured by a block are uninitialized. | Ted Kremenek | 2010-02-16 | 1 | -0/+1 |
* | Convert GRExprEngine's handling of ObjCMessageExprs to use a worklist | Ted Kremenek | 2010-02-15 | 1 | -202/+208 |
* | Revert 95541. | Ted Kremenek | 2010-02-08 | 1 | -48/+46 |
* | Rename: GRState::getSVal(Stmt*) => getExprVal(), | Zhongxing Xu | 2010-02-08 | 1 | -46/+48 |
* | Cast evaluation no longer touch GRState. | Zhongxing Xu | 2010-02-04 | 1 | -10/+7 |
* | static analyzer: handle casts of a function to a function pointer with | Ted Kremenek | 2010-02-04 | 1 | -0/+1 |
* | Fix bug in GRExprEngine::VisitSizeOfAlignOfExpr() where we do not add | Ted Kremenek | 2010-02-02 | 1 | -0/+2 |
* | Use getTypeAlignInChars() for alignment in VisitSizeOfAlignOfExpr(). | Ken Dyck | 2010-01-27 | 1 | -1/+1 |
* | Split libAnalysis into two libraries: libAnalysis and libChecker. | Ted Kremenek | 2010-01-25 | 1 | -0/+3325 |