| Age | Commit message (Expand) | Author |
|---|
| 2010-07-07 | Change explicit handling of impossible condition to call llvm_unreachable in ... | Tom Care |
| 2010-07-07 | Silence an annoying GCC warning about use of an uninitialized variable. Even | Chandler Carruth |
| 2010-07-07 | Use 'llvm_unreachable' to mark impossible code paths so that GCC doesn't | Chandler Carruth |
| 2010-07-06 | Fix casts in RegionStore to not always assume that bindings are only to SubRe... | Ted Kremenek |
| 2010-07-06 | Implement dumpToStream() for NonStaticGlobalSpaceRegion and StaticGlobalSpace... | Ted Kremenek |
| 2010-07-06 | Add comment noting VLASizeChecker's duty in defining a VLA's extent. | Jordy Rose |
| 2010-07-06 | Add a new path-sensitive checker for functions in <string.h>, for both null-t... | Jordy Rose |
| 2010-07-06 | Sort CMake file. | Ted Kremenek |
| 2010-07-06 | Added a path-sensitive idempotent operation checker (-analyzer-idempotent-ope... | Tom Care |
| 2010-07-06 | Add an assertion. | Zhongxing Xu |
| 2010-07-06 | Remove the now-unused GRState::isEqual method. Instead of asking if an expres... | Jordy Rose |
| 2010-07-06 | Improve NULL-checking for CFRetain/CFRelease. We now remember that the argume... | Jordy Rose |
| 2010-07-05 | Support sizeof for VLA expressions (sizeof(someVLA)). sizeof(int[n]) still un... | Jordy Rose |
| 2010-07-05 | Track extents for VLAs. | Jordy Rose |
| 2010-07-04 | Add a new symbol type, SymbolExtent, to represent the extents of memory regio... | Jordy Rose |
| 2010-07-01 | Fix PR 7475 by enhancing the static analyzer to also invalidate bindings for ... | Ted Kremenek |
| 2010-07-01 | Add an ivar to SymbolReaper for the current statement, and then stop passing ... | Jordy Rose |
| 2010-07-01 | ExplodedGraph never uses ASTContext, remove it. | Zhongxing Xu |
| 2010-06-30 | Correctly implement the CheckerVisit optimization introduced in r106884, but ... | Ted Kremenek |
| 2010-06-30 | Pointers casted as integers still count as locations to SimpleSValuator, so d... | Jordy Rose |
| 2010-06-29 | Tweaker Checker::VisitEndAnalysis to have 'hasWorkRemaining' also | Ted Kremenek |
| 2010-06-28 | llvm::errs() is non-buffered, so it doesn't need to be flushed. | Dan Gohman |
| 2010-06-28 | Pointer comparisons (and pointer-pointer subtraction). Basically filling in S... | Jordy Rose |
| 2010-06-27 | Implicitly compare symbolic expressions to zero when they're being used as co... | Jordy Rose |
| 2010-06-26 | Allow '__extension__' to be analyzed in a lvalue context. | Ted Kremenek |
| 2010-06-25 | Relax assertion since non-pod C++ classes are not aggregates, but still can a... | Ted Kremenek |
| 2010-06-25 | When a constant size array is casted to another type, its length should be sc... | Jordy Rose |
| 2010-06-25 | Add "checker caching" to GRExprEngine::CheckerVisit to progressively build | Ted Kremenek |
| 2010-06-25 | Fix -analyze-display-progress (once again), this time with an additional regr... | Ted Kremenek |
| 2010-06-25 | Change RegionStoreManager::Retrieve to infer the type of a symbolic region fr... | Tom Care |
| 2010-06-24 | Return null pointer instead of 'false' (fixes clang warning). | Ted Kremenek |
| 2010-06-24 | Add check for illegal whence argument of fseek. | Zhongxing Xu |
| 2010-06-24 | Should return stateNotNull. | Zhongxing Xu |
| 2010-06-24 | Let StreamChecker::CheckNullStream() return a GRState after successful check. | Zhongxing Xu |
| 2010-06-23 | Add 'VisitEndAnalysis' callback to Checker class. This callback is called by... | Ted Kremenek |
| 2010-06-23 | add comments. | Zhongxing Xu |
| 2010-06-23 | add comments. | Zhongxing Xu |
| 2010-06-22 | Correctly construct an ElementRegion for alloca() + pointer arithmetic. Fixe... | Ted Kremenek |
| 2010-06-22 | Type Type::isRealFloatingType() that vectors are not floating-point | Douglas Gregor |
| 2010-06-22 | Don't assert on C++ casts that are currently not handled by the static analyzer. | Ted Kremenek |
| 2010-06-22 | Add a bunch of stream APIs to SteamChecker. | Zhongxing Xu |
| 2010-06-21 | When folding additive operations, convert the values to the same type. When a... | Jordy Rose |
| 2010-06-21 | If a nonnull argument evaluates to UnknownVal, don't warn (and don't crash). | Jordy Rose |
| 2010-06-20 | Add braces to avoid an ambiguous else, fixing a GCC warning. | Benjamin Kramer |
| 2010-06-20 | Adds analyzer support for idempotent and tautological binary operations such ... | Jordy Rose |
| 2010-06-20 | Casting to void* or any other pointer-to-sizeless type (e.g. function pointer... | Jordy Rose |
| 2010-06-18 | Fold additive constants, and support comparsions of the form $sym+const1 <> c... | Jordy Rose |
| 2010-06-18 | introduce a new CharSourceRange class, and enhance the diagnostics routines | Chris Lattner |
| 2010-06-18 | Add null stream check for more APIs. | Zhongxing Xu |
| 2010-06-17 | Tweak stack address checker to report multiple cases where globals may refere... | Ted Kremenek |
