aboutsummaryrefslogtreecommitdiff
path: root/lib/Checker
AgeCommit message (Expand)Author
2010-06-25Relax assertion since non-pod C++ classes are not aggregates, but still can a...Ted Kremenek
2010-06-25When a constant size array is casted to another type, its length should be sc...Jordy Rose
2010-06-25Add "checker caching" to GRExprEngine::CheckerVisit to progressively buildTed Kremenek
2010-06-25Fix -analyze-display-progress (once again), this time with an additional regr...Ted Kremenek
2010-06-25Change RegionStoreManager::Retrieve to infer the type of a symbolic region fr...Tom Care
2010-06-24Return null pointer instead of 'false' (fixes clang warning).Ted Kremenek
2010-06-24Add check for illegal whence argument of fseek.Zhongxing Xu
2010-06-24Should return stateNotNull.Zhongxing Xu
2010-06-24Let StreamChecker::CheckNullStream() return a GRState after successful check.Zhongxing Xu
2010-06-23Add 'VisitEndAnalysis' callback to Checker class. This callback is called by...Ted Kremenek
2010-06-23add comments.Zhongxing Xu
2010-06-23add comments.Zhongxing Xu
2010-06-22Correctly construct an ElementRegion for alloca() + pointer arithmetic. Fixe...Ted Kremenek
2010-06-22Type Type::isRealFloatingType() that vectors are not floating-pointDouglas Gregor
2010-06-22Don't assert on C++ casts that are currently not handled by the static analyzer.Ted Kremenek
2010-06-22Add a bunch of stream APIs to SteamChecker.Zhongxing Xu
2010-06-21When folding additive operations, convert the values to the same type. When a...Jordy Rose
2010-06-21If a nonnull argument evaluates to UnknownVal, don't warn (and don't crash).Jordy Rose
2010-06-20Add braces to avoid an ambiguous else, fixing a GCC warning.Benjamin Kramer
2010-06-20Adds analyzer support for idempotent and tautological binary operations such ...Jordy Rose
2010-06-20Casting to void* or any other pointer-to-sizeless type (e.g. function pointer...Jordy Rose
2010-06-18Fold additive constants, and support comparsions of the form $sym+const1 <> c...Jordy Rose
2010-06-18introduce a new CharSourceRange class, and enhance the diagnostics routinesChris Lattner
2010-06-18Add null stream check for more APIs.Zhongxing Xu
2010-06-17Tweak stack address checker to report multiple cases where globals may refere...Ted Kremenek
2010-06-17Update CMake build for new attribute changes.Sean Hunt
2010-06-17Rework StackAddrLeakChecker to find stores of stack memory addresses to globa...Ted Kremenek
2010-06-17Implement RegionStoreManager::iterBindings(). This implementation only retur...Ted Kremenek
2010-06-17Correctly return early from BasicStoreManager::iterBindings() when the Bindin...Ted Kremenek
2010-06-16We return Loc where we know.Zhongxing Xu
2010-06-16Typo.Zhongxing Xu
2010-06-16Although arguments can not be undefined when we get here, they can still beZhongxing Xu
2010-06-16Cast earlier. We know we can get a DefinedSVal.Zhongxing Xu
2010-06-16Register CallAndMessageChecker before AttrNonNullChecker. Then we can assumeZhongxing Xu
2010-06-16Add StreamChecker. This checker models and checks stream manipulation functions.Zhongxing Xu
2010-06-16Introduce Type::isIntegralOrEnumerationType(), to cover those placesDouglas Gregor
2010-06-15Break Frontend's dependency on Rewrite, Checker and CodeGen in shared library...Daniel Dunbar
2010-06-09Remove an entry for a now deleted file. Fixes the neglected CMake build. ;]Chandler Carruth
2010-06-09Merge StackAddrLeakChecker and ReturnStackAddressChecker.Zhongxing Xu
2010-06-09Directly compare the StackFrameContext. This greatly simplifies logic andZhongxing Xu
2010-06-08Code cleanup: remove explicit flush() in favor of using the ostream's str()Jordy Rose
2010-06-08Makefiles: Set Clang CPP compiler flags in a single location, instead of scat...Daniel Dunbar
2010-06-08Makefile: Switch Clang Makefiles to always include the top-level Clang Makefile.Daniel Dunbar
2010-06-08Add a checker check if a global variable holds a local variable's address afterZhongxing Xu
2010-06-07Catch free()s on non-regions and regions known to be not from malloc(), by ch...Jordy Rose
2010-06-03Add comments.Zhongxing Xu
2010-06-01Limit the use of BindDefault().Zhongxing Xu
2010-06-01Add support for calloc() in MallocChecker. Patch by Jordy Rose, with my Zhongxing Xu
2010-05-31After conversations with Zhongxing Xu and Jordy Rose, refine the logic inTed Kremenek
2010-05-30Refactor the Is{Std,Clang,LLVM}Namespace methods and rename 'isClangAttr' toNick Lewycky