aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis
AgeCommit message (Expand)Author
2009-06-26Introduce a new concept to the static analyzer: SValuator.Ted Kremenek
2009-06-25Remove declaration for unused and unimplemented static method.Ted Kremenek
2009-06-25remove RegionKills GDM. Now UnknownVal is bound to regions explicitly.Zhongxing Xu
2009-06-25Move element region retrieving logic into a separate function.Zhongxing Xu
2009-06-25Move all logic for retrieving ElementRegion binding into a separate method.Zhongxing Xu
2009-06-24Remove uses of std::ostream from libAnalysis.Ted Kremenek
2009-06-24Remove GRStateManager::GetSValAsScalarOrLoc()/GetSVal().Ted Kremenek
2009-06-24Update for LLVM API changes.Owen Anderson
2009-06-24use a concrete type instead of a trait type to make code more readable.Zhongxing Xu
2009-06-24RegionStore: revert to the default value approach for array initialization.Zhongxing Xu
2009-06-23Remove GRStateManager::getRegion/getSelfRegion().Ted Kremenek
2009-06-23Remove GRStateManager::BindLoc() and GRStateManager::Unbind().Ted Kremenek
2009-06-23Remove GRStateManager::BindDecl() and GRStateManager::BindDeclWithInit().Ted Kremenek
2009-06-23- Add MemRegion::getMemorySpace()Ted Kremenek
2009-06-23Move 'hasStackStorage()' and 'hasHeapStorage()' from MemRegionManager to MemR...Ted Kremenek
2009-06-23API cleanup: move more methods from GRStateManager to GRState.Ted Kremenek
2009-06-23Update CMake file.Ted Kremenek
2009-06-23Move all factory methods from SVal to ValueManager. API cleanup!Zhongxing Xu
2009-06-23Split ValueManager method definitions into its own source file.Zhongxing Xu
2009-06-23ValueManager::makeNonLoc -> ValueManager::makeIntValZhongxing Xu
2009-06-23If the init list is fewer than the struct fields, bind the rest fields to 0Zhongxing Xu
2009-06-23Instead of setting the default value of the array region, bind the rest of theZhongxing Xu
2009-06-23MemRegionManager: Migrate logic for getCodeTextRegion() over to using Zhongxing Xu
2009-06-23Remove duplicated methods.Zhongxing Xu
2009-06-23add a fixme.Zhongxing Xu
2009-06-23MemRegions:Ted Kremenek
2009-06-23MemRegionManager: Migrate logic for getAllocaRegion() over to using trait-bas...Ted Kremenek
2009-06-23MemRegionManager: Migrate getObjCObjectRegion() and getTypedViewRegion() to useTed Kremenek
2009-06-22Migrate factory methods for FieldRegion and ObjCIVarRegion creation to use theTed Kremenek
2009-06-22Refactor some of the logic in MemRegionManager for constructing regions usingTed Kremenek
2009-06-22Allow CodeTextRegion to be cast to 'void *'.Zhongxing Xu
2009-06-21Return UnknownVal for pointer arithmetic on struct fields.Zhongxing Xu
2009-06-19Remove more GetSVal/GetLValue methods in GRExprEngine/GRState, insteadTed Kremenek
2009-06-19A further step of r73690: associate the cast-to type with the created symbol,Zhongxing Xu
2009-06-19If the SymbolicRegion was cast to another type, use that type to create the Zhongxing Xu
2009-06-18Move clients over from using GRStateManager::BindXXX and friends toTed Kremenek
2009-06-18Remove GRStateManager& field from SimpleConstraintManager.Ted Kremenek
2009-06-18libAnalysis:Ted Kremenek
2009-06-18Move the static DeclAttrs map into ASTContext. Fixes <rdar://problem/6983177>.Douglas Gregor
2009-06-18When casting region, if we do not create an element region, record the cast-to Zhongxing Xu
2009-06-18Remove GRStateRef.Ted Kremenek
2009-06-18Remove more dependencies on GRStateRef. As a consequence, we can nowTed Kremenek
2009-06-18Remove another dependency on GRStateRef.Ted Kremenek
2009-06-17First step toward fixing <rdar://problem/6613046> refactor clang objc type re...Steve Naroff
2009-06-17Remove more uses of GRStateRef.Ted Kremenek
2009-06-17Start moving in the direction of removing GRStateRef. Now eachTed Kremenek
2009-06-16RegionStoreManager:Ted Kremenek
2009-06-16Use canonical type for building ElementRegion. Otherwise ElementRegions cannotZhongxing Xu
2009-06-16Do not invalidate unboundable regions in GRSimpleVals::EvalCall().Zhongxing Xu
2009-06-15Fix: <rdar://problem/6945561> -[CIContext createCGLayerWithSize:info:] misint...Ted Kremenek
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2025-09-02 12:22:55 +0000