- 78b6675 Correctly implement the CheckerVisit optimization introduced in r106884, but this time actually used the cached checker list when calling back to Checker visit methods. This reduces the analysis time for sqlite3.c by 8%. by Ted Kremenek · 14 years ago
- a274148 Pointers casted as integers still count as locations to SimpleSValuator, so don't crash if we do a funny thing like ((int)ptr)&1. Fixes PR7527. by Jordy Rose · 14 years ago
- e49f2ad Tweaker Checker::VisitEndAnalysis to have 'hasWorkRemaining' also by Ted Kremenek · 14 years ago
- d784d4d llvm::errs() is non-buffered, so it doesn't need to be flushed. by Dan Gohman · 14 years ago
- eac4a00 Pointer comparisons (and pointer-pointer subtraction). Basically filling in SimpleSValuator::EvalBinOpLL(). by Jordy Rose · 14 years ago
- 5ca129c Implicitly compare symbolic expressions to zero when they're being used as constraints. Part of PR7491. by Jordy Rose · 14 years ago
- 1cba3ea Allow '__extension__' to be analyzed in a lvalue context. by Ted Kremenek · 14 years ago
- 4d3b1af Relax assertion since non-pod C++ classes are not aggregates, but still can appear in this context. by Ted Kremenek · 14 years ago
- 4d912b2 When a constant size array is casted to another type, its length should be scaled as well. by Jordy Rose · 14 years ago
- 9e9595b Add "checker caching" to GRExprEngine::CheckerVisit to progressively build by Ted Kremenek · 14 years ago
- c4a1437 Fix -analyze-display-progress (once again), this time with an additional regression test. by Ted Kremenek · 14 years ago
- 7b05030 Change RegionStoreManager::Retrieve to infer the type of a symbolic region from the context when it is not already available. by Tom Care · 14 years ago
- 2b11fb2 Return null pointer instead of 'false' (fixes clang warning). by Ted Kremenek · 14 years ago
- 0c2e8c8 Add check for illegal whence argument of fseek. by Zhongxing Xu · 14 years ago
- ab42130 Should return stateNotNull. by Zhongxing Xu · 14 years ago
- 12d213d Let StreamChecker::CheckNullStream() return a GRState after successful check. by Zhongxing Xu · 14 years ago
- ccc263b Add 'VisitEndAnalysis' callback to Checker class. This callback is called by GRExprEngine by Ted Kremenek · 14 years ago
- 2470446 add comments. by Zhongxing Xu · 14 years ago
- 71f219a add comments. by Zhongxing Xu · 14 years ago
- 3f8612b Correctly construct an ElementRegion for alloca() + pointer arithmetic. Fixes analyzer by Ted Kremenek · 14 years ago
- 0c293ea Type Type::isRealFloatingType() that vectors are not floating-point by Douglas Gregor · 14 years ago
- 8ad9cbc Don't assert on C++ casts that are currently not handled by the static analyzer. by Ted Kremenek · 14 years ago
- c7de88b Add a bunch of stream APIs to SteamChecker. by Zhongxing Xu · 14 years ago
- b4954a4 When folding additive operations, convert the values to the same type. When assuming relationships, convert the integers to the same type as the symbol, at least for now. by Jordy Rose · 14 years ago
- 9a12685 If a nonnull argument evaluates to UnknownVal, don't warn (and don't crash). by Jordy Rose · 14 years ago
- 24ada87 Add braces to avoid an ambiguous else, fixing a GCC warning. by Benjamin Kramer · 14 years ago
- 43fdb7f Adds analyzer support for idempotent and tautological binary operations such as "a*0" and "a+0". This is not very powerful, but does make the analyzer look a little smarter than it actually is. by Jordy Rose · 14 years ago
- c580f2e Casting to void* or any other pointer-to-sizeless type (e.g. function pointers) causes a divide-by-zero error. Simple fix: check if the pointee type size is 0 and bail out early if it is. by Jordy Rose · 14 years ago
- ba0f61c Fold additive constants, and support comparsions of the form $sym+const1 <> const2 by Jordy Rose · 14 years ago
- 0a76aae introduce a new CharSourceRange class, and enhance the diagnostics routines by Chris Lattner · 14 years ago
- 23d90f9 Add null stream check for more APIs. by Zhongxing Xu · 14 years ago
- a816615 Tweak stack address checker to report multiple cases where globals may reference stack memory. by Ted Kremenek · 14 years ago
- ee6e4b4 Update CMake build for new attribute changes. by Sean Hunt · 14 years ago
- 551bd1f Rework StackAddrLeakChecker to find stores of stack memory addresses to global variables by Ted Kremenek · 14 years ago
- 0e9910f Implement RegionStoreManager::iterBindings(). This implementation only returns the base region in by Ted Kremenek · 14 years ago
- 744b304 Correctly return early from BasicStoreManager::iterBindings() when the BindingsHandler returns false. by Ted Kremenek · 14 years ago
- bd409d0 We return Loc where we know. by Zhongxing Xu · 14 years ago
- b0cd34b Typo. by Zhongxing Xu · 14 years ago
- b3f4031 Although arguments can not be undefined when we get here, they can still be by Zhongxing Xu · 14 years ago
- 7015485 Cast earlier. We know we can get a DefinedSVal. by Zhongxing Xu · 14 years ago
- 5126c60 Register CallAndMessageChecker before AttrNonNullChecker. Then we can assume by Zhongxing Xu · 14 years ago
- c196095 Add StreamChecker. This checker models and checks stream manipulation functions. by Zhongxing Xu · 14 years ago
- 2ade35e Introduce Type::isIntegralOrEnumerationType(), to cover those places by Douglas Gregor · 14 years ago
- 9b414d3 Break Frontend's dependency on Rewrite, Checker and CodeGen in shared library configuration by Daniel Dunbar · 14 years ago
- a3b6727 Remove an entry for a now deleted file. Fixes the neglected CMake build. ;] by Chandler Carruth · 14 years ago
- 9b14683 Merge StackAddrLeakChecker and ReturnStackAddressChecker. by Zhongxing Xu · 14 years ago
- 2c46458 Directly compare the StackFrameContext. This greatly simplifies logic and by Zhongxing Xu · 14 years ago
- 3104124 Code cleanup: remove explicit flush() in favor of using the ostream's str() by Jordy Rose · 14 years ago
- c4dec1c Makefiles: Set Clang CPP compiler flags in a single location, instead of scattered throughout the project Makefiles. by Daniel Dunbar · 14 years ago
- afed099 Makefile: Switch Clang Makefiles to always include the top-level Clang Makefile. by Daniel Dunbar · 14 years ago
- 1622a54 Add a checker check if a global variable holds a local variable's address after by Zhongxing Xu · 14 years ago
- 43859f6 Catch free()s on non-regions and regions known to be not from malloc(), by checking the symbol type and memory space. by Jordy Rose · 14 years ago
- b00196d Add comments. by Zhongxing Xu · 14 years ago
- 5446009 Limit the use of BindDefault(). by Zhongxing Xu · 14 years ago
- a5ce966 Add support for calloc() in MallocChecker. Patch by Jordy Rose, with my by Zhongxing Xu · 14 years ago
- a709b87 After conversations with Zhongxing Xu and Jordy Rose, refine the logic in by Ted Kremenek · 14 years ago
- 31b5c4b Refactor the Is{Std,Clang,LLVM}Namespace methods and rename 'isClangAttr' to by Nick Lewycky · 14 years ago
- 9a55591 Convert DeclNodes to use TableGen. by Sean Hunt · 14 years ago
- 42c67bf Revert r105097. Thinking about a better fix. by Zhongxing Xu · 14 years ago
- bdfa85f Fix PR7218. Patch by Jordy Rose. by Zhongxing Xu · 14 years ago
- 32f9010 Discard qualifiers for ElementRegions so that a 'const' doesn't change the lookup semantics by Ted Kremenek · 14 years ago
- ed4214c Small fix. by Zhongxing Xu · 14 years ago
- 9579898 Remove extents of dead symbolic regions when RemoveDeadBindings. by Zhongxing Xu · 14 years ago
- ab28099 CastSizeChecker checks when casting a malloc'ed symbolic region to type T, by Zhongxing Xu · 14 years ago
- d775c66 Update retain-release checker to understand changes to how 'super' is represented by Ted Kremenek · 14 years ago
- 8f32675 Pass around an error SourceRange instead of an Expr* when reporting errors by Ted Kremenek · 14 years ago
- 857e918 Add clang support for IBOutletCollection. by Ted Kremenek · 14 years ago
- 6362b89 Add option '-analyzer-max-loop', which specifies the maximum by Zhongxing Xu · 14 years ago
- 506b57e Clean up some more uses of getAs<ObjCInterfaceType>() that Fariborz pointed by John McCall · 14 years ago
- c12c5bb Substantially alter the design of the Objective C type AST by introducing by John McCall · 14 years ago
- 8e98ac1 Relax an assertion. Various cases could lead to non-symbol values. by Zhongxing Xu · 14 years ago
- 465d41b Merged Elaborated and QualifiedName types. by Abramo Bagnara · 14 years ago
- a5fdd9c Fixes for compilation with Microsoft Visual Studio 2010, from Steven Watanabe! by Douglas Gregor · 14 years ago
- 1c625f2 Turn -analyzer-inline-call on for C functions. This also fixed a bug that by Zhongxing Xu · 14 years ago
- 7b99d12 Make -analyzer-inline-call not a separate analysis. Instead it's a boolean by Zhongxing Xu · 14 years ago
- 71b1d0e Unbreak CMake build. by Douglas Gregor · 14 years ago
- 8ecdb65 Completely reimplement __builtin_offsetof, based on a patch by Roberto Amadini. by Douglas Gregor · 14 years ago
- fb87b89 Introduce Type::isStructureOrClassType(), which does the obvious by Douglas Gregor · 14 years ago
- d8383d4 CXXNamedCastExpr is actually an abstract expression. by Zhongxing Xu · 14 years ago
- 978b935 Use the right predecessor. by Zhongxing Xu · 14 years ago
- 6b85138 Add initial support for C++ delete expr. by Zhongxing Xu · 14 years ago
- 04badcf Overhaul the AST representation of Objective-C message send by Douglas Gregor · 14 years ago
- 107ccd1 Replace code with a method call. No functionality change. by Zhongxing Xu · 14 years ago
- 59fea60 Use GetState() to get the possible cleaned state. by Zhongxing Xu · 14 years ago
- b17b1b3 Improve handling of CXXNewExpr. by Zhongxing Xu · 14 years ago
- cb421fa Fix -Wcast-qual warnings. by Dan Gohman · 14 years ago
- cb7464a Move all C++ expression evaluation logic into its own file. by Zhongxing Xu · 14 years ago
- 856c6bc Analyzer: add support for CXXNewExpr. by Zhongxing Xu · 14 years ago
- 900fc63 Add raw_ostream operators to NamedDecl for convenience. Switch over all users of getNameAsString on a stream. by Benjamin Kramer · 14 years ago
- d617b85 Static analyzer: Don't crash when casting a symbolic region address to a float. Fixes PR 6854. by Ted Kremenek · 14 years ago
- 1b49d76 Fix PR 6844, a regression caused by the introduction of llvm_unreachable for the default by Ted Kremenek · 14 years ago
- 868e78d Move GRStmtNodeBuilder::MakeNode() out of line. No functionality change. by Zhongxing Xu · 14 years ago
- 477323d Add support for CXXBoolLiteralExpr. by Zhongxing Xu · 14 years ago
- bc9ad74 Make all cases that we don't handle explicit. by Zhongxing Xu · 14 years ago
- 0d9d736 Dispatch all C++ cast expr to VisitCast(). by Zhongxing Xu · 14 years ago
- 66d5142 Remove copy of 'Optional' in Clang tree, and convert clients to use the one now in the LLVM tree. by Ted Kremenek · 14 years ago
- bace4ba For 'open' check in UnixAPIChecker, hard code value of 'O_CREAT' on Darwin. by Ted Kremenek · 14 years ago
- 5d07401 Temporarily only enable 'open' check on Mac OS X to unbreak Windows buildbot. I'm by Ted Kremenek · 14 years ago
- 99d9838 Add static analyzer check for calls to 'pthread_once()' where the control-flow has by Ted Kremenek · 14 years ago
- 974d97b Fix crash in StoreManager::CastRegion() when the base region is a type with 0 size. by Ted Kremenek · 14 years ago