Age | Commit message (Expand) | Author |
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 |
2010-06-17 | Update CMake build for new attribute changes. | Sean Hunt |
2010-06-17 | Rework StackAddrLeakChecker to find stores of stack memory addresses to globa... | Ted Kremenek |
2010-06-17 | Implement RegionStoreManager::iterBindings(). This implementation only retur... | Ted Kremenek |
2010-06-17 | Correctly return early from BasicStoreManager::iterBindings() when the Bindin... | Ted Kremenek |
2010-06-16 | We return Loc where we know. | Zhongxing Xu |
2010-06-16 | Typo. | Zhongxing Xu |
2010-06-16 | Although arguments can not be undefined when we get here, they can still be | Zhongxing Xu |
2010-06-16 | Cast earlier. We know we can get a DefinedSVal. | Zhongxing Xu |
2010-06-16 | Register CallAndMessageChecker before AttrNonNullChecker. Then we can assume | Zhongxing Xu |
2010-06-16 | Add StreamChecker. This checker models and checks stream manipulation functions. | Zhongxing Xu |
2010-06-16 | Introduce Type::isIntegralOrEnumerationType(), to cover those places | Douglas Gregor |
2010-06-15 | Break Frontend's dependency on Rewrite, Checker and CodeGen in shared library... | Daniel Dunbar |
2010-06-09 | Remove an entry for a now deleted file. Fixes the neglected CMake build. ;] | Chandler Carruth |
2010-06-09 | Merge StackAddrLeakChecker and ReturnStackAddressChecker. | Zhongxing Xu |
2010-06-09 | Directly compare the StackFrameContext. This greatly simplifies logic and | Zhongxing Xu |
2010-06-08 | Code cleanup: remove explicit flush() in favor of using the ostream's str() | Jordy Rose |
2010-06-08 | Makefiles: Set Clang CPP compiler flags in a single location, instead of scat... | Daniel Dunbar |
2010-06-08 | Makefile: Switch Clang Makefiles to always include the top-level Clang Makefile. | Daniel Dunbar |
2010-06-08 | Add a checker check if a global variable holds a local variable's address after | Zhongxing Xu |
2010-06-07 | Catch free()s on non-regions and regions known to be not from malloc(), by ch... | Jordy Rose |
2010-06-03 | Add comments. | Zhongxing Xu |
2010-06-01 | Limit the use of BindDefault(). | Zhongxing Xu |
2010-06-01 | Add support for calloc() in MallocChecker. Patch by Jordy Rose, with my | Zhongxing Xu |
2010-05-31 | After conversations with Zhongxing Xu and Jordy Rose, refine the logic in | Ted Kremenek |
2010-05-30 | Refactor the Is{Std,Clang,LLVM}Namespace methods and rename 'isClangAttr' to | Nick Lewycky |