|
Optional< SVal > | clang::ento::errno_modeling::getErrnoValue (ProgramStateRef State) |
| Returns the value of 'errno', if 'errno' was found in the AST. More...
|
|
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). More...
|
|
Optional< Loc > | clang::ento::errno_modeling::getErrnoLoc (ProgramStateRef State) |
| Returns the location that points to the MemoryRegion where the 'errno' value is stored. More...
|
|
ProgramStateRef | clang::ento::errno_modeling::setErrnoValue (ProgramStateRef State, const LocationContext *LCtx, SVal Value, ErrnoCheckState EState) |
| Set value of 'errno' to any SVal, if possible. More...
|
|
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. More...
|
|
ProgramStateRef | clang::ento::errno_modeling::setErrnoState (ProgramStateRef State, ErrnoCheckState EState) |
| Set the errno check state, do not modify the errno value. More...
|
|
bool | clang::ento::errno_modeling::isErrno (const Decl *D) |
| Determine if a Decl node related to 'errno'. More...
|
|
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. More...
|
|