- af3e3d5 Teach PathDiagnosticBuilder::getEnclosingStmtLocation() about while/if/do/for, by Ted Kremenek · 16 years ago
- ab3a852 Change compound assignment operators to keep track of both the promoted by Eli Friedman · 16 years ago
- d8c938b BugReporter: For control-flow edges from 'if', 'for', 'do', 'while' to by Ted Kremenek · 16 years ago
- 00605e0 BugReporter: PathDiagnosticBuilder::ExecutionContinues now returns a by Ted Kremenek · 16 years ago
- 73b6a44 remove dead code. by Zhongxing Xu · 16 years ago
- babdd7b BugReporter: by Ted Kremenek · 16 years ago
- 6fa9c38 remove the updated notes. by Zhongxing Xu · 16 years ago
- 6f00204 - Add class PathDiagosticLocationPair. by Ted Kremenek · 16 years ago
- becf888 Implement PathDiagnosticLocation::asRange() and PathDiagnosticLocation::asStmt(). by Ted Kremenek · 16 years ago
- b773702 Add comment. by Ted Kremenek · 16 years ago
- a546500 Restructure code to silence bogus GCC warning. by Ted Kremenek · 16 years ago
- 97b4003 - Implement PathDiagnosticLocation::asLocation. by Ted Kremenek · 16 years ago
- 1f9bd0f PathDiagnostics (analyzer): by Ted Kremenek · 16 years ago
- 8430456 Move "regions" analyzer design document to 'docs'. by Ted Kremenek · 16 years ago
- 4b8f99b Simplify some code. No functionality change. by Zhongxing Xu · 16 years ago
- 7fddc33 Check in some design documents to centralize ideas around region store and the by Zhongxing Xu · 16 years ago
- e0e4ebf analyzer infrastructure: make a bunch of changes to symbolic expressions that by Ted Kremenek · 16 years ago
- a129eb9 This patch adds two more SymbolData subclasses: SymIntExpr and SymSymExpr, for by Zhongxing Xu · 16 years ago
- 68ac94a analyzer: Provide temporary workaround for false positive reported by by Ted Kremenek · 16 years ago
- 693de5d analyzer: Fix embarrassing regression in BasicStore when invalidating struct by Ted Kremenek · 16 years ago
- bb9b271 GRExprEngine: by Ted Kremenek · 16 years ago
- 7037ab8 retain/release checker: Tracking autorelease counts for objects. We're still not by Ted Kremenek · 16 years ago
- 7237459 Fix PR 3836 by eagerly assuming symbolic constraints returned by unary '!'. by Ted Kremenek · 16 years ago
- ec099f1 Fix crash reported in <rdar://problem/6695527>. We now have by Ted Kremenek · 16 years ago
- c2fdb07 Use a work list to recursively build up the subregion mapping, and mark live by Zhongxing Xu · 16 years ago
- 6199190 Stub out some code for support for NSDeallocateObject. This is enabled yet until by Ted Kremenek · 16 years ago
- f95e9fc retain/release checker: Add support for reasoning about -dealloc. by Ted Kremenek · 16 years ago
- a393e9e Build system changes to use TableGen to generate the various by Douglas Gregor · 16 years ago
- 8be2a67 Fix PR 3677 [retain checker]: custom 'allocWithZone' methods should be allowed by Ted Kremenek · 16 years ago
- 6ae8a36 Add a hack in the analyzer to recover some path-sensitivity at branch by Ted Kremenek · 16 years ago
- 1060a3c Updated comment. by Ted Kremenek · 16 years ago
- 610e81d Fix failure reported by Sebastian of test/Analysis/ptr-arith.c when the target by Ted Kremenek · 16 years ago
- 10aa554 Use the correct data structures! by Ted Kremenek · 16 years ago
- 082cb8d PathDiagnostics: by Ted Kremenek · 16 years ago
- 9d8d0fc Add comments. by Zhongxing Xu · 16 years ago
- b13ecdb Use getAsRecordType() to get around sugar types. by Zhongxing Xu · 16 years ago
- d3ad531 Remove '[naming convention]' from bug type. by Ted Kremenek · 16 years ago
- b2dea73 Add TypedViewRegion::isBoundable() to indicate whether or not the by Ted Kremenek · 16 years ago
- c45a825 Do not stipulate the record type is a definition in BindStruct(). by Zhongxing Xu · 16 years ago
- 2b1dc17 Fix crash when LHS of pointer arithmetic is not ElementRegion. by Zhongxing Xu · 16 years ago
- ac6ff48 RegionStore::getLValueElement: Handle the case where the signedness of the by Ted Kremenek · 16 years ago
- 21028dd GRExprEngine::ProcessBranch: Don't register a "pretty-stack printer" when the Condition is null. by Ted Kremenek · 16 years ago
- fa6228d Fix PR 3780: In one code path in BasicValueFactory::getValue() we would not by Ted Kremenek · 16 years ago
- 0bed8a1 GRExprEngine: Add pretty-stack trace printing for crashes and assertion failures. by Ted Kremenek · 16 years ago
- 7de20fe SimpleConstraintManager doesn't reason about bitwise-constraints on symbolic by Ted Kremenek · 16 years ago
- 276c6ac GRExprEngine: For places we might conjure up a new symbol to recover by Ted Kremenek · 16 years ago
- 66b5271 Added method "canReasonAbout" to ConstraintManager. This method returns true if by Ted Kremenek · 16 years ago
- 940abcc Use the BugReports in BugReporter to determine the root nodes for "trim-egraph". by Ted Kremenek · 16 years ago
- 4a77edb Remove some now-unneeded calls to llvm::errs().flush(). by Daniel Dunbar · 16 years ago
- 0e5c8d4 BugReporter: by Ted Kremenek · 16 years ago
- 25d01ba retain/release checker: Allow allocations to fail by returning nil. by Ted Kremenek · 16 years ago
- de7ec63 RegionStore::getElementLValue(): Handle the case where the base is a null pointer. by Ted Kremenek · 16 years ago
- 214c6cb Teach GRSimpleVals::EvalNE and GRSimplVals::EvalEQ about TypedRegionViews and by Ted Kremenek · 16 years ago
- fda79d1 Remove some dead spacing. No functionality change. by Ted Kremenek · 16 years ago
- ff8d204 Only track integer and pointer values. by Zhongxing Xu · 16 years ago
- 1038f9f Now we do not retrieve untyped regions. by Zhongxing Xu · 16 years ago
- bd4f745 Fix a serious bug in RegionStore: we got the new state with new store from by Zhongxing Xu · 16 years ago
- 1fbfd5b Create PathDiagnosticPiece subclasses PathDiagnosticEventPiece and by Ted Kremenek · 16 years ago
- 4e06387 Start work on subclassing PathDiagnosticPiece to distinguish more between control-flow pieces, events, etc. by Ted Kremenek · 16 years ago
- 4850451 Fix regression: initialize 'size' for PathDiagnostic to 0. by Ted Kremenek · 16 years ago
- a127cca Like PathDiagnosticPieces, strip trailing periods at the end of PathDiagnostic descriptions by Ted Kremenek · 16 years ago
- 5c42f9b Fix another GRExprEngine::VisitCast regression: handle casts of void* to function pointers. by Ted Kremenek · 16 years ago
- bf0a4dd Minor tweak: Recognize 'CGCF' prefix in addition to 'CF' and 'CG'. by Ted Kremenek · 16 years ago
- c530291 Fix regression in GRExprEngine::VisitCast: Do not wrap symbolic function pointers with TypedViewRegions. by Ted Kremenek · 16 years ago
- f684d56 Retrofit some basic tracking of ivars (for the current object) into BasicStore. by Ted Kremenek · 16 years ago
- 39fc715 Minor code compaction. No functionality change. by Ted Kremenek · 16 years ago
- 2c8e788 Rename VarBindings -> Bindings. by Ted Kremenek · 16 years ago
- 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