clang
8.0.0
|
#include "clang/AST/Expr.h"
#include "clang/AST/Type.h"
#include "clang/Analysis/AnalysisDeclContext.h"
#include "clang/Basic/LLVM.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/StoreRef.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/SymExpr.h"
#include "llvm/ADT/DenseMap.h"
#include "llvm/ADT/DenseSet.h"
#include "llvm/ADT/FoldingSet.h"
#include "llvm/Support/Allocator.h"
#include <cassert>
Go to the source code of this file.
Classes | |
class | clang::ento::SymbolRegionValue |
A symbol representing the value stored at a MemRegion. More... | |
class | clang::ento::SymbolConjured |
A symbol representing the result of an expression in the case when we do not know anything about what the expression is. More... | |
class | clang::ento::SymbolDerived |
A symbol representing the value of a MemRegion whose parent region has symbolic value. More... | |
class | clang::ento::SymbolExtent |
SymbolExtent - Represents the extent (size in bytes) of a bounded region. More... | |
class | clang::ento::SymbolMetadata |
SymbolMetadata - Represents path-dependent metadata about a specific region. More... | |
class | clang::ento::SymbolCast |
Represents a cast expression. More... | |
class | clang::ento::BinarySymExpr |
Represents a symbolic expression involving a binary operator. More... | |
class | clang::ento::SymIntExpr |
Represents a symbolic expression like 'x' + 3. More... | |
class | clang::ento::IntSymExpr |
Represents a symbolic expression like 3 - 'x'. More... | |
class | clang::ento::SymSymExpr |
Represents a symbolic expression like 'x' + 'y'. More... | |
class | clang::ento::SymbolManager |
class | clang::ento::SymbolReaper |
A class responsible for cleaning up unused symbols. More... | |
class | clang::ento::SymbolVisitor |
Namespaces | |
clang | |
Dataflow Directional Tag Classes. | |
clang::ento | |