UnixAPIChecker.cpp File Reference

#include "clang/Basic/TargetInfo.h"
#include "clang/StaticAnalyzer/Checkers/BuiltinCheckerRegistration.h"
#include "clang/StaticAnalyzer/Core/BugReporter/BugType.h"
#include "clang/StaticAnalyzer/Core/BugReporter/CommonBugCategories.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/CheckerHelpers.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/DynamicExtent.h"
#include "llvm/ADT/STLExtras.h"
#include "llvm/ADT/StringExtras.h"
#include "llvm/Support/raw_ostream.h"
#include <optional>

Go to the source code of this file.

Enumerations
enum class	OpenVariant { Open , OpenAt }

Functions
static std::optional< int >	getCreateFlagValue (const ASTContext &Ctx, const Preprocessor &PP)
static bool	IsZeroByteAllocation (ProgramStateRef state, const SVal argVal, ProgramStateRef *trueState, ProgramStateRef *falseState)

Enumeration Type Documentation

OpenVariant

enum class 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 32 of file UnixAPIChecker.cpp.

Function Documentation

getCreateFlagValue()

std::optional< int > getCreateFlagValue ( const ASTContext & Ctx, const Preprocessor & PP )

static

Definition at line 42 of file UnixAPIChecker.cpp.

References clang::ASTContext::getTargetInfo(), clang::TargetInfo::getTriple(), and clang::ento::tryExpandAsInteger().

IsZeroByteAllocation()

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

static

Definition at line 461 of file UnixAPIChecker.cpp.

References clang::ento::SVal::castAs().