| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Actually use reduced set of checkers in EvalAssume. | Jordy Rose | 2010-08-12 | 1 | -2/+1 |
| * | MemRegion can refer to ASTContext without external help. | Zhongxing Xu | 2010-08-11 | 1 | -2/+2 |
| * | Allow reference binding of a reference of Objective-C object type to | Douglas Gregor | 2010-08-07 | 1 | -1/+2 |
| * | Removed IdempotentOperationChecker from default analysis and returned back to... | Tom Care | 2010-08-06 | 1 | -1/+0 |
| * | If all nodes are sunk, bail out early. This make the later check for checkers... | Zhongxing Xu | 2010-08-06 | 1 | -1/+4 |
| * | Revert r110317, and add a comment why the assertion is not an invariant. | Ted Kremenek | 2010-08-05 | 1 | -4/+4 |
| * | Turn the predicate into an assertion. When could the unequal case happen? | Zhongxing Xu | 2010-08-05 | 1 | -1/+3 |
| * | Change the checker callback cache in GRExprEngine to be more compact (and IMH... | Jordy Rose | 2010-08-04 | 1 | -25/+64 |
| * | Makes GRState::makeWithStore private, to encourage clients to make store chan... | Jordy Rose | 2010-08-03 | 1 | -2/+1 |
| * | Changed GRExprEngine to pass down a reference to itself when checkers are doi... | Tom Care | 2010-08-03 | 1 | -1/+1 |
| * | Teach GRExprEngine::VisitLValue() about FloatingLiteral, ImaginaryLiteral, an... | Ted Kremenek | 2010-07-29 | 1 | -0/+3 |
| * | Remove extraneous guards around the call to getConjuredSymbolVal(). These ch... | Ted Kremenek | 2010-07-29 | 1 | -6/+4 |
| * | Delete unnecessary const_cast. | Zhongxing Xu | 2010-07-23 | 1 | -1/+1 |
| * | AnalysisContext is not const. | Zhongxing Xu | 2010-07-23 | 1 | -1/+1 |
| * | Constify all references to Stmt* and CFGBlock* in libChecker. | Zhongxing Xu | 2010-07-20 | 1 | -107/+115 |
| * | Constify. | Zhongxing Xu | 2010-07-20 | 1 | -8/+9 |
| * | Reapply r108617. | Zhongxing Xu | 2010-07-19 | 1 | -13/+26 |
| * | Revert r108617, it broke the build. | Benjamin Kramer | 2010-07-17 | 1 | -26/+13 |
| * | Prepare the analyzer for the callee in another translation unit: | Zhongxing Xu | 2010-07-17 | 1 | -13/+26 |
| * | Fix '<rdar://problem/8202272> __imag passed non-complex should not crash' by ... | Ted Kremenek | 2010-07-17 | 1 | -2/+1 |
| * | Improved false positive rate for the idempotent operations checker and moved ... | Tom Care | 2010-07-16 | 1 | -0/+1 |
| * | Introduce a new cast kind for an "lvalue bitcast", which handles | Douglas Gregor | 2010-07-13 | 1 | -0/+1 |
| * | Reinstate the fix for PR7556. A silly use of isTrivial() was | Douglas Gregor | 2010-07-08 | 1 | -2/+2 |
| * | Revert r107828 and r107827, the fix for PR7556, which seems to be | Douglas Gregor | 2010-07-07 | 1 | -2/+2 |
| * | Rename CXXZeroInitValueExpr to CXXScalarValueInitExpr, to reflect its | Douglas Gregor | 2010-07-07 | 1 | -2/+2 |
| * | Introduce Decl::hasBody() and FunctionDecl::hasBody() and use them instead of... | Argyrios Kyrtzidis | 2010-07-07 | 1 | -1/+1 |
| * | Support sizeof for VLA expressions (sizeof(someVLA)). sizeof(int[n]) still un... | Jordy Rose | 2010-07-05 | 1 | -3/+32 |
| * | Add an ivar to SymbolReaper for the current statement, and then stop passing ... | Jordy Rose | 2010-07-01 | 1 | -3/+3 |
| * | ExplodedGraph never uses ASTContext, remove it. | Zhongxing Xu | 2010-07-01 | 1 | -3/+3 |
| * | Correctly implement the CheckerVisit optimization introduced in r106884, but ... | Ted Kremenek | 2010-06-30 | 1 | -1/+1 |
| * | Allow '__extension__' to be analyzed in a lvalue context. | Ted Kremenek | 2010-06-26 | 1 | -2/+6 |
| * | Relax assertion since non-pod C++ classes are not aggregates, but still can a... | Ted Kremenek | 2010-06-25 | 1 | -4/+9 |
| * | Add "checker caching" to GRExprEngine::CheckerVisit to progressively build | Ted Kremenek | 2010-06-25 | 1 | -3/+51 |
| * | Add 'VisitEndAnalysis' callback to Checker class. This callback is called by... | Ted Kremenek | 2010-06-23 | 1 | -0/+7 |
| * | Don't assert on C++ casts that are currently not handled by the static analyzer. | Ted Kremenek | 2010-06-22 | 1 | -6/+24 |
| * | Register CallAndMessageChecker before AttrNonNullChecker. Then we can assume | Zhongxing Xu | 2010-06-16 | 1 | -1/+3 |
| * | Merge StackAddrLeakChecker and ReturnStackAddressChecker. | Zhongxing Xu | 2010-06-09 | 1 | -1/+1 |
| * | Add comments. | Zhongxing Xu | 2010-06-03 | 1 | -1/+2 |
| * | 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 |
