| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Constify all references to Stmt* and CFGBlock* in libChecker. | Zhongxing Xu | 2010-07-20 | 7 | -174/+182 |
| * | Constify. | Zhongxing Xu | 2010-07-20 | 1 | -12/+15 |
| * | remove const_cast. | Zhongxing Xu | 2010-07-20 | 1 | -2/+1 |
| * | constify. | Zhongxing Xu | 2010-07-20 | 1 | -2/+2 |
| * | Constify. | Zhongxing Xu | 2010-07-20 | 3 | -11/+12 |
| * | remove CallInliner.cpp. | Zhongxing Xu | 2010-07-19 | 1 | -0/+0 |
| * | Add double close check to StreamChecker. Patch by Lei Zhang. | Zhongxing Xu | 2010-07-19 | 1 | -4/+87 |
| * | Reapply r108617. | Zhongxing Xu | 2010-07-19 | 7 | -73/+70 |
| * | BUILD_ARCHIVE is the default for libraries, no need to set it. | Chris Lattner | 2010-07-18 | 1 | -1/+0 |
| * | Revert r108617, it broke the build. | Benjamin Kramer | 2010-07-17 | 6 | -39/+73 |
| * | Prepare the analyzer for the callee in another translation unit: | Zhongxing Xu | 2010-07-17 | 6 | -73/+39 |
| * | Fix '<rdar://problem/8202272> __imag passed non-complex should not crash' by ... | Ted Kremenek | 2010-07-17 | 1 | -2/+1 |
| * | Fix APFloat assertion failure in IdempotentOperationChecker resulting in having | Ted Kremenek | 2010-07-17 | 1 | -4/+6 |
| * | Improved false positive rate for the idempotent operations checker and moved ... | Tom Care | 2010-07-16 | 5 | -7/+82 |
| * | Pass StringRefs by value. | Benjamin Kramer | 2010-07-14 | 1 | -1/+1 |
| * | Introduce a new cast kind for an "lvalue bitcast", which handles | Douglas Gregor | 2010-07-13 | 1 | -0/+1 |
| * | Cleanup in CStringChecker. Now properly bifurcates the state for zero/nonzero... | Jordy Rose | 2010-07-08 | 1 | -139/+171 |
| * | 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 |
| * | Simplify code and remove comment that is no longer relevant. | Argyrios Kyrtzidis | 2010-07-07 | 1 | -9/+2 |
| * | Remove Decl::getCompoundBody(). | Argyrios Kyrtzidis | 2010-07-07 | 1 | -1/+1 |
| * | Introduce Decl::hasBody() and FunctionDecl::hasBody() and use them instead of... | Argyrios Kyrtzidis | 2010-07-07 | 4 | -10/+10 |
| * | Add memcmp() and bcmp() to CStringChecker. These check for valid access to th... | Jordy Rose | 2010-07-07 | 1 | -0/+66 |
| * | Cleanup on CStringChecker and its associated tests. Also check for null argum... | Jordy Rose | 2010-07-07 | 1 | -8/+77 |
| * | Change explicit handling of impossible condition to call llvm_unreachable in ... | Tom Care | 2010-07-07 | 1 | -2/+2 |
| * | Silence an annoying GCC warning about use of an uninitialized variable. Even | Chandler Carruth | 2010-07-07 | 1 | -1/+1 |
| * | Use 'llvm_unreachable' to mark impossible code paths so that GCC doesn't | Chandler Carruth | 2010-07-07 | 1 | -1/+2 |
| * | Fix casts in RegionStore to not always assume that bindings are only to SubRe... | Ted Kremenek | 2010-07-06 | 1 | -4/+4 |
| * | Implement dumpToStream() for NonStaticGlobalSpaceRegion and StaticGlobalSpace... | Ted Kremenek | 2010-07-06 | 1 | -1/+8 |
| * | Add comment noting VLASizeChecker's duty in defining a VLA's extent. | Jordy Rose | 2010-07-06 | 1 | -0/+6 |
| * | Add a new path-sensitive checker for functions in <string.h>, for both null-t... | Jordy Rose | 2010-07-06 | 4 | -0/+361 |
| * | Sort CMake file. | Ted Kremenek | 2010-07-06 | 1 | -9/+9 |
| * | Added a path-sensitive idempotent operation checker (-analyzer-idempotent-ope... | Tom Care | 2010-07-06 | 5 | -3/+466 |
| * | Add an assertion. | Zhongxing Xu | 2010-07-06 | 1 | -0/+3 |
| * | Remove the now-unused GRState::isEqual method. Instead of asking if an expres... | Jordy Rose | 2010-07-06 | 1 | -25/+0 |
| * | Improve NULL-checking for CFRetain/CFRelease. We now remember that the argume... | Jordy Rose | 2010-07-06 | 2 | -44/+52 |
| * | Support sizeof for VLA expressions (sizeof(someVLA)). sizeof(int[n]) still un... | Jordy Rose | 2010-07-05 | 1 | -3/+32 |
| * | Track extents for VLAs. | Jordy Rose | 2010-07-05 | 2 | -7/+38 |
| * | Add a new symbol type, SymbolExtent, to represent the extents of memory regio... | Jordy Rose | 2010-07-04 | 7 | -133/+148 |
| * | Fix PR 7475 by enhancing the static analyzer to also invalidate bindings for ... | Ted Kremenek | 2010-07-01 | 7 | -187/+358 |
| * | Add an ivar to SymbolReaper for the current statement, and then stop passing ... | Jordy Rose | 2010-07-01 | 9 | -27/+24 |
| * | ExplodedGraph never uses ASTContext, remove it. | Zhongxing Xu | 2010-07-01 | 2 | -4/+4 |
| * | Correctly implement the CheckerVisit optimization introduced in r106884, but ... | Ted Kremenek | 2010-06-30 | 1 | -1/+1 |
| * | Pointers casted as integers still count as locations to SimpleSValuator, so d... | Jordy Rose | 2010-06-30 | 1 | -1/+6 |
| * | Tweaker Checker::VisitEndAnalysis to have 'hasWorkRemaining' also | Ted Kremenek | 2010-06-29 | 1 | -2/+5 |
| * | llvm::errs() is non-buffered, so it doesn't need to be flushed. | Dan Gohman | 2010-06-28 | 1 | -2/+2 |
| * | Pointer comparisons (and pointer-pointer subtraction). Basically filling in S... | Jordy Rose | 2010-06-28 | 3 | -58/+322 |
| * | Implicitly compare symbolic expressions to zero when they're being used as co... | Jordy Rose | 2010-06-27 | 1 | -3/+7 |
| * | Allow '__extension__' to be analyzed in a lvalue context. | Ted Kremenek | 2010-06-26 | 1 | -2/+6 |
