class EnvironmentManager

Declaration

class EnvironmentManager { /* full declaration omitted */ };

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/Environment.h:99

Member Variables

private clang::ento::EnvironmentManager::FactoryTy F

Method Overview

• public EnvironmentManager(llvm::BumpPtrAllocator & Allocator)
• public clang::ento::Environment bindExpr(clang::ento::Environment Env, const clang::ento::EnvironmentEntry & E, clang::ento::SVal V, bool Invalidate)
• public clang::ento::Environment getInitialEnvironment()
• public clang::ento::Environment removeDeadBindings(clang::ento::Environment Env, clang::ento::SymbolReaper & SymReaper, clang::ento::ProgramStateRef state)

Methods

¶EnvironmentManager(
    llvm::BumpPtrAllocator& Allocator)

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/Environment.h:106

Parameters

llvm::BumpPtrAllocator& Allocator

¶clang::ento::Environment bindExpr(
    clang::ento::Environment Env,
    const clang::ento::EnvironmentEntry& E,
    clang::ento::SVal V,
    bool Invalidate)

Description

Bind a symbolic value to the given environment entry.

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/Environment.h:113

Parameters

clang::ento::Environment Env

const clang::ento::EnvironmentEntry& E

clang::ento::SVal V

bool Invalidate

¶clang::ento::Environment getInitialEnvironment()

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/Environment.h:108

¶clang::ento::Environment removeDeadBindings(
    clang::ento::Environment Env,
    clang::ento::SymbolReaper& SymReaper,
    clang::ento::ProgramStateRef state)

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/Environment.h:116

Parameters

clang::ento::Environment Env

clang::ento::SymbolReaper& SymReaper

clang::ento::ProgramStateRef state