A RetroSearch Logo

Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Search Query:

Showing content from https://clang.llvm.org/doxygen/FuchsiaHandleChecker_8cpp.html below:

clang: lib/StaticAnalyzer/Checkers/FuchsiaHandleChecker.cpp File Reference

#include "clang/AST/Attr.h"
#include "clang/AST/Decl.h"
#include "clang/AST/Type.h"
#include "clang/StaticAnalyzer/Checkers/BuiltinCheckerRegistration.h"
#include "clang/StaticAnalyzer/Core/BugReporter/BugType.h"
#include "clang/StaticAnalyzer/Core/Checker.h"
#include "clang/StaticAnalyzer/Core/CheckerManager.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/SymExpr.h"
#include "llvm/ADT/StringExtras.h"
#include <optional>

Go to the source code of this file.

Macros #define  CASE(ID)   Functions static const ExplodedNode *  getAcquireSite (const ExplodedNode *N, SymbolRef Sym, CheckerContext &Ctx)   static SmallVector< SymbolRef, 1024 >  getFuchsiaHandleSymbols (QualType QT, SVal Arg, ProgramStateRef State)   Returns the symbols extracted from the argument or empty vector if it cannot be found.
  Macro Definition Documentation ◆ CASE #define CASE (   ID ) Value:

case ID: \

OS << #ID; \

break;

Function Documentation ◆ getAcquireSite() static const ExplodedNode * getAcquireSite ( const ExplodedNode *  N, SymbolRef  Sym, CheckerContext &  Ctx  ) static

Definition at line 233 of file FuchsiaHandleChecker.cpp.

References clang::ento::ExplodedNode::getFirstPred(), and clang::ento::ExplodedNode::getState().

◆ getFuchsiaHandleSymbols() static SmallVector< SymbolRef, 1024 > getFuchsiaHandleSymbols ( QualType  QT, SVal  Arg, ProgramStateRef  State  ) static

Returns the symbols extracted from the argument or empty vector if it cannot be found.

It is unlikely to have over 1024 symbols in one argument.

Definition at line 275 of file FuchsiaHandleChecker.cpp.

References clang::Type::getAs(), clang::ento::SVal::getAs(), clang::ento::SVal::getAsSymbol(), clang::Type::getPointeeType(), clang::Type::isAnyPointerType(), clang::Type::isReferenceType(), and clang::Type::isStructureType().

RetroSearch is an open source project built by @garambo | Open a GitHub Issue

Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo

HTML: 3.2 | Encoding: UTF-8 | Version: 0.7.4