| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Start migration of static analyzer to using the | Ted Kremenek | 2010-12-16 | 1 | -439/+132 |
| * | It's kindof silly that ExtQuals has an ASTContext&, and we can use that | John McCall | 2010-12-10 | 1 | -2/+2 |
| * | Remove the TypesCompatibleExprClass AST node. Merge its functionality into Bi... | Francois Pichet | 2010-12-08 | 1 | -1/+0 |
| * | Type traits intrinsic implementation: __is_base_of(T, U) | Francois Pichet | 2010-12-07 | 1 | -0/+1 |
| * | Rename CXXExprWithTemporaries -> ExprWithCleanups; there's no theoretical | John McCall | 2010-12-06 | 1 | -3/+3 |
| * | More anonymous struct/union redesign. This one deals with anonymous field use... | Francois Pichet | 2010-12-04 | 1 | -2/+2 |
| * | Although we currently have explicit lvalue-to-rvalue conversions, they're | John McCall | 2010-12-04 | 1 | -7/+10 |
| * | Also include the pointer address of the ExplodedNode | Ted Kremenek | 2010-12-03 | 1 | -3/+2 |
| * | Merge ValueManager into SValBuilder. | Ted Kremenek | 2010-12-02 | 1 | -32/+31 |
| * | Simplify the ASTs by consolidating ObjCImplicitGetterSetterExpr and ObjCPrope... | John McCall | 2010-12-02 | 1 | -8/+0 |
| * | Rename all 'AssumeXXX' methods in libChecker | Ted Kremenek | 2010-12-01 | 1 | -15/+16 |
| * | Rename all 'EvalXXX' methods in libChecker to | Ted Kremenek | 2010-12-01 | 1 | -79/+79 |
| * | Rename 'SValuator' to 'SValBuilder'. The new name | Ted Kremenek | 2010-12-01 | 1 | -10/+10 |
| * | Restore the lvalue-to-rvalue conversion patch with a minimal fix. | John McCall | 2010-12-01 | 1 | -0/+1 |
| * | L-value to r-value conversion is not ready for prime-time. | John McCall | 2010-11-30 | 1 | -1/+0 |
| * | Introduce an r-value to l-value cast kind. I'm not promising anything | John McCall | 2010-11-30 | 1 | -0/+1 |
| * | Regionstore: support derived-to-base cast by creating a CXXBaseObjectRegion. | Zhongxing Xu | 2010-11-26 | 1 | -3/+15 |
| * | For CFGAutomaticObjDtor, the type may be reference type, e.g., const A &c = A(); | Zhongxing Xu | 2010-11-25 | 1 | -10/+17 |
| * | handle CXXFunctionalCastExpr in visitLValue and Environment. | Zhongxing Xu | 2010-11-25 | 1 | -0/+12 |
| * | Let StackFrameContext represent if the call expr is evaluated as lvalue. | Zhongxing Xu | 2010-11-24 | 1 | -8/+27 |
| * | Use StackFrameContext directly in CallEnter program point. Then we don't need | Zhongxing Xu | 2010-11-24 | 1 | -17/+15 |
| * | Add an assert() to catch errors using EvalLoad(). Reviewed by kremenek. | Zhanyong Wan | 2010-11-24 | 1 | -1/+2 |
| * | Handle CFGAutomaticObjDtor. | Zhongxing Xu | 2010-11-20 | 1 | -0/+13 |
| * | Added method for handling CXXOperatorCallExpr differently from CallExpr if CX... | Marcin Swiderski | 2010-11-18 | 1 | -2/+7 |
| * | Add skeleton for handling various cfg dtors. | Zhongxing Xu | 2010-11-17 | 1 | -0/+32 |
| * | Handle member initializer in C++ ctor. | Zhongxing Xu | 2010-11-16 | 1 | -3/+37 |
| * | Kill CK_Unknown and flesh out the documentation for the existing CastKinds. | John McCall | 2010-11-16 | 1 | -1/+0 |
| * | Add a new expression kind, OpaqueValueExpr, which is useful for | John McCall | 2010-11-15 | 1 | -0/+1 |
| * | Assorted work leading towards the elimination of CK_Unknown. | John McCall | 2010-11-15 | 1 | -0/+4 |
| * | Add skeleton for handling other kinds of CFGElements. | Zhongxing Xu | 2010-11-15 | 1 | -3/+30 |
| * | Add a few more complex-related cast kinds that arise due to arbitrary | John McCall | 2010-11-14 | 1 | -1/+6 |
| * | Introduce five new cast kinds for various conversions into and | John McCall | 2010-11-13 | 1 | -0/+5 |
| * | Introduce a null-to-pointer implicit cast kind. | John McCall | 2010-11-13 | 1 | -0/+1 |
| * | Now initializer of C++ record type is visited as block-level expr. | Zhongxing Xu | 2010-11-01 | 1 | -15/+9 |
| * | Remove obsolete GRAuditor and GRSimpleAPICheck, which have been completely su... | Ted Kremenek | 2010-10-20 | 1 | -85/+0 |
| * | Eliminate usage of ObjCSuperExpr used for | Fariborz Jahanian | 2010-10-14 | 1 | -1/+0 |
| * | Call PreVisitDeclStmt for C++ aggregate initializers. Patch by Jim Goodnow II. | Zhongxing Xu | 2010-10-14 | 1 | -1/+8 |
| * | Refactor GRExprEngine::VisitCall() to use EvalArguments(), just like VisitCXX... | Ted Kremenek | 2010-09-23 | 1 | -35/+2 |
| * | Refactored BugReporter to refer to EndNode as ErrorNode. We currently make th... | Tom Care | 2010-09-16 | 1 | -1/+1 |
| * | Introduce new CFGElement hierarchy to support C++ CFG, based on Marcin's patch | Zhongxing Xu | 2010-09-16 | 1 | -2/+2 |
| * | Rename 'MaxLoop' to 'MaxVisit' in AnalysisManager to more correctly reflect t... | Tom Care | 2010-09-14 | 1 | -1/+1 |
| * | Serialization support for CXXNoexceptExpr. | Sebastian Redl | 2010-09-10 | 1 | -0/+1 |
| * | Implement: <rdar://problem/6351970> rule request: warn if @synchronized mutex... | Ted Kremenek | 2010-09-10 | 1 | -0/+1 |
| * | Add ObjCAtSynchronizedStmt to the CFG and add GRExprEngine support (PreVisit ... | Ted Kremenek | 2010-09-10 | 1 | -1/+21 |
| * | Remove unused variable. | Benjamin Kramer | 2010-09-09 | 1 | -1/+0 |
| * | Rename GRState::getSVal() -> getRawSVal() and getSimplifiedSVal() -> getSVal(). | Ted Kremenek | 2010-09-09 | 1 | -12/+8 |
| * | Static analyzer fix: <rdar://problem/5880430> Switch on enum should not consi... | Ted Kremenek | 2010-09-09 | 1 | -3/+18 |
| * | Fix warnings caused by new CXXUuidofExprClass enumerator. | Francois Pichet | 2010-09-08 | 1 | -0/+1 |
| * | Eliminate CXXBindReferenceExpr, which was used in a ton of | Douglas Gregor | 2010-09-02 | 1 | -1/+0 |
| * | update comments. | Zhongxing Xu | 2010-09-02 | 1 | -1/+3 |
