clang
6.0.0
|
#include "clang/StaticAnalyzer/Core/BugReporter/PathDiagnostic.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramStateTrait.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/TaintTag.h"
#include "llvm/ADT/ImmutableMap.h"
Go to the source code of this file.
Classes | |
struct | clang::ento::TaintMap |
The GDM component containing the tainted root symbols. More... | |
struct | clang::ento::ProgramStateTrait< TaintMap > |
struct | clang::ento::DerivedSymTaint |
The GDM component mapping derived symbols' parent symbols to their underlying regions. More... | |
struct | clang::ento::ProgramStateTrait< DerivedSymTaint > |
class | clang::ento::TaintManager |
Namespaces | |
clang | |
Dataflow Directional Tag Classes. | |
clang::ento | |
Typedefs | |
typedef llvm::ImmutableMap< SymbolRef, TaintTagType > | clang::ento::TaintMapImpl |
typedef llvm::ImmutableMap< SymbolRef, TaintedSubRegions > | clang::ento::DerivedSymTaintImpl |