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().