| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Remove dead code. | Zhongxing Xu | 2009-10-14 | 1 | -13/+0 |
| * | * Remove unused GRState* parameter | Zhongxing Xu | 2009-10-14 | 1 | -3/+3 |
| * | Fix: <rdar://problem/7275774> Static analyzer warns about NULL pointer when | Ted Kremenek | 2009-10-06 | 1 | -1/+1 |
| * | Fix: | Ted Kremenek | 2009-09-27 | 1 | -4/+5 |
| * | Fix PR 4988 by removing an invalid assertion (a function can be referenced in | Ted Kremenek | 2009-09-23 | 1 | -1/+1 |
| * | Fix: <rdar://problem/7242006> [RegionStore] compound literal assignment with ... | Ted Kremenek | 2009-09-22 | 1 | -0/+1 |
| * | Change all the Type::getAsFoo() methods to specializations of Type::getAs(). | John McCall | 2009-09-21 | 1 | -1/+1 |
| * | Remove ImplicitBadDivides/ExplicitBadDivides node sets. This checking is now... | Ted Kremenek | 2009-09-16 | 1 | -6/+0 |
| * | Per feedback from Eli, recognize in the transfer function logic for | Ted Kremenek | 2009-09-15 | 1 | -6/+12 |
| * | Add static analyzer transfer function support for __builtin_offsetof. | Ted Kremenek | 2009-09-15 | 1 | -3/+8 |
| * | Remove unnecessary ASTContext parameter from FunctionDecl::isBuiltinID | Douglas Gregor | 2009-09-12 | 1 | -1/+1 |
| * | Introduce "DefinedOrUnknownSVal" into the SVal class hierarchy, providing a way | Ted Kremenek | 2009-09-11 | 1 | -130/+107 |
| * | Make AnalysisManager stateless. Now other analyzer components only depends on | Zhongxing Xu | 2009-09-10 | 1 | -12/+14 |
| * | Implement: <rdar://problem/7185647> [RegionStore] 'self' cannot be NULL upon... | Ted Kremenek | 2009-09-09 | 1 | -4/+22 |
| * | Remove tabs, and whitespace cleanups. | Mike Stump | 2009-09-09 | 1 | -624/+623 |
| * | pass the correct predecessor node. | Zhongxing Xu | 2009-09-05 | 1 | -1/+1 |
| * | Refactor builtin function evaluation code into its own function. | Zhongxing Xu | 2009-09-05 | 1 | -33/+44 |
| * | move the check into MarkNoReturnFunction. | Zhongxing Xu | 2009-09-04 | 1 | -2/+5 |
| * | Extract mark-no-return-function code into a function. | Zhongxing Xu | 2009-09-04 | 1 | -80/+84 |
| * | Fix 80 column violations. | Ted Kremenek | 2009-09-03 | 1 | -5/+8 |
| * | Refactor the check for bad divide into a checker. | Zhongxing Xu | 2009-09-02 | 1 | -64/+7 |
| * | Refactor bad callee check into a Checker. | Zhongxing Xu | 2009-09-02 | 1 | -14/+1 |
| * | Eliminate CXXAdornedMemberExpr entirely. Instead, optionally allocate | Douglas Gregor | 2009-08-31 | 1 | -2/+0 |
| * | Rename CXXQualifiedMemberExpr -> CXXAdornedMemberExpr, since we will | Douglas Gregor | 2009-08-31 | 1 | -2/+2 |
| * | Refactor undefined argument checking into a Checker. | Zhongxing Xu | 2009-08-29 | 1 | -24/+1 |
| * | Rename 'bindExpr' to 'BindExpr'. | Ted Kremenek | 2009-08-27 | 1 | -52/+52 |
| * | Remove a unused member variable. Instead query the option from AnalysisManager. | Zhongxing Xu | 2009-08-27 | 1 | -3/+3 |
| * | Simplify 'Environment' to contain only one map from 'const Stmt*' to SVals, g... | Ted Kremenek | 2009-08-27 | 1 | -75/+61 |
| * | When a member reference expression includes a qualifier on the member | Douglas Gregor | 2009-08-26 | 1 | -0/+2 |
| * | Move logic of GRExprEngine::EvalBinOp to SValuator::EvalBinOp. | Ted Kremenek | 2009-08-25 | 1 | -37/+5 |
| * | Remove CodeDecl and CFG from GRExprEngine and GRStateManager. | Zhongxing Xu | 2009-08-25 | 1 | -63/+70 |
| * | Remove Decl and CFG from ExplodedGraph. This leads to a series small changes. | Zhongxing Xu | 2009-08-25 | 1 | -5/+5 |
| * | Replace cerr with errs(). | Benjamin Kramer | 2009-08-23 | 1 | -3/+2 |
| * | Remove 'AnalysisContext::setDecl()', as we the Decl associated with an | Ted Kremenek | 2009-08-21 | 1 | -2/+2 |
| * | Add LocationContext* field to VarRegion. This is needed for interprocedural ... | Ted Kremenek | 2009-08-21 | 1 | -9/+12 |
| * | Get the code decl from the initial location context. | Zhongxing Xu | 2009-08-21 | 1 | -1/+1 |
| * | Using "ObjCImplicitSetterGetterRefExpr" instead of "ObjCImplctSetterGetterRef... | Fariborz Jahanian | 2009-08-20 | 1 | -3/+3 |
| * | Renamed ObjCKVCRefExpr to ObjCImplctSetterGetterRefExpr. | Fariborz Jahanian | 2009-08-18 | 1 | -3/+3 |
| * | To make the analysis independent on the locally stored liveness and cfg | Zhongxing Xu | 2009-08-17 | 1 | -2/+2 |
| * | Extend the ProgramPoint to include the context information LocationContext, | Zhongxing Xu | 2009-08-15 | 1 | -5/+8 |
| * | Last step of template cleanup: merge *BuilderImpl to *Builder. | Zhongxing Xu | 2009-08-06 | 1 | -177/+177 |
| * | As GRState seems general enough, it is time to merge some template classes | Zhongxing Xu | 2009-08-06 | 1 | -10/+10 |
| * | If the UnaryOperator has non-location type, use its type to create the | Zhongxing Xu | 2009-08-05 | 1 | -2/+11 |
| * | Temporarily disable out-of-bounds checking. The current checking logic will ... | Ted Kremenek | 2009-08-01 | 1 | -1/+6 |
| * | Change uses of: | Ted Kremenek | 2009-07-29 | 1 | -2/+2 |
| * | Fix PR 4631. The compound initializers of unions were not being evaluated, which | Ted Kremenek | 2009-07-28 | 1 | -8/+2 |
| * | Revert r76831, there are many Analyzer test failures on multiple platforms. | Daniel Dunbar | 2009-07-23 | 1 | -16/+3 |
| * | Add 'previsit' Checker pass for ObjCMessageExprs. | Ted Kremenek | 2009-07-23 | 1 | -3/+16 |
| * | Refactor 'PostStmt' and 'PreStmt' to subclass a common parent 'StmtPoint'. | Ted Kremenek | 2009-07-22 | 1 | -5/+6 |
| * | Add support for registering 'Checker' objects with GRExprEngine. | Ted Kremenek | 2009-07-22 | 1 | -5/+48 |
