| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | [analyzer] teach ExprEngine about loads from static C++ class fields. Fixes ... | Ted Kremenek | 2011-08-16 | 1 | -1/+8 |
| * | [analyzer] add ExprEngine::getEagerlyAssumedTags() to allow externally queryi... | Ted Kremenek | 2011-08-16 | 1 | -7/+17 |
| * | [analyzer] Remove PostStmtCustom ProgramPoint. It can be represented using t... | Ted Kremenek | 2011-08-16 | 1 | -13/+9 |
| * | Rename GRState to ProgramState, and cleanup some code formatting along the way. | Ted Kremenek | 2011-08-15 | 1 | -74/+74 |
| * | Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer a... | Ted Kremenek | 2011-08-12 | 1 | -127/+127 |
| * | [analyzer] change "tag" in ProgramPoint from "void*" to a ProgramPointTag*. | Ted Kremenek | 2011-08-12 | 1 | -16/+27 |
| * | [analyzer] Introduce new MemRegion, "TypedValueRegion", so that we can separa... | Ted Kremenek | 2011-08-12 | 1 | -3/+4 |
| * | Cleanup: remove CleanedSate member and GetState() wrapper from StmtNodeBuilde... | Anna Zaks | 2011-08-11 | 1 | -2/+2 |
| * | Cleanup: remove GetState() wrapper from ExprEngine, not needed as of r137273. | Anna Zaks | 2011-08-10 | 1 | -49/+49 |
| * | Analyzer Core: In checkDeadSymbols checker callback, provide the state in whi... | Anna Zaks | 2011-08-10 | 1 | -29/+56 |
| * | [analyzer] Simplify logic for ExprEngine::VisitUnaryExprOrTypeTraitExpr to av... | Ted Kremenek | 2011-08-06 | 1 | -16/+11 |
| * | [analyzer] Drastically simplify ExprEngine::VisitInitListExpr() by assuming a... | Ted Kremenek | 2011-08-02 | 1 | -71/+16 |
| * | Remove dead code flagged by GCC's -Wunused-but-set-variable. | Benjamin Kramer | 2011-07-31 | 1 | -7/+0 |
| * | [analyzer] Remove recursive visitation in ExprEngine::VisitDeclStmt because i... | Ted Kremenek | 2011-07-29 | 1 | -18/+14 |
| * | [analyzer] Remove recursive visitation in ExprEngine::VisitCompoundLiteralExp... | Ted Kremenek | 2011-07-29 | 1 | -12/+9 |
| * | [analyzer] Remove recursive visitation in ExprEngine::VisitCastExpr because i... | Ted Kremenek | 2011-07-29 | 1 | -6/+7 |
| * | [analyzer] Remove recursive visitation in ExprEngine::VisitObjCForCollectionS... | Ted Kremenek | 2011-07-29 | 1 | -34/+23 |
| * | [analyzer] Remove explicit argument processing from ExprEngine::VisitObjCMess... | Ted Kremenek | 2011-07-29 | 1 | -70/+9 |
| * | [analyzer] Remove recursive visitation in ExprEngine::VisitLValObjCIvarRefExp... | Ted Kremenek | 2011-07-29 | 1 | -15/+4 |
| * | [analyzer] tighten up ExprEngine::VisitObjCAtSynchronizationStmt(). | Ted Kremenek | 2011-07-29 | 1 | -10/+3 |
| * | [analyzer] Remove recursive visitation in ExprEngine::VisitObjCPropertyRefExp... | Ted Kremenek | 2011-07-29 | 1 | -19/+1 |
| * | [analyzer] Remove recursive visitation in ExprEngine::VisitCallExpr because i... | Ted Kremenek | 2011-07-29 | 1 | -21/+1 |
| * | [analyzer] Remove recursive visitation in ExprEngine::VisitMemberExpr because... | Ted Kremenek | 2011-07-29 | 1 | -28/+22 |
| * | [analyzer] Remove recursive visitation in ExprEngine::VisitLvalArraySubscript... | Ted Kremenek | 2011-07-29 | 1 | -15/+9 |
| * | [analyzer] Overhaul how the static analyzer expects CFGs by forcing CFGs to b... | Ted Kremenek | 2011-07-28 | 1 | -1/+1 |
| * | [analyzer] fix handling of MaterializeTemporaryExpr by binding the result val... | Ted Kremenek | 2011-07-28 | 1 | -1/+1 |
| * | Rename getInstantiationLineNumber to getExpansionLineNumber in both | Chandler Carruth | 2011-07-25 | 1 | -2/+2 |
| * | Rename getInstantiationColumnNumber to getExpansionColumnNumber in both | Chandler Carruth | 2011-07-25 | 1 | -2/+2 |
| * | remove unneeded llvm:: namespace qualifiers on some core types now that LLVM.... | Chris Lattner | 2011-07-23 | 1 | -9/+6 |
| * | [analyzer] GNU __null is a pointer-sized integer, not a pointer. Fixes PR10372. | Jordy Rose | 2011-07-15 | 1 | -1/+4 |
| * | Create a new expression node, SubstNonTypeTemplateParmExpr, | John McCall | 2011-07-15 | 1 | -0/+1 |
| * | In ARC, reclaim all return values of retainable type, not just those | John McCall | 2011-07-07 | 1 | -1/+2 |
| * | Introduce a new AST node describing reference binding to temporaries. | Douglas Gregor | 2011-06-21 | 1 | -11/+13 |
| * | Automatic Reference Counting. | John McCall | 2011-06-15 | 1 | -7/+40 |
| * | Add support for builtin astype: | Tanya Lattner | 2011-06-04 | 1 | -0/+1 |
| * | static analyzer: when conservatively evaluating functions, don't invalidate t... | Ted Kremenek | 2011-05-25 | 1 | -0/+21 |
| * | Fix regression in static analyzer's handling of prefix '--' operator. It was... | Ted Kremenek | 2011-05-20 | 1 | -1/+1 |
| * | Introduce Type::isSignedIntegerOrEnumerationType() and | Douglas Gregor | 2011-05-20 | 1 | -1/+1 |
| * | Augment retain/release checker to not warn about tracked objects passed as ar... | Ted Kremenek | 2011-05-02 | 1 | -3/+5 |
| * | Parsing/AST support for Structured Exception Handling | John Wiegley | 2011-04-28 | 1 | -0/+3 |
| * | Implementation of Embarcadero array type traits | John Wiegley | 2011-04-28 | 1 | -0/+1 |
| * | t/clang/expr-traits | John Wiegley | 2011-04-25 | 1 | -0/+1 |
| * | Add static analyzer support for C++'0X nullptr. Patch by Jim Goodnow II. | Ted Kremenek | 2011-04-22 | 1 | -1/+1 |
| * | C1X: implement generic selections | Peter Collingbourne | 2011-04-15 | 1 | -0/+2 |
| * | Add support for C++0x's range-based for loops, as specified by the C++11 draf... | Richard Smith | 2011-04-14 | 1 | -0/+1 |
| * | After some discussion with Doug, we decided that it made a lot more sense | John McCall | 2011-04-12 | 1 | -2/+0 |
| * | More __unknown_anytype work. | John McCall | 2011-04-11 | 1 | -0/+1 |
| * | Remove CK_DynamicToNull. | Anders Carlsson | 2011-04-11 | 1 | -1/+0 |
| * | As a first step towards fixing PR9641, add a CK_DynamicToNull cast kind which | Anders Carlsson | 2011-04-10 | 1 | -0/+1 |
| * | Start overhauling static analyzer support for C++ constructors. The inlining... | Ted Kremenek | 2011-04-08 | 1 | -2/+8 |
