- be91224 BasicStore: by Ted Kremenek · 16 years ago
- 3de2d3c Add initial support for tracking ivars, with special handling for ivars of 'self'. by Ted Kremenek · 16 years ago
- ac78d6b Add 'cast<>' to remove an extra function call and dynamic cast. by Ted Kremenek · 16 years ago
- e121da4 More fixes in cast logic. by Ted Kremenek · 16 years ago
- efcfcc0 GRExprEngine: Polish up handling of casting integer constants to pointers and back. by Ted Kremenek · 16 years ago
- 16aac32 Fix regression in transparent translation of nonloc::ConcreteInto to loc::ConcreteInt. by Ted Kremenek · 16 years ago
- 452c31e Fix message title by Ted Kremenek · 16 years ago
- 3aa7ecd For now, do not track NSWindow objects and it's subclasses. by Ted Kremenek · 16 years ago
- d104a09 Add prototype support for invalidating fields for structures passed-by-reference by Ted Kremenek · 16 years ago
- 1b9b883 MemRegion: by Ted Kremenek · 16 years ago
- a880b66 Add an optional "tag" to conjured symbols that allows us to distinguish between by Ted Kremenek · 16 years ago
- a4cb9d3 GRExprEngine::VisitCast: Just pass through function and block pointers. by Ted Kremenek · 16 years ago
- 63d1d60 Adjust indentation. by Zhongxing Xu · 16 years ago
- 41168ea Added the notion of a "boundable region", which is a region that can have a direct binding in the StoreManager. by Ted Kremenek · 16 years ago
- cec3525 RegionStore: Handle implicit parameters. by Ted Kremenek · 16 years ago
- dc40290 Create "TypedViewRegions" that layer on top of SymbolicRegions when handling by Ted Kremenek · 16 years ago
- 3f4d5ab Use GetSValAsScalarOrLoc instead of GetSVal to prevent unintended structure or array "loads". by Ted Kremenek · 16 years ago
- 1cb151e Add "GetSValAsScalarOrLoc" methods to GRState/GRStateRef that only perform a by Ted Kremenek · 16 years ago
- 02c4d2d RegionStore::RemoveDeadBindings needs to check all the symbols of the super region of a scanned region as well. by Ted Kremenek · 16 years ago
- 94c9698 Rework use of loc::SymbolVal in the retain/release checker to use the new method by Ted Kremenek · 16 years ago
- 14453bf Don't use std::auto_ptr with getSubRegionMap(). by Ted Kremenek · 16 years ago
- 3e9061f Fix case where we should use dyn_cast instead of cast. by Ted Kremenek · 16 years ago
- 6076e0a Fix extra ';' bug noticed by Mike Stump. by Ted Kremenek · 16 years ago
- 5dc2746 Implement FIXME: GRStateManager::scanReachableSymbols now supports scanning MemRegions. by Ted Kremenek · 16 years ago
- 59e8f11 Add StoreManager::getSubRegionMap(). This method returns an opaque mapping for clients of StoreManagers from MemRegions to their subregions. by Ted Kremenek · 16 years ago
- 025fedc BugReporter: Construct path-related PathDiagnosticPieces with kind "ControlFlow". by Ted Kremenek · 16 years ago
- e3ce265 For now, do not output the 'DisplayHint' in plist files. by Ted Kremenek · 16 years ago
- 588fdfa remove an implemented fixme. by Zhongxing Xu · 16 years ago
- 94aa6c1 Initial support for pointer arithmetic. Only support concrete indexes and by Zhongxing Xu · 16 years ago
- e1bd4e6 Rename lib/Driver (etc) to lib/Frontend in prep for the *actual* by Daniel Dunbar · 16 years ago
- 0312c0e Rename AnonTypedRegion to TypedViewRegion. by Ted Kremenek · 16 years ago
- 17a8e07 Adjust wording of bug names. by Ted Kremenek · 16 years ago
- f5cae63 Revert 65707 (causes stack memory to be referenced after it is released). by Ted Kremenek · 16 years ago
- 56627e6 remove static ctor. by Chris Lattner · 16 years ago
- 161d36d improve compatibility with the VC++'08 C++ compiler. Patch by Niklas Larsson! by Chris Lattner · 16 years ago
- 9b5e505 When retrieving the location of a Node, for MemberExprs use the location of the by Ted Kremenek · 16 years ago
- 72564e7 Create a new TypeNodes.def file that enumerates all of the types, by Douglas Gregor · 16 years ago
- 8af2975 PathDiagnosticPiece now automatically strips off trailing periods in diagnostic messages. by Ted Kremenek · 16 years ago
- e198116 Refine some grammar in the retain/release diagnostics. by Ted Kremenek · 16 years ago
- 4b2d3f7 Introduce code modification hints into the diagnostics system. When we by Douglas Gregor · 16 years ago
- 3daea0a Use Loc::IsLocType() instead of isPointerType() and isReferenceType(). by Ted Kremenek · 16 years ago
- 24a9f6e Drop uses of isPointerLikeType. - No functionality change. by Daniel Dunbar · 16 years ago
- b293902 Fix subtle bug in EvalEagerlyAssume: Check if the previous node was at the same statement. by Ted Kremenek · 16 years ago
- 3579073 Fix recently introduced switch case fallthrough bug. by Ted Kremenek · 16 years ago
- 48af2a9 Add experimental logic in GRExprEngine::EvalEagerlyAssume() to handle by Ted Kremenek · 16 years ago
- 6c4becb retain/release checker: Implement basic tracking of autorelease stack. Next thing is to wire up pools with their contents. by Ted Kremenek · 16 years ago
- 6431a26 Fix broken logic from my last commit. Branches only occur at basic blocks that end with terminators. by Ted Kremenek · 16 years ago
- 4094b34 Fix diagnostic regression where the leak diagnostic could appear earlier in the path than the branches taken. by Ted Kremenek · 16 years ago
- 4d3957d retain/release checker: by Ted Kremenek · 16 years ago
- 265a305 Fix <rdar://problem/6611677>: Add basic transfer function support in the static by Ted Kremenek · 16 years ago
- b479dad Tidy up 'ExecutionContinues' to distinguish between jumping to the end of a 'method' or 'funciton'. by Ted Kremenek · 16 years ago
- b697b10 Tidy up the path diagnostic generation logic in BugReporter and remove a case where an "Execution continues..." diagnostic could result in an empty message bubble. by Ted Kremenek · 16 years ago
- f9a8e2e Add more boilerplate logic to more accurately reason about autorelease pools. by Ted Kremenek · 16 years ago
- 4634735 Fix 80 col. violations. by Ted Kremenek · 16 years ago
- 6ad315a Per Chris L.'s suggestion, use getAsFunctionType() instead of getDesguaredType(). Constify some pointers along the way. by Ted Kremenek · 16 years ago
- 89e202d retain/release checker: For now don't track the retain count of NSWindow objects (opt for false negatives). by Ted Kremenek · 16 years ago
- 4e83501 Remove typo. by Ted Kremenek · 16 years ago
- 022a3c4 '[NSAutoreleasePool addObject:]' has an 'autorelease' effect, not a DoNothing effect. by Ted Kremenek · 16 years ago
- 61d2e4a Fix regression in naming convention derivation: a method only follows the copy 'rule' if it doesn't already start with 'init', etc. by Ted Kremenek · 16 years ago
- 39868cd Use llvm::StringsEqualNoCase instead of strncasecmp. by Ted Kremenek · 16 years ago
- 61490e9 Fix build on windows. by Cedric Venet · 16 years ago
- b80976c Improved naming convention heuristics in the retain/release checker to better by Ted Kremenek · 16 years ago
- df96929 Greatly simplify the logic in ExplodedGraphImpl::TrimGraph. Now we just do a by Ted Kremenek · 16 years ago
- 779747c Add an example in comments. by Zhongxing Xu · 16 years ago
- c3cf7b2 Fix crash from <rdar://problem/6562655>: 'init' method only return a receiver alias if the return type is a location. by Ted Kremenek · 16 years ago
- 33b6f63 retain/release checker: Generate an intermediate simulation node for "leak" by Ted Kremenek · 16 years ago
- 58e899b Added a new method to GRStmtNodeBuilder to build nodes using an arbitrary by Ted Kremenek · 16 years ago
- b1dbf15 retain/release checker: Fix crasher when the leak site is the same expression that allocates an object. by Ted Kremenek · 16 years ago
- d8895f6 only track integer and pointer values for now. by Zhongxing Xu · 16 years ago
- 5ea2ffc Convert the offset to signed before making an ElementRegion with it. It seems by Zhongxing Xu · 16 years ago
- 21fe837 Implemented simple check in <rdar://problem/6600344>: When the receiver of a by Ted Kremenek · 16 years ago
- d559792 retain/release checker: Place the leak diagnostic after the last statement that by Ted Kremenek · 16 years ago
- 81f14a0 Remove unused variable. by Ted Kremenek · 16 years ago
- 572b278 Remove logic for computing 'display hint'. by Ted Kremenek · 16 years ago
- bb8c5aa More fun with retain checker diagnostics: by Ted Kremenek · 16 years ago
- 1f62ef3 Fix diagnostics bugs when computing ranges for the retain/release checker. by Ted Kremenek · 16 years ago
- 2701900 retain/release checker: We now emit fancy diagnostics telling users about the by Ted Kremenek · 16 years ago
- 1c512f5 retain/release checker: Distinguish in the function summaries between by Ted Kremenek · 16 years ago
- e53f820 Revise comment. Comparing pointer values in 'Range' wasn't the performance issue I thought it was, but it is still worth ordering Range objects by their APSInt values. by Ted Kremenek · 16 years ago
- b103f01 Fix performance bug in RangeConstraintManager (that I introduced): by Ted Kremenek · 16 years ago
- fe9e543 Hooked up the necessary machinery to allow the retain/release checker reference by Ted Kremenek · 16 years ago
- f5b34b1 retain/release checker: Record the summary used to generate a given node. by Ted Kremenek · 16 years ago
- 40bbff0 Add panic function. by Ted Kremenek · 16 years ago
- 9beefec Revised RangeConstraintManager based on several discussions with Ben Laurie and by Ted Kremenek · 16 years ago
- 29ba6b4 Add '_assert' to list of known panic functions. by Ted Kremenek · 16 years ago
- 488d4b7 add some files to fix the cmake build, patch by Piotr Rak! by Chris Lattner · 16 years ago
- dd28d00 Add pretty-printing (for GraphViz) support for RangeConstraintManager. by Ted Kremenek · 16 years ago
- 53a61f4 Do not register 'RangeConstraintManager' as the default ConstraintManager. by Ted Kremenek · 16 years ago
- 669c0e1 Remove accidental duplication of content in .h file. by Ted Kremenek · 16 years ago
- 3c385e5 Add hook to add attributes to function declarations that we know by Douglas Gregor · 17 years ago
- 4502195 Patch by Ben Laurie: by Ted Kremenek · 17 years ago
- a3d1eb8 GRExprEngine: Handle empty statement expressions. by Ted Kremenek · 17 years ago
- 5216ad7 Added GRStateManager::scanReachableSymbols(), a method which scans the reachable by Ted Kremenek · 17 years ago
- 5b8d901 Use GRTransferFuncs::EvalBind when processing variable initializations. by Ted Kremenek · 17 years ago
- 41573eb Static analyzer: by Ted Kremenek · 17 years ago
- 3e41d60 Implicitly declare certain C library functions (malloc, strcpy, memmove, by Douglas Gregor · 17 years ago
- a8538d9 GRExprEngine: by Ted Kremenek · 17 years ago
- 389bf46 Several cleanups: by Steve Naroff · 17 years ago
- 8cb6fb3 Per PR 3187, disable the missing -dealloc check for classes that subclass SenTestCase. by Ted Kremenek · 17 years ago
- 297308e BugReporter: Use llvm::raw_string_stream instead of std::ostringstream. by Ted Kremenek · 17 years ago