#include "clang/AST/ASTContext.h"#include "clang/AST/CharUnits.h"#include "clang/AST/Decl.h"#include "clang/AST/ExprObjC.h"#include "clang/Basic/LLVM.h"#include "clang/StaticAnalyzer/Core/PathSensitive/SVals.h"#include "llvm/ADT/FoldingSet.h"#include "llvm/Support/Allocator.h"#include "llvm/Support/ErrorHandling.h"#include <string>
Include dependency graph for MemRegion.h:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Classes | |
| class | clang::ento::RegionOffset |
| Represent a region's offset within the top level base region. More... | |
| class | clang::ento::MemRegion |
| MemRegion - The root abstract class for all memory regions. More... | |
| class | clang::ento::MemSpaceRegion |
| class | clang::ento::GlobalsSpaceRegion |
| class | clang::ento::StaticGlobalSpaceRegion |
| The region of the static variables within the current CodeTextRegion scope. More... | |
| class | clang::ento::NonStaticGlobalSpaceRegion |
| The region for all the non-static global variables. More... | |
| class | clang::ento::GlobalSystemSpaceRegion |
| The region containing globals which are defined in system/external headers and are considered modifiable by system calls (ex: errno). More... | |
| class | clang::ento::GlobalImmutableSpaceRegion |
| The region containing globals which are considered not to be modified or point to data which could be modified as a result of a function call (system or internal). Ex: Const global scalars would be modeled as part of this region. This region also includes most system globals since they have low chance of being modified. More... | |
| class | clang::ento::GlobalInternalSpaceRegion |
| The region containing globals which can be modified by calls to "internally" defined functions - (for now just) functions other then system calls. More... | |
| class | clang::ento::HeapSpaceRegion |
| class | clang::ento::UnknownSpaceRegion |
| class | clang::ento::StackSpaceRegion |
| class | clang::ento::StackLocalsSpaceRegion |
| class | clang::ento::StackArgumentsSpaceRegion |
| class | clang::ento::SubRegion |
| class | clang::ento::AllocaRegion |
| class | clang::ento::TypedRegion |
| TypedRegion - An abstract class representing regions that are typed. More... | |
| class | clang::ento::TypedValueRegion |
| TypedValueRegion - An abstract class representing regions having a typed value. More... | |
| class | clang::ento::CodeTextRegion |
| class | clang::ento::FunctionTextRegion |
| FunctionTextRegion - A region that represents code texts of function. More... | |
| class | clang::ento::BlockTextRegion |
| class | clang::ento::BlockDataRegion |
| class | clang::ento::BlockDataRegion::referenced_vars_iterator |
| class | clang::ento::SymbolicRegion |
| class | clang::ento::StringRegion |
| StringRegion - Region associated with a StringLiteral. More... | |
| class | clang::ento::ObjCStringRegion |
| The region associated with an ObjCStringLiteral. More... | |
| class | clang::ento::CompoundLiteralRegion |
| class | clang::ento::DeclRegion |
| class | clang::ento::VarRegion |
| class | clang::ento::CXXThisRegion |
| class | clang::ento::FieldRegion |
| class | clang::ento::ObjCIvarRegion |
| class | clang::ento::RegionRawOffset |
| class | clang::ento::ElementRegion |
| ElementRegin is used to represent both array elements and casts. More... | |
| class | clang::ento::CXXTempObjectRegion |
| class | clang::ento::CXXBaseObjectRegion |
| class | clang::ento::MemRegionManager |
| class | clang::ento::RegionAndSymbolInvalidationTraits |
| Information about invalidation for a particular region/symbol. More... | |
Namespaces | |
| namespace | clang |
| namespace | clang::ento |
| namespace | llvm |
Functions | |
| static raw_ostream & | llvm::operator<< (raw_ostream &os, const clang::ento::MemRegion *R) |