aboutsummaryrefslogtreecommitdiff
path: root/include/clang/Analysis/PathSensitive
AgeCommit message (Expand)Author
2008-11-16Enhances SCA to process untyped region to typed region conversion.Zhongxing Xu
2008-11-15Add isUnsigned option.Zhongxing Xu
2008-11-15Implement FIXME in GRExprEngine::VisitUnaryOperator() to handle implicit conv...Ted Kremenek
2008-11-14Add handy method.Zhongxing Xu
2008-11-14Second attempt at implementation transfer function support for ObjCForCollect...Ted Kremenek
2008-11-13- Revert r59229 and r59232: AllocRegion should be immutable.Ted Kremenek
2008-11-13Change AllocaRegion to subclass TypedRegion. We need to know ElementRegion'sZhongxing Xu
2008-11-12Add (preliminary) transfer function support for ObjCForCollectionStmt. Still...Ted Kremenek
2008-11-12Conjured symbols now bind to Stmt* instead of Expr*.Ted Kremenek
2008-11-12GRStateRef:Ted Kremenek
2008-11-12StoreManager::BindDecl now takes an SVal* for the initialization value instea...Ted Kremenek
2008-11-11Introduce a single AST node SizeOfAlignOfExpr for all sizeof and alignof expr...Sebastian Redl
2008-11-10Add pretty printing to StringRegion.Zhongxing Xu
2008-11-08Add a boilerplate for out-of-bound array checking. This has no real function ...Zhongxing Xu
2008-11-07Add simple get method.Zhongxing Xu
2008-11-07Join two lines.Zhongxing Xu
2008-11-07Finish the implementation of VisitCompoundLiteralExpr. As VisitInitListExpr is Zhongxing Xu
2008-11-06Bring back RegionExtent classes.Zhongxing Xu
2008-11-03- Remove AnonTypedRegion, which is not to be used.Zhongxing Xu
2008-11-02Added AllocaRegion, which represents regions created by calls to alloca().Ted Kremenek
2008-10-31Make CompoundLiteralRegion a subclass of TypedRegiion.Zhongxing Xu
2008-10-31Add accessor method to CompoundLiteralRegion to retrieve the CompoundLiteralE...Ted Kremenek
2008-10-30Pretty-printing for SVals now mainly uses llvm::raw_ostream. We have an adap...Ted Kremenek
2008-10-30Added iterators to nonloc::CompoundSVal.Ted Kremenek
2008-10-30Update #includes since SVals.h no longer includes BasicValueFactory.h.Ted Kremenek
2008-10-30CompoundVal now uses an ImmutableList<SVal> to store its set of SVals. This ...Ted Kremenek
2008-10-30Rename:Zhongxing Xu
2008-10-30Implement VisitInitListExpr(). InitListExpr will have a nonloc::CompoundVal v...Zhongxing Xu
2008-10-30Add CompoundVal and CompoundValData for representing the value of InitListExpr.Zhongxing Xu
2008-10-29Rename: AddDecl => BindDeclZhongxing Xu
2008-10-29MemSpaceRegions could be uninitialized. We only require R is a real region.Zhongxing Xu
2008-10-28Add isGlobalsRegion() predicate to MemRegionManager.Zhongxing Xu
2008-10-28Improve our handling of (C++) references within Clang. Specifically:Douglas Gregor
2008-10-27- Fix type-punning warning in SVals.cpp by using a real iterator class for sy...Ted Kremenek
2008-10-27Added preliminary support for CompoundLiterals in the static analyzer:Ted Kremenek
2008-10-27Pull determination of the super region for a VarRegion into a single getVarRe...Ted Kremenek
2008-10-27Added CompoundLiteralRegion to represent the (temporary) memory allocated for...Ted Kremenek
2008-10-27Use ASTContext::getCanonicalType() to get TypedRegion's type.Zhongxing Xu
2008-10-27An ElementRegion is really a typed region. Its super region's type has to be ...Zhongxing Xu
2008-10-26Remove loc::StringLiteralVal. Now we allocate regions for string literals in ...Zhongxing Xu
2008-10-25Add code for get the lvalue for string literals. Now we return a StringRegionZhongxing Xu
2008-10-25Add StringRegion to MemRegions.Zhongxing Xu
2008-10-24Added method "getSelfRegion" to Store. This method returns the region associ...Ted Kremenek
2008-10-24Added region ObjCObjectRegion that represents an instance of an Objective-C o...Ted Kremenek
2008-10-24The Decl of an array region can be VarDecl or FieldDecl. Handle this in Regio...Zhongxing Xu
2008-10-24Add printing method to ElementRegion.Zhongxing Xu
2008-10-24Add printing with llvm::raw_ostream methods to SVals.Zhongxing Xu
2008-10-24Make the analyzer store (memory model) a command line option.Ted Kremenek
2008-10-23Let StoreManager do different cast on arrays. BasicStore will just keep it in...Zhongxing Xu
2008-10-23Added a method to ElementRegion.Zhongxing Xu
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-08-09 15:57:00 +0000