struct StoreInfo

Declaration

struct StoreInfo { /* full declaration omitted */ };

Description

Describes an event when the value got stored into a memory region. As opposed to checker checkBind API, it reacts also to binds generated by the checker as well. It can be useful when the binding happened as a result of evalCall, for example.

Declared at: clang/include/clang/StaticAnalyzer/Core/BugReporter/BugReporterVisitors.h:120

Member Variables

public clang::ento::bugreporter::StoreInfo::Kind StoreKind

The type of store operation.

public const clang::ento::ExplodedNode* StoreSite

The node where the store happened.

public const clang::Expr* SourceOfTheValue

The expression where the value comes from. NOTE: might be null.

public clang::ento::SVal Value

Symbolic value that is being stored.

public const clang::ento::MemRegion* Dest

Memory regions involved in the store operation. Dest < - Origin NOTE: Origin might be null, when the stored value doesn't come from another region.

public const clang::ento::MemRegion* Origin

Memory regions involved in the store operation. Dest < - Origin NOTE: Origin might be null, when the stored value doesn't come from another region.