- ba5fb5a lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace by Kovarththanan Rajaratnam · 15 years ago
- a1c5716 Improve diagnostics in ReturnStackAddressChecker for returning a stack-allocated block. Implements the rest of <rdar://problem/7387385>. by Ted Kremenek · 15 years ago
- 38cc6bc Add a PostVisitBlockExpr() method to RetainReleaseChecker to query for by Ted Kremenek · 15 years ago
- a6d73af Teach RegionStoreManager::RemoveDeadBindings() about BlockDataRegions. Any VarRegion for a "captured" variable should also be considered live. by Ted Kremenek · 15 years ago
- 4240096 Add iterators to BlockDataRegion that allow clients to iterate over the VarRegions for "captured" variables for a block. by Ted Kremenek · 15 years ago
- 9dce71f Added batch versions of GRState::scanReachableSymbols() so that clients can scan a collection of SVals or MemRegions all at once. by Ted Kremenek · 15 years ago
- b1a7b65 Enhance LiveVariables to understand that blocks can extend the liveness of a variable by "capturing" them in a BlockExpr. by Ted Kremenek · 15 years ago
- bf0fe6c Add missing case in switch statement. by Ted Kremenek · 15 years ago
- 0a8112a Refine MemRegions for blocks. Add a new region called by Ted Kremenek · 15 years ago
- a44a590 Remove recently added FIXME. The appropriate FIXME is already in MemRegionManager::getVarRegion(). by Ted Kremenek · 15 years ago
- 3ad4104 Add FIXME. by Ted Kremenek · 15 years ago
- 6607861 Add post-visit Checker support in GRExprEngine for BlockExpr. by Ted Kremenek · 15 years ago
- d593eb9 Add a new RetainReleaseChecker class (that subclasses CheckerVisitor) to extend the functionality of the retain/release checker using the new Checker interface. Pieces of CFRefCount will gradually be migrated to this new class over time. by Ted Kremenek · 15 years ago
- d295bae Move RegisterChecks() to the end of the file. No functionality change. by Ted Kremenek · 15 years ago
- 32c4995 Make RegisterInternalChecks() part of GRExprEngine's private implementation by making it a static function within GRExprEngine.cpp. by Ted Kremenek · 15 years ago
- c80135b Register internal checks with GRExprEngine when it is constructed, not manually in AnalysisConsumer.cpp. by Ted Kremenek · 15 years ago
- b801b73 When dispatching to Checker objects in GRExprEngine::CheckerVisit(), by Ted Kremenek · 15 years ago
- 772250c Add really basic support for blocks in the retain/release checker. For now, anytime we pass a tracked object to a block call we stop tracking it. by Ted Kremenek · 15 years ago
- 721903e Allow building of CFGs for ASTs that contain BlockExprs. by Ted Kremenek · 15 years ago
- c95ad9f Add transfer function support for BlockExpr. by Ted Kremenek · 15 years ago
- eb1c7a0 Split CodeTextRegion into FunctionTextRegion and BlockTextRegion. This a precursor to having basic static analysis support for blocks. by Ted Kremenek · 15 years ago
- f81330c For the nil-receiver checker, take into account the behavioral changes that got introduced in Mac OS X 10.5 and later, notably return values of double, float, etc., will not be garbage. Fixes <rdar://problem/6829160>. by Ted Kremenek · 15 years ago
- fee96e0 Cleanups and fixes to the nil-receiver checker, some of it fallout the by Ted Kremenek · 15 years ago
- 6d901e3 We can remove this file now. by Zhongxing Xu · 15 years ago
- 668399b Refactor undefined result checker. This is the last one. by Zhongxing Xu · 15 years ago
- 2055eff Refactor NilReceiverStructRet and NilReceiverLargerThanVoidPtrRet into by Zhongxing Xu · 15 years ago
- d02174c rename UndefinedArgChecker to CallAndMessageChecker. by Zhongxing Xu · 15 years ago
- f253aa7 Rename: UndefinedArgChecker.cpp => CallAndMessageChecker.cpp by Zhongxing Xu · 15 years ago
- e576af2 Enhance null dereference diagnostics by indicating what variable (if any) was dereferenced. Addresses <rdar://problem/7039161>. by Ted Kremenek · 15 years ago
- c312076 After performing a bounds check in ArrayBoundChecker, record the fact that a bounds check succeeded by transitioning the ExplodedGraph. by Ted Kremenek · 15 years ago
- 19d67b5 Clean up the Checker API a little more, resolving some hidden bugs by Ted Kremenek · 15 years ago
- c6e11ff Provide out-of-line definition for destructor of Checker. by Ted Kremenek · 15 years ago
- 616cf05 Tweak UndefBranchChecker to register the most nested "undefined" expression with bugreporter::registerTrackNullOrUndefValue instead of the condition itself. by Ted Kremenek · 15 years ago
- 998c133 Cleanup title/description of "undefined branch" BugType and add some test cases for this check. by Ted Kremenek · 15 years ago
- 3e0c098 Fix CMake build by Douglas Gregor · 15 years ago
- f155dbf UndefBranchChecker: more bug reporter helper information emit. by Zhongxing Xu · 15 years ago
- 0835e4c Initial refactor of UndefBranchChecker. We still use GRBranchNodeBuilder by Zhongxing Xu · 15 years ago
- 93fab7c Change CheckDeadStores to use Expr::isNullPointerConstant, which will correctly determine whether an expression is a null pointer constant. by Ted Kremenek · 15 years ago
- 9787d0a Undefined compound assignment result is checked in UndefinedAssignmentChecker. So this check is redundant. by Zhongxing Xu · 15 years ago
- 23e3156 Remove invalid comments. The result is undefined only when operands are undefined. by Zhongxing Xu · 15 years ago
- f605aae Save and restore the HasGen flag in MallocChecker. by Zhongxing Xu · 15 years ago
- fce03cb Don't include a dead header. by Benjamin Kramer · 15 years ago
- c3372e0 Remove UndefinedAssignmentChecker's header. by Zhongxing Xu · 15 years ago
- 68c9ced Make FixedAddressChecker and experimental check; it currently produces a ton of false positives when analyzing some projects (e.g., Wine). by Ted Kremenek · 15 years ago
- 78d722f Restructure DereferenceChecker slightly to handle caching out when we would report a null dereference more than once. by Ted Kremenek · 15 years ago
- c79d7d4 Pull BadCallChecker int UndefinedArgChecker, and have UndefinedArgChecker also handled undefined receivers in message expressions. by Ted Kremenek · 15 years ago
- 64fa858 More checker refactoring. Passing undefined values in a message expression is now handled by UndefinedArgChecker. by Ted Kremenek · 15 years ago
- 921ddc4 Fix typo GCC 4.3 warned about. by Benjamin Kramer · 15 years ago
- 50e837b Add simple static analyzer checker to check for sending 'release', 'retain', etc. directly to a class. Fixes <rdar://problem/7252064>. by Ted Kremenek · 15 years ago
- b221e4f Unused ivar checker: ivars referenced by lexically nested functions should not be flagged as unused. Fixes <rdar://problem/7254495>. by Ted Kremenek · 15 years ago
- 00b1ad2 Revert r89437 and add a comment. by Zhongxing Xu · 15 years ago
- 3b57dc0 It's unnecessary to check for unknown at this point. by Zhongxing Xu · 15 years ago
- 71a5e28 Fix null dereference in NSAutoreleasePoolChecker when analyzing messages sent to blocks. by Ted Kremenek · 15 years ago
- 027e266 Fix crash when using --analyzer-store=region when handling initializers with nested arrays/structs whose values are not explicitly specified. Fixes <rdar://problem/7403269>. by Ted Kremenek · 15 years ago
- 638b9c3 Remove printf statement. by Ted Kremenek · 15 years ago
- 27e05ed Only fetch the ASTContext object within the assertion. by Ted Kremenek · 15 years ago
- 6049762 Silence -Asserts warning. by Daniel Dunbar · 15 years ago
- 4985e3e Add PreVisitReturn to Malloc checker. Now we can recognize returned memory by Zhongxing Xu · 15 years ago
- 243fde9 Add EvalEndPath interface to Checker. Now we can check memory leaked at the by Zhongxing Xu · 15 years ago
- c5419cc Clear the dest set. by Zhongxing Xu · 15 years ago
- a4923eb First part of changes to eliminate problems with cv-qualifiers and by Douglas Gregor · 15 years ago
- 652be34 * Do the same thing to the basicstore as in r84163. by Zhongxing Xu · 15 years ago
- 1eacb72 Remove an unused parameter. by Zhongxing Xu · 15 years ago
- d02e232 Change *BugReport constructors to take StringRefs. by Benjamin Kramer · 15 years ago
- 73099bf Move definition of GRExprEngine::ProcessEndPath() out-of-line. by Ted Kremenek · 15 years ago
- 8382cf5 Add clang-cc option "--analyzer-experimental-internal-checks". This by Ted Kremenek · 15 years ago
- fc7ac8f Malloc checker basically works now. by Zhongxing Xu · 15 years ago
- 7b76096 Hook up Malloc checker. by Zhongxing Xu · 15 years ago
- 9400613 Check in a new interface of Checker, which will soon be used. by Zhongxing Xu · 15 years ago
- ccd373a GRStateManager::CurrentStmt is not used. Remove it. by Zhongxing Xu · 15 years ago
- f0d8fff Pull static variable within function (for slightly faster startup time). by Ted Kremenek · 15 years ago
- b7ddd9b retain/release checker: refactor some of the summary lookup logic for instance method summaries. No real functionality change, but it paves the way for new enhancements. by Ted Kremenek · 15 years ago
- eb94113 Add clang-cc option "-analyzer-experimental-checks" to enable experimental path-sensitive checks. The idea is to separate "barely working" or "skunkworks" checks from ones that should always run. Later we need more fine-grain checker control. by Ted Kremenek · 15 years ago
- 221089b Fix MSVC build. by Benjamin Kramer · 15 years ago
- d430786 update CMakefile by Zhongxing Xu · 15 years ago
- 589c0f2 Add boilerplate logic for a malloc/free checker. by Zhongxing Xu · 15 years ago
- fe37d04 PthreadLockChecker doesn't need PreVisitCallExpr() yet. All the current logic should be done in PostVisitCallExpr() by Ted Kremenek · 15 years ago
- ac9bea8 Add most of the boilerplate logic for a simple pthread_mutux_lock() -> pthread_mutex_unlock() checker. We need to add a visitor method to Checker for handling dead symbols in order to detect locks that are not unlocked. by Ted Kremenek · 15 years ago
- 1acfe8e Remove obsolete 'struct NullDerefTag'. by Ted Kremenek · 15 years ago
- 31a241a Enhance Checker class (and GRExprEngine) to support PostVisitation for CallExprs. No clients (yet). by Ted Kremenek · 15 years ago
- 7422db3 Remove GRExprEngine::EvalCall(). It had a single callsite in GRExprEngine, and was easily inlined. by Ted Kremenek · 15 years ago
- e884ff8 Make StoreManager::getSizeInElements() always return DefinedOrUnknownSVal. by Zhongxing Xu · 15 years ago
- 10f51e8 Remove some stale ErrorNodes variables in GRExprEngine and the old buffer overflow logic in GRExprEngineInternalChecks.cpp. by Ted Kremenek · 15 years ago
- 0059f1c After drinking caffeine, add the two files missing from the previous submit. by Chandler Carruth · 15 years ago
- f465e85 Move the ManagerRegistry to the Analysis library to resolve the layering violation. by Chandler Carruth · 15 years ago
- d694485 Add undefined array subscript checker. by Zhongxing Xu · 15 years ago
- 6cc46ed Remove the old out-of-bound checking code. by Zhongxing Xu · 15 years ago
- 58e689f Reimplement out-of-bound array access checker with the new checker interface. by Zhongxing Xu · 15 years ago
- b991f48 ReturnPointerRangeChecker: use StripCasts() instead of checking for zero index by Zhongxing Xu · 15 years ago
- ead2a5e Update CMake. by Daniel Dunbar · 15 years ago
- de7d800 CastToStructChecker: use 'isStructureType()' instead of 'isRecordType()' to determine if a pointer is casted to a struct pointer. This fixes an observed false positive when a value is casted to a union. by Ted Kremenek · 15 years ago
- 1d9cbeb Fix display of "ANALYZE" statements in AnalysisConsumer by correctly resetting the flag indicating that the current Decl* has not yet been displayed. Also move this out of AnalysisManager, since AnalysisManager should not handle text output to the user. by Ted Kremenek · 15 years ago
- f493f49 Remove public headers for UndefinedArgChecker, AttrNonNullChecker, and BadCallChecker, making their implementations completely private. by Ted Kremenek · 15 years ago
- b4b817d Refactor DereferenceChecker to use only the new Checker API instead of by Ted Kremenek · 15 years ago
- b6aa69a Ignore parentheses when check the type of the expr. by Zhongxing Xu · 15 years ago
- 37e9c47 SizeofPointerChecker: Many false positives have the form 'sizeof *p'. by Zhongxing Xu · 15 years ago
- cbe091f Now we can safely use the argument expression's source range. by Zhongxing Xu · 15 years ago
- 52cb277 SizeofPointerChecker: If an explicit type specifier is used, do not issue warnings. by Zhongxing Xu · 15 years ago
- 572ea26 Use the source range of the whole sizeof expression, otherwise it crashes when by Zhongxing Xu · 15 years ago
- adca271 Refine PointerSubChecker: compare the base region instead of the original by Zhongxing Xu · 15 years ago