#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h"#include "clang/Analysis/CFG.h"#include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h"#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramStateTrait.h"#include "clang/StaticAnalyzer/Core/PathSensitive/SubEngine.h"#include "clang/StaticAnalyzer/Core/PathSensitive/TaintManager.h"#include "llvm/Support/raw_ostream.h"
Include dependency graph for ProgramState.cpp:
Go to the source code of this file.
Namespaces | |
| namespace | clang |
| namespace | clang::ento |
Typedefs | |
| typedef ArrayRef< const MemRegion * > | RegionList |
| typedef ArrayRef< SVal > | ValueList |
Functions | |
| void | clang::ento::ProgramStateRetain (const ProgramState *state) |
| Increments the number of times this state is referenced. | |
| void | clang::ento::ProgramStateRelease (const ProgramState *state) |
| Decrement the number of times this state is referenced. | |
| REGISTER_TRAIT_WITH_PROGRAMSTATE (DynamicTypeMap, CLANG_ENTO_PROGRAMSTATE_MAP(const MemRegion *, DynamicTypeInfo)) DynamicTypeInfo ProgramState | |
Typedef Documentation
| typedef ArrayRef<const MemRegion *> RegionList |
Definition at line 135 of file ProgramState.cpp.
Definition at line 136 of file ProgramState.cpp.
Function Documentation
| REGISTER_TRAIT_WITH_PROGRAMSTATE | ( | DynamicTypeMap | , |
| CLANG_ENTO_PROGRAMSTATE_MAP(const MemRegion *,DynamicTypeInfo) | |||
| ) |
The GDM component containing the dynamic type info. This is a map from a symbol to its most likely type.
Definition at line 757 of file ProgramState.cpp.
References clang::ento::SymExpr::getType().