LifetimeModeling.cpp File Reference

#include "LifetimeModeling.h"
#include "clang/AST/Attr.h"
#include "clang/Analysis/Analyses/LifetimeSafety/LifetimeAnnotations.h"
#include "clang/StaticAnalyzer/Checkers/BuiltinCheckerRegistration.h"
#include "clang/StaticAnalyzer/Core/Checker.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CallDescription.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
#include "llvm/Support/raw_ostream.h"

Go to the source code of this file.

Functions
static bool	isDanglingStackSource (const MemRegion *Source, ProgramStateRef State, CheckerContext &C)
static ProgramStateRef	bindSource (ProgramStateRef State, SVal RetVal, const MemRegion *Source)

Function Documentation

bindSource()

ProgramStateRef bindSource ( ProgramStateRef State, SVal RetVal, const MemRegion * Source )

static

Definition at line 58 of file LifetimeModeling.cpp.

References clang::Set.

isDanglingStackSource()

bool isDanglingStackSource ( const MemRegion * Source, ProgramStateRef State, CheckerContext & C )

static

Definition at line 29 of file LifetimeModeling.cpp.

References clang::C, and clang::StackFrame::isParentOf().

Referenced by clang::ento::lifetime_modeling::getDanglingRegionsAfterReturn().