clang  8.0.0
AllocationState.h
Go to the documentation of this file.
1 //===--- AllocationState.h ------------------------------------- *- C++ -*-===//
2 //
3 // The LLVM Compiler Infrastructure
4 //
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
7 //
8 //===----------------------------------------------------------------------===//
9 
10 #ifndef LLVM_CLANG_LIB_STATICANALYZER_CHECKERS_ALLOCATIONSTATE_H
11 #define LLVM_CLANG_LIB_STATICANALYZER_CHECKERS_ALLOCATIONSTATE_H
12 
15 
16 namespace clang {
17 namespace ento {
18 
19 namespace allocation_state {
20 
22  const Expr *Origin);
23 
24 /// This function provides an additional visitor that augments the bug report
25 /// with information relevant to memory errors caused by the misuse of
26 /// AF_InnerBuffer symbols.
27 std::unique_ptr<BugReporterVisitor> getInnerPointerBRVisitor(SymbolRef Sym);
28 
29 /// 'Sym' represents a pointer to the inner buffer of a container object.
30 /// This function looks up the memory region of that object in
31 /// DanglingInternalBufferChecker's program state map.
33 
34 } // end namespace allocation_state
35 
36 } // end namespace ento
37 } // end namespace clang
38 
39 #endif
MemRegion - The root abstract class for all memory regions.
Definition: MemRegion.h:95
const MemRegion * getContainerObjRegion(ProgramStateRef State, SymbolRef Sym)
&#39;Sym&#39; represents a pointer to the inner buffer of a container object.
Symbolic value.
Definition: SymExpr.h:30
LineState State
std::unique_ptr< BugReporterVisitor > getInnerPointerBRVisitor(SymbolRef Sym)
This function provides an additional visitor that augments the bug report with information relevant t...
This represents one expression.
Definition: Expr.h:106
Dataflow Directional Tag Classes.
ProgramStateRef markReleased(ProgramStateRef State, SymbolRef Sym, const Expr *Origin)