contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/AllocationState.h

   1 //===--- AllocationState.h ------------------------------------- *- C++ -*-===//
   2 //
   3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
   4 // See https://llvm.org/LICENSE.txt for license information.
   5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
   6 //
   7 //===----------------------------------------------------------------------===//
   8
   9 #ifndef LLVM_CLANG_LIB_STATICANALYZER_CHECKERS_ALLOCATIONSTATE_H
  10 #define LLVM_CLANG_LIB_STATICANALYZER_CHECKERS_ALLOCATIONSTATE_H
  11
  12 #include "clang/StaticAnalyzer/Core/BugReporter/BugReporterVisitors.h"
  13 #include "clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h"
  14
  15 namespace clang {
  16 namespace ento {
  17
  18 namespace allocation_state {
  19
  20 ProgramStateRef markReleased(ProgramStateRef State, SymbolRef Sym,
  21                              const Expr *Origin);
  22
  23 /// This function provides an additional visitor that augments the bug report
  24 /// with information relevant to memory errors caused by the misuse of
  25 /// AF_InnerBuffer symbols.
  26 std::unique_ptr<BugReporterVisitor> getInnerPointerBRVisitor(SymbolRef Sym);
  27
  28 /// 'Sym' represents a pointer to the inner buffer of a container object.
  29 /// This function looks up the memory region of that object in
  30 /// DanglingInternalBufferChecker's program state map.
  31 const MemRegion *getContainerObjRegion(ProgramStateRef State, SymbolRef Sym);
  32
  33 } // end namespace allocation_state
  34
  35 } // end namespace ento
  36 } // end namespace clang
  37
  38 #endif