UnixAPIChecker.cpp File Reference

#include "ClangSACheckers.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/ADT/StringSwitch.h"
#include "llvm/Support/raw_ostream.h"
#include <fcntl.h>

Include dependency graph for UnixAPIChecker.cpp:

Go to the source code of this file.

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

---

Function Documentation

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

Definition at line 217 of file UnixAPIChecker.cpp.

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