aboutsummaryrefslogtreecommitdiff
path: root/include/clang/Analysis/PathSensitive
AgeCommit message (Expand)Author
2009-04-09analyzer: Introduce a new class, ValueManager, that serves as an aggregateTed Kremenek
2009-04-09stop using loc::SymbolVal and clean up code with new API.Zhongxing Xu
2009-04-09Add a new method because sometimes the type of the conjured symbol is not theZhongxing Xu
2009-04-09Create a symbolic region instead of a loc::SymbolVal. This is a continued stepZhongxing Xu
2009-04-08Enhance analyzer reasoning about sending messages to nil. A nil receiver ret...Ted Kremenek
2009-04-08New static analyzer check by Nikita Zhuk!Ted Kremenek
2009-04-03This is the first step to gradually remove the use of loc::SymbolVal. NowZhongxing Xu
2009-04-01Fix: <rdar://problem/6740387>. Sending nil to an object that returns a structTed Kremenek
2009-03-30Re-apply 68028. The code had drifted enough that the tests would fail withoutTed Kremenek
2009-03-30Revert 68028.Ted Kremenek
2009-03-30Remove dead code.Ted Kremenek
2009-03-30Add version of GRExprEngine::AddCheck that registered a GRSimpleAPICheck thatTed Kremenek
2009-03-30Make SymbolicRegion untyped.Zhongxing Xu
2009-03-30Implement a FIXME.Zhongxing Xu
2009-03-26analyzer infrastructure: make a bunch of changes to symbolic expressions thatTed Kremenek
2009-03-25This patch adds two more SymbolData subclasses: SymIntExpr and SymSymExpr, forZhongxing Xu
2009-03-23analyzer: Fix embarrassing regression in BasicStore when invalidating structTed Kremenek
2009-03-20GRExprEngine:Ted Kremenek
2009-03-20Allow profiling of "invalid" Symbols.Ted Kremenek
2009-03-13Fix typo.Ted Kremenek
2009-03-13Fix failure reported by Sebastian of test/Analysis/ptr-arith.c when the targetTed Kremenek
2009-03-12Fix crash when using TypedViewRegions and ObjCQualifiedIdTypes (TypedViewRegi...Ted Kremenek
2009-03-11Add TypedViewRegion::isBoundable() to indicate whether or not theTed Kremenek
2009-03-11The RValueType of a TypedViewRegion should be the pointee type.Zhongxing Xu
2009-03-11Add utility method to BasicValueFactory to convert an APSInt to one of a diff...Ted Kremenek
2009-03-11Add accessor method.Ted Kremenek
2009-03-11Add accessor method to return a GRStateManager's internal ConstraintManager.Ted Kremenek
2009-03-11Added method "canReasonAbout" to ConstraintManager. This method returns true ifTed Kremenek
2009-03-11Add some iterators to BugReporter.Ted Kremenek
2009-03-09Add member template "MemRegion::getAs<RegionType>" that dynamically casts aTed Kremenek
2009-03-05BasicStore:Ted Kremenek
2009-03-04MemRegion:Ted Kremenek
2009-03-04Add an optional "tag" to conjured symbols that allows us to distinguish betweenTed Kremenek
2009-03-04Added the notion of a "boundable region", which is a region that can have a d...Ted Kremenek
2009-03-04Add "GetSValAsScalarOrLoc" methods to GRState/GRStateRef that only perform aTed Kremenek
2009-03-03Rework use of loc::SymbolVal in the retain/release checker to use the new methodTed Kremenek
2009-03-03Don't use std::auto_ptr with getSubRegionMap().Ted Kremenek
2009-03-03Implement FIXME: GRStateManager::scanReachableSymbols now supports scanning M...Ted Kremenek
2009-03-03Add StoreManager::getSubRegionMap(). This method returns an opaque mapping f...Ted Kremenek
2009-03-02Initial support for pointer arithmetic. Only support concrete indexes and Zhongxing Xu
2009-03-01Rename AnonTypedRegion to TypedViewRegion.Ted Kremenek
2009-02-26Create a new TypeNodes.def file that enumerates all of the types,Douglas Gregor
2009-02-25Fix subtle bug in EvalEagerlyAssume: Check if the previous node was at the sa...Ted Kremenek
2009-02-25Add experimental logic in GRExprEngine::EvalEagerlyAssume() to handleTed Kremenek
2009-02-25Implement 'Add' method for GRStatePartialTrait<ImmutableList<T>>.Ted Kremenek
2009-02-19Added a new method to GRStmtNodeBuilder to build nodes using an arbitraryTed Kremenek
2009-02-19Implemented simple check in <rdar://problem/6600344>: When the receiver of aTed Kremenek
2009-02-18Hooked up the necessary machinery to allow the retain/release checker referenceTed Kremenek
2009-02-17BasicValueFactory: getMinValue/getMaxValue can be applied to any location typ...Ted Kremenek
2009-02-17BasicValueFactory: getMaxValue and getMinValue now also handle 'block' pointers.Ted Kremenek
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-08-05 12:01:08 +0000