pwd.c File Reference

#include <pwd.h>

Include dependency graph for pwd.c:

Go to the source code of this file.

Macros
#define	__CPROVER_PWD_H_INCLUDED

Functions
unsigned	__VERIFIER_nondet_unsigned (void)
struct passwd *	getpwnam (const char *name)
struct passwd *	getpwuid (uid_t uid)

Variables
struct passwd	__CPROVER_passwd

Macro Definition Documentation

__CPROVER_PWD_H_INCLUDED

#define __CPROVER_PWD_H_INCLUDED

Definition at line 7 of file pwd.c.

Function Documentation

__VERIFIER_nondet_unsigned()

unsigned __VERIFIER_nondet_unsigned

(

void

)

getpwnam()

struct passwd* getpwnam

(

const char *

name

)

Definition at line 14 of file pwd.c.

getpwuid()

struct passwd* getpwuid

(

uid_t

uid

)

Definition at line 40 of file pwd.c.

Variable Documentation

__CPROVER_passwd

struct passwd __CPROVER_passwd

Definition at line 10 of file pwd.c.