aboutsummaryrefslogtreecommitdiff
path: root/include/clang/Analysis/PathSensitive
AgeCommit message (Expand)Author
2009-06-30add utility method.Zhongxing Xu
2009-06-30add utility methods.Zhongxing Xu
2009-06-29The default answer for isBoundable() should be false.Zhongxing Xu
2009-06-27Remove the last 'GetXXX' methods from GRStateManager.Ted Kremenek
2009-06-26Add missing header file.Ted Kremenek
2009-06-26Introduce a new concept to the static analyzer: SValuator.Ted Kremenek
2009-06-24Remove uses of std::ostream from libAnalysis.Ted Kremenek
2009-06-24Remove GRStateManager::GetSValAsScalarOrLoc()/GetSVal().Ted Kremenek
2009-06-23Fix build.Ted Kremenek
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-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-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-23MemRegions:Ted Kremenek
2009-06-23MemRegionManager: Migrate logic for getAllocaRegion() over to using trait-bas...Ted 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-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-18Move clients over from using GRStateManager::BindXXX and friends toTed Kremenek
2009-06-18libAnalysis:Ted Kremenek
2009-06-18When casting region, if we do not create an element region, record the cast-to Zhongxing Xu
2009-06-18More GRStateRef removal fix.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-17Remove more uses of GRStateRef.Ted Kremenek
2009-06-17Class 'Environment' no longer should subclass llvm::FoldingSetNode.Ted Kremenek
2009-06-17Start moving in the direction of removing GRStateRef. Now eachTed Kremenek
2009-06-16Add utility method GRStateRef::makeWithStore().Ted Kremenek
2009-06-16RegionStoreManager:Ted Kremenek
2009-06-16Use canonical type for building ElementRegion. Otherwise ElementRegions cannotZhongxing Xu
2009-05-20* API change: we need to pass GRState to GRExprEngine::EvalBinOp() becauseZhongxing Xu
2009-05-13Add ExplodedNode utility methods 'getLocationAs()' and 'getFirstPred()'Ted Kremenek
2009-05-12Add logic for invalidating array region to CFRefCount.cpp. When invalidatingZhongxing Xu
2009-05-09Rename:Zhongxing Xu
2009-05-09As discussed with Ted, rename TypedRegion::getObjectType() to Zhongxing Xu
2009-05-09Fix lurking bug in one of the versions ofTed Kremenek
2009-05-09rename: MemRegion:Zhongxing Xu
2009-05-08Make BlockEntrace program points taggable.Ted Kremenek
2009-05-08Fix typo in method name.Ted Kremenek
2009-05-07Add preliminary support for enhancing null-pointer dereference diagnostics.Ted Kremenek
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-08-05 12:12:53 +0000