UseAfterLifetimeEnd.cpp File Reference

#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 ProgramStateRef	bindValues (ProgramStateRef State, SVal RetVal, const MemRegion *Source)
static bool	hasDanglingSource (const MemRegion *Source, ProgramStateRef State, CheckerContext &C)

Function Documentation

bindValues()

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

static

Definition at line 34 of file UseAfterLifetimeEnd.cpp.

References clang::Set.

hasDanglingSource()

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

static

Definition at line 78 of file UseAfterLifetimeEnd.cpp.

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