UnixAPIChecker.cpp File Reference

#include "clang/StaticAnalyzer/Checkers/BuiltinCheckerRegistration.h"
#include "clang/Basic/TargetInfo.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/CheckerContext.h"
#include "llvm/ADT/Optional.h"
#include "llvm/ADT/STLExtras.h"
#include "llvm/ADT/SmallString.h"
#include "llvm/Support/raw_ostream.h"

Include dependency graph for UnixAPIChecker.cpp:

Go to the source code of this file.

Macros
#define	REGISTER_CHECKER(CHECKERNAME)

Enumerations
enum	OpenVariant { OpenVariant::Open, OpenVariant::OpenAt }

Functions
static void	LazyInitialize (const CheckerBase *Checker, std::unique_ptr< BugType > &BT, const char *name)
static bool	IsZeroByteAllocation (ProgramStateRef state, const SVal argVal, ProgramStateRef *trueState, ProgramStateRef *falseState)

Macro Definition Documentation

REGISTER_CHECKER

#define REGISTER_CHECKER

(

CHECKERNAME

)

Value:

void ento::register##CHECKERNAME(CheckerManager &mgr) {                      \
    mgr.registerChecker<CHECKERNAME>();                                        \
  }                                                                            \
                                                                               \
  bool ento::shouldRegister##CHECKERNAME(const LangOptions &LO) {              \
    return true;                                                               \
  }

Definition at line 499 of file UnixAPIChecker.cpp.

Enumeration Type Documentation

OpenVariant

enum OpenVariant

strong

Enumerator
Open	The standard open() call: int open(const char *path, int oflag, ...);.
OpenAt	The variant taking a directory file descriptor and a relative path: int openat(int fd, const char *path, int oflag, ...);.

Definition at line 28 of file UnixAPIChecker.cpp.

Function Documentation

IsZeroByteAllocation()

static bool IsZeroByteAllocation ( ProgramStateRef  state, const SVal  argVal, ProgramStateRef *  trueState, ProgramStateRef *  falseState  )

static

Definition at line 322 of file UnixAPIChecker.cpp.

References LazyInitialize().

LazyInitialize()

static void LazyInitialize ( const CheckerBase *  Checker, std::unique_ptr< BugType > &  BT, const char *  name  )

static

Definition at line 91 of file UnixAPIChecker.cpp.

References clang::XRayInstrKind::Function, clang::CallExpr::getArg(), clang::DeclContext::getEnclosingNamespaceContext(), clang::Decl::getKind(), clang::CallExpr::getNumArgs(), clang::Stmt::getSourceRange(), clang::Expr::getType(), clang::Type::isIntegerType(), Open, OpenAt, clang::ento::OS, clang::CodeGen::state, State, and clang::ento::categories::UnixAPI.

Referenced by IsZeroByteAllocation().