Enumerations
enum	ErrnoCheckState : unsigned { Irrelevant = 0 , MustBeChecked = 1 , MustNotBeChecked = 2 }
	Describe how reads and writes of `errno` are handled by the checker. More...

Functions
std::optional< SVal >	getErrnoValue (ProgramStateRef State)
	Returns the value of 'errno', if 'errno' was found in the AST.

ProgramStateRef	setErrnoValue (ProgramStateRef State, const LocationContext *LCtx, SVal Value, ErrnoCheckState EState)
	Set value of 'errno' to any SVal, if possible.

ProgramStateRef	setErrnoValue (ProgramStateRef State, CheckerContext &C, uint64_t Value, ErrnoCheckState EState)
	Set value of 'errno' to a concrete (signed) integer, if possible.

std::optional< Loc >	getErrnoLoc (ProgramStateRef State)
	Returns the location that points to the `MemoryRegion` where the 'errno' value is stored.

ErrnoCheckState	getErrnoState (ProgramStateRef State)
	Returns the errno check state, `Errno_Irrelevant` if 'errno' was not found (this is not the only case for that value).

ProgramStateRef	setErrnoState (ProgramStateRef State, ErrnoCheckState EState)
	Set the errno check state, do not modify the errno value.

ProgramStateRef	clearErrnoState (ProgramStateRef State)
	Clear state of errno (make it irrelevant).

bool	isErrnoLocationCall (const CallEvent &Call)
	Determine if `Call` is a call to an internal function that returns the location of `errno` (in environments where errno is accessed this way).

const NoteTag *	getErrnoNoteTag (CheckerContext &C, const std::string &Message)
	Create a NoteTag that displays the message if the 'errno' memory region is marked as interesting, and resets the interestingness.

ProgramStateRef	setErrnoForStdSuccess (ProgramStateRef State, CheckerContext &C)
	Set errno state for the common case when a standard function is successful.

ProgramStateRef	setErrnoForStdFailure (ProgramStateRef State, CheckerContext &C, NonLoc ErrnoSym)
	Set errno state for the common case when a standard function fails.

ProgramStateRef	setErrnoStdMustBeChecked (ProgramStateRef State, CheckerContext &C, const Expr *InvalE)
	Set errno state for the common case when a standard function indicates failure only by `errno`.

Enumeration Type Documentation

◆ ErrnoCheckState

enum clang::ento::errno_modeling::ErrnoCheckState : unsigned

Describe how reads and writes of errno are handled by the checker.

Enumerator

Irrelevant

We do not know anything about 'errno'.

Read and write is always allowed.

MustBeChecked

Value of 'errno' should be checked to find out if a previous function call has failed.

When this state is set errno must be read by the program before a next standard function call or other overwrite of errno follows, otherwise a bug report is emitted.

MustNotBeChecked

Value of 'errno' is not allowed to be read, it can contain an unspecified value.

When this state is set errno is not allowed to be read by the program until it is overwritten or invalidated.

Definition at line 26 of file ErrnoModeling.h.

Function Documentation

◆ clearErrnoState()

ProgramStateRef clang::ento::errno_modeling::clearErrnoState ( ProgramStateRef State )

Clear state of errno (make it irrelevant).

Definition at line 220 of file ErrnoModeling.cpp.

References Irrelevant, and setErrnoState().

◆ getErrnoLoc()

std::optional< Loc > clang::ento::errno_modeling::getErrnoLoc ( ProgramStateRef State )

Returns the location that points to the MemoryRegion where the 'errno' value is stored.

Returns std::nullopt if 'errno' was not found. Otherwise it always returns a valid memory region in the system global memory space.

Definition at line 205 of file ErrnoModeling.cpp.

◆ getErrnoNoteTag()

const NoteTag * clang::ento::errno_modeling::getErrnoNoteTag	(	CheckerContext &	C,
		const std::string &	Message
	)

Create a NoteTag that displays the message if the 'errno' memory region is marked as interesting, and resets the interestingness.

Definition at line 228 of file ErrnoModeling.cpp.

References clang::C, clang::ento::PathSensitiveBugReport::getErrorNode(), and clang::ento::PathSensitiveBugReport::isInteresting().

◆ getErrnoState()

ErrnoCheckState clang::ento::errno_modeling::getErrnoState ( ProgramStateRef State )

Returns the errno check state, Errno_Irrelevant if 'errno' was not found (this is not the only case for that value).

Definition at line 212 of file ErrnoModeling.cpp.

◆ getErrnoValue()

std::optional< SVal > clang::ento::errno_modeling::getErrnoValue ( ProgramStateRef State )

Returns the value of 'errno', if 'errno' was found in the AST.

Definition at line 173 of file ErrnoModeling.cpp.

◆ isErrnoLocationCall()

bool clang::ento::errno_modeling::isErrnoLocationCall ( const CallEvent & CE )

Determine if Call is a call to an internal function that returns the location of errno (in environments where errno is accessed this way).

Definition at line 224 of file ErrnoModeling.cpp.

◆ setErrnoForStdFailure()

ProgramStateRef clang::ento::errno_modeling::setErrnoForStdFailure	(	ProgramStateRef	State,
		CheckerContext &	C,
		NonLoc	ErrnoSym
	)

Set errno state for the common case when a standard function fails.

Set errno value to be not equal to zero and ErrnoCheckState to Irrelevant . The irrelevant errno state ensures that no related bug report is emitted later and no note tag is needed.

ErrnoSym Value to be used for errno and constrained to be non-zero.

Definition at line 244 of file ErrnoModeling.cpp.

References clang::C, clang::ento::SVal::castAs(), clang::ento::SValBuilder::evalBinOp(), clang::ento::SValBuilder::getConditionType(), Irrelevant, clang::ento::SValBuilder::makeZeroVal(), and setErrnoValue().

◆ setErrnoForStdSuccess()

ProgramStateRef clang::ento::errno_modeling::setErrnoForStdSuccess	(	ProgramStateRef	State,
		CheckerContext &	C
	)

Set errno state for the common case when a standard function is successful.

Set ErrnoCheckState to MustNotBeChecked (the errno value is not affected).

Definition at line 239 of file ErrnoModeling.cpp.

References MustNotBeChecked, and setErrnoState().

◆ setErrnoState()

ProgramStateRef clang::ento::errno_modeling::setErrnoState	(	ProgramStateRef	State,
		ErrnoCheckState	EState
	)

Set the errno check state, do not modify the errno value.

Definition at line 216 of file ErrnoModeling.cpp.

Referenced by clearErrnoState(), setErrnoForStdSuccess(), setErrnoStateIrrelevant(), and setErrnoStdMustBeChecked().

◆ setErrnoStdMustBeChecked()

ProgramStateRef clang::ento::errno_modeling::setErrnoStdMustBeChecked	(	ProgramStateRef	State,
		CheckerContext &	C,
		const Expr *	InvalE
	)

Set errno state for the common case when a standard function indicates failure only by errno.

Sets ErrnoCheckState to MustBeChecked, and invalidates the errno region (clear of previous value).

InvalE Expression that causes invalidation of errno.

Definition at line 257 of file ErrnoModeling.cpp.

References clang::C, MustBeChecked, and setErrnoState().

◆ setErrnoValue() [1/2]

ProgramStateRef clang::ento::errno_modeling::setErrnoValue	(	ProgramStateRef	State,
		CheckerContext &	C,
		uint64_t	Value,
		ErrnoCheckState	EState
	)

Set value of 'errno' to a concrete (signed) integer, if possible.

The errno check state is set always when the 'errno' value is set.

Definition at line 193 of file ErrnoModeling.cpp.

References clang::C.

◆ setErrnoValue() [2/2]

ProgramStateRef clang::ento::errno_modeling::setErrnoValue	(	ProgramStateRef	State,
		const LocationContext *	LCtx,
		SVal	Value,
		ErrnoCheckState	EState
	)

Set value of 'errno' to any SVal, if possible.