* libmisc/utmp.c, libmisc/age.c, libmisc/shell.c, lib/groupio.c,

	lib/groupio.h, lib/sgroupio.c, lib/sgroupio.h, lib/shadowio.c,
	lib/pwio.c, lib/commonio.c, lib/shadowio.h, lib/pwio.h,
	lib/commonio.h, lib/prototypes.h: Added splint annotations.

diff --git a/ChangeLog b/ChangeLog
index 82fe4e6d6a5aefc15055da054b8faabd2a1a7530..ab5651838337f4f63fe21423513a9fc2a9672d37 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,6 +1,9 @@
 2009-04-22  Nicolas François  <nicolas.francois@centraliens.net>
 
-       * libmisc/utmp.c: Added splint annotations.
+       * libmisc/utmp.c, libmisc/age.c, libmisc/shell.c, lib/groupio.c,
+       lib/groupio.h, lib/sgroupio.c, lib/sgroupio.h, lib/shadowio.c,
+       lib/pwio.c, lib/commonio.c, lib/shadowio.h, lib/pwio.h,
+       lib/commonio.h, lib/prototypes.h: Added splint annotations.
 
 2009-04-22  Nicolas François  <nicolas.francois@centraliens.net>
 

diff --git a/lib/commonio.c b/lib/commonio.c
index 8bad3635ab7518158b5b3ac6ffd2c2a7efb3a2df..77e46a95f0b5e808c505052746bdee170f773f70 100644 (file)
--- a/lib/commonio.c
+++ b/lib/commonio.c
@@ -1025,7 +1025,7 @@ int commonio_remove (struct commonio_db *db, const char *name)
  *
  *     Otherwise, it returns NULL.
  */
-const void *commonio_locate (struct commonio_db *db, const char *name)
+/*@null@*/const void *commonio_locate (struct commonio_db *db, const char *name)
 {
        struct commonio_entry *p;
 
@@ -1062,7 +1062,7 @@ int commonio_rewind (struct commonio_db *db)
  *
  * It returns the next entry, or NULL if no other entries could be found.
  */
-const void *commonio_next (struct commonio_db *db)
+/*@null@*/const void *commonio_next (struct commonio_db *db)
 {
        void *eptr;
 

diff --git a/lib/commonio.h b/lib/commonio.h
index e031756b64f51599cb816620d65d94ec93b93661..e468db5843d98cec24be76ce7a5c6ebabcbbdc61 100644 (file)
--- a/lib/commonio.h
+++ b/lib/commonio.h
@@ -44,9 +44,9 @@
  * Linked list entry.
  */
 struct commonio_entry {
-       char *line;
-       void *eptr;             /* struct passwd, struct spwd, ... */
-       struct commonio_entry *prev, *next;
+       /*@null@*/char *line;
+       /*@null@*/void *eptr;           /* struct passwd, struct spwd, ... */
+       /*@null@*/struct commonio_entry *prev, *next;
        bool changed:1;
 };
 
@@ -63,7 +63,7 @@ struct commonio_ops {
        /*
         * free() the object including any strings pointed by it.
         */
-       void (*free) (void *);
+       void (*free) (/*@out@*/ /*@only@*/void *);
 
        /*
         * Return the name of the object (for example, pw_name
@@ -96,8 +96,8 @@ struct commonio_ops {
         * is open or before it is closed.
         * They return 0 on failure and 1 on success.
         */
-       int (*open_hook) (void);
-       int (*close_hook) (void);
+       /*@null@*/int (*open_hook) (void);
+       /*@null@*/int (*close_hook) (void);
 };
 
 /*
@@ -117,7 +117,7 @@ struct commonio_db {
        /*
         * Currently open file stream.
         */
-       FILE *fp;
+       /*@null@*/FILE *fp;
 
 #ifdef WITH_SELINUX
        security_context_t scontext;
@@ -125,7 +125,7 @@ struct commonio_db {
        /*
         * Head, tail, current position in linked list.
         */
-       struct commonio_entry *head, *tail, *cursor;
+       /*@null@*/struct commonio_entry *head, *tail, *cursor;
 
        /*
         * Various flags.
@@ -141,11 +141,11 @@ extern bool commonio_present (const struct commonio_db *db);
 extern int commonio_lock (struct commonio_db *);
 extern int commonio_lock_nowait (struct commonio_db *);
 extern int commonio_open (struct commonio_db *, int);
-extern const void *commonio_locate (struct commonio_db *, const char *);
+extern /*@null@*/const void *commonio_locate (struct commonio_db *, const char *);
 extern int commonio_update (struct commonio_db *, const void *);
 extern int commonio_remove (struct commonio_db *, const char *);
 extern int commonio_rewind (struct commonio_db *);
-extern const void *commonio_next (struct commonio_db *);
+extern /*@null@*/const void *commonio_next (struct commonio_db *);
 extern int commonio_close (struct commonio_db *);
 extern int commonio_unlock (struct commonio_db *);
 extern void commonio_del_entry (struct commonio_db *,

diff --git a/lib/groupio.c b/lib/groupio.c
index f821c591024114db76f512307c73cc986c4a5c9b..965a430c66e1eeed656162b97028a4afb98c3cef 100644 (file)
--- a/lib/groupio.c
+++ b/lib/groupio.c
@@ -55,7 +55,7 @@ static void *group_dup (const void *ent)
        return __gr_dup (gr);
 }
 
-static void group_free (void *ent)
+static void group_free (/*@out@*/ /*@only@*/void *ent)
 {
        struct group *gr = ent;
 
@@ -125,7 +125,7 @@ int gr_setdbname (const char *filename)
        return commonio_setname (&group_db, filename);
 }
 
-const char *gr_dbname (void)
+/*@observer@*/const char *gr_dbname (void)
 {
        return group_db.filename;
 }
@@ -140,12 +140,12 @@ int gr_open (int mode)
        return commonio_open (&group_db, mode);
 }
 
-const struct group *gr_locate (const char *name)
+/*@null@*/const struct group *gr_locate (const char *name)
 {
        return commonio_locate (&group_db, name);
 }
 
-const struct group *gr_locate_gid (gid_t gid)
+/*@null@*/const struct group *gr_locate_gid (gid_t gid)
 {
        const struct group *grp;
 
@@ -172,7 +172,7 @@ int gr_rewind (void)
        return commonio_rewind (&group_db);
 }
 
-const struct group *gr_next (void)
+/*@null@*/const struct group *gr_next (void)
 {
        return commonio_next (&group_db);
 }
@@ -192,7 +192,7 @@ void __gr_set_changed (void)
        group_db.changed = true;
 }
 
-struct commonio_entry *__gr_get_head (void)
+/*@null@*/struct commonio_entry *__gr_get_head (void)
 {
        return group_db.head;
 }

diff --git a/lib/groupio.h b/lib/groupio.h
index d229845a82972a785f6fb02addd8641aa6e8930b..4edb6a89569618a46506ba990e127f189dcec47d 100644 (file)
--- a/lib/groupio.h
+++ b/lib/groupio.h
@@ -39,12 +39,12 @@
 #include <grp.h>
 
 extern int gr_close (void);
-extern const struct group *gr_locate (const char *name);
-extern const struct group *gr_locate_gid (gid_t gid);
+extern /*@null@*/const struct group *gr_locate (const char *name);
+extern /*@null@*/const struct group *gr_locate_gid (gid_t gid);
 extern int gr_lock (void);
 extern int gr_setdbname (const char *filename);
-extern const char *gr_dbname (void);
-extern const struct group *gr_next (void);
+extern /*@observer@*/const char *gr_dbname (void);
+extern /*@null@*/const struct group *gr_next (void);
 extern int gr_open (int mode);
 extern int gr_remove (const char *name);
 extern int gr_rewind (void);

diff --git a/lib/prototypes.h b/lib/prototypes.h
index bc2dabd9a96fda8f81e625625154eaa8ce0d4c54..ef7a74a5dd72c03914e875c4a930f6bd6fe47c16 100644 (file)
--- a/lib/prototypes.h
+++ b/lib/prototypes.h
@@ -65,7 +65,7 @@ extern int add_groups (const char *);
 #endif
 
 /* age.c */
-extern void agecheck (const struct spwd *);
+extern void agecheck (/*@null@*/const struct spwd *);
 extern int expire (const struct passwd *, const struct spwd *);
 extern int isexpired (const struct passwd *, const struct spwd *);
 
@@ -168,12 +168,12 @@ extern int fputsx (const char *, FILE *);
 /* groupio.c */
 extern void __gr_del_entry (const struct commonio_entry *ent);
 extern struct commonio_db *__gr_get_db (void);
-extern struct commonio_entry *__gr_get_head (void);
+extern /*@null@*/struct commonio_entry *__gr_get_head (void);
 extern void __gr_set_changed (void);
 
 /* groupmem.c */
-extern struct group *__gr_dup (const struct group *grent);
-extern void gr_free (struct group *grent);
+extern /*@null@*/ /*@only@*/struct group *__gr_dup (const struct group *grent);
+extern void gr_free (/*@out@*/ /*@only@*/struct group *grent);
 
 /* hushed.c */
 extern bool hushed (const char *username);
@@ -255,11 +255,11 @@ extern void pwd_init (void);
 /* pwio.c */
 extern void __pw_del_entry (const struct commonio_entry *ent);
 extern struct commonio_db *__pw_get_db (void);
-extern struct commonio_entry *__pw_get_head (void);
+extern /*@null@*/struct commonio_entry *__pw_get_head (void);
 
 /* pwmem.c */
-extern struct passwd *__pw_dup (const struct passwd *pwent);
-extern void pw_free (struct passwd *pwent);
+extern /*@null@*/ /*@only@*/struct passwd *__pw_dup (const struct passwd *pwent);
+extern void pw_free (/*@out@*/ /*@only@*/struct passwd *pwent);
 
 /* rlogin.c */
 extern int do_rlogin (const char *remote_host, char *name, size_t namelen,
@@ -291,26 +291,26 @@ extern struct passwd *sgetpwent (const char *buf);
 
 /* sgetspent.c */
 #ifndef HAVE_SGETSPENT
-extern struct spwd *sgetspent (const char *string)
+extern struct spwd *sgetspent (const char *string);
 #endif
 
 /* sgroupio.c */
 extern void __sgr_del_entry (const struct commonio_entry *ent);
-extern struct sgrp *__sgr_dup (const struct sgrp *sgent);
-extern void sgr_free (struct sgrp *sgent);
-extern struct commonio_entry *__sgr_get_head (void);
+extern /*@null@*/ /*@only@*/struct sgrp *__sgr_dup (const struct sgrp *sgent);
+extern void sgr_free (/*@out@*/ /*@only@*/struct sgrp *sgent);
+extern /*@null@*/struct commonio_entry *__sgr_get_head (void);
 extern void __sgr_set_changed (void);
 
 /* shadowio.c */
-extern struct commonio_entry *__spw_get_head (void);
+extern /*@null@*/struct commonio_entry *__spw_get_head (void);
 extern void __spw_del_entry (const struct commonio_entry *ent);
 
 /* shadowmem.c */
-extern struct spwd *__spw_dup (const struct spwd *spent);
-extern void spw_free (struct spwd *spent);
+extern /*@null@*/ /*@only@*/struct spwd *__spw_dup (const struct spwd *spent);
+extern void spw_free (/*@out@*/ /*@only@*/struct spwd *spent);
 
 /* shell.c */
-extern int shell (const char *, const char *, char *const *);
+extern int shell (const char *file, /*@null@*/const char *arg, char *const envp[]);
 
 /* system.c */
 extern int safe_system (const char *command,
@@ -345,17 +345,17 @@ extern char *tz (const char *);
 extern int set_filesize_limit (int blocks);
 
 /* utmp.c */
-extern struct utmp *get_current_utmp (void);
+extern /*@null@*/struct utmp *get_current_utmp (void);
 extern struct utmp *prepare_utmp (const char *name,
                                   const char *line,
                                   const char *host,
-                                  struct utmp *ut);
+                                  /*@null@*/const struct utmp *ut);
 extern int setutmp (struct utmp *ut);
 #ifdef HAVE_UTMPX_H
 extern struct utmpx *prepare_utmpx (const char *name,
                                     const char *line,
                                     const char *host,
-                                    struct utmp *ut);
+                                    /*@null@*/const struct utmp *ut);
 extern int setutmpx (struct utmpx *utx);
 #endif
 
@@ -363,8 +363,8 @@ extern int setutmpx (struct utmpx *utx);
 extern bool valid (const char *, const struct passwd *);
 
 /* xmalloc.c */
-extern char *xmalloc (size_t);
-extern char *xstrdup (const char *);
+extern /*@maynotreturn@*/ /*@only@*/char *xmalloc (size_t);
+extern /*@maynotreturn@*/ /*@only@*/char *xstrdup (const char *);
 
 /* xgetpwnam.c */
 extern struct passwd *xgetpwnam (const char *);

diff --git a/lib/pwio.c b/lib/pwio.c
index f501e2cc85f1d1e315a60229800a2e0277893e92..3b1d090bf22174c12b2169857bba6d52623a5a63 100644 (file)
--- a/lib/pwio.c
+++ b/lib/pwio.c
@@ -49,7 +49,7 @@ static void *passwd_dup (const void *ent)
        return __pw_dup (pw);
 }
 
-static void passwd_free (void *ent)
+static void passwd_free (/*@out@*/ /*@only@*/void *ent)
 {
        struct passwd *pw = ent;
 
@@ -108,7 +108,7 @@ int pw_setdbname (const char *filename)
        return commonio_setname (&passwd_db, filename);
 }
 
-const char *pw_dbname (void)
+/*@observer@*/const char *pw_dbname (void)
 {
        return passwd_db.filename;
 }
@@ -170,7 +170,7 @@ int pw_unlock (void)
        return commonio_unlock (&passwd_db);
 }
 
-struct commonio_entry *__pw_get_head (void)
+/*@null@*/struct commonio_entry *__pw_get_head (void)
 {
        return passwd_db.head;
 }

diff --git a/lib/pwio.h b/lib/pwio.h
index 52c7bf33e78ae52233ad86f409c2aad6e39153c5..4b241f2673d08c5a00b407e95fb2f5e966b8249c 100644 (file)
--- a/lib/pwio.h
+++ b/lib/pwio.h
@@ -39,12 +39,12 @@
 #include <pwd.h>
 
 extern int pw_close (void);
-extern const struct passwd *pw_locate (const char *name);
-extern const struct passwd *pw_locate_uid (uid_t uid);
+extern /*@null@*/const struct passwd *pw_locate (const char *name);
+extern /*@null@*/const struct passwd *pw_locate_uid (uid_t uid);
 extern int pw_lock (void);
 extern int pw_setdbname (const char *filename);
-extern const char *pw_dbname (void);
-extern const struct passwd *pw_next (void);
+extern /*@observer@*/const char *pw_dbname (void);
+extern /*@null@*/const struct passwd *pw_next (void);
 extern int pw_open (int mode);
 extern int pw_remove (const char *name);
 extern int pw_rewind (void);

diff --git a/lib/sgroupio.c b/lib/sgroupio.c
index 1a85906869a8e665c6d51503724f613c034fc97e..d2482989067e41b45e2c4894185ea7c7e6874a5b 100644 (file)
--- a/lib/sgroupio.c
+++ b/lib/sgroupio.c
@@ -97,14 +97,14 @@ static void *gshadow_dup (const void *ent)
        return __sgr_dup (sg);
 }
 
-static void gshadow_free (void *ent)
+static void gshadow_free (/*@out@*/ /*@only@*/void *ent)
 {
        struct sgrp *sg = ent;
 
        sgr_free (sg);
 }
 
-void sgr_free (struct sgrp *sgent)
+void sgr_free (/*@out@*/ /*@only@*/struct sgrp *sgent)
 {
        free (sgent->sg_name);
        memzero (sgent->sg_passwd, strlen (sgent->sg_passwd));
@@ -172,7 +172,7 @@ int sgr_setdbname (const char *filename)
        return commonio_setname (&gshadow_db, filename);
 }
 
-const char *sgr_dbname (void)
+/*@observer@*/const char *sgr_dbname (void)
 {
        return gshadow_db.filename;
 }
@@ -212,7 +212,7 @@ int sgr_rewind (void)
        return commonio_rewind (&gshadow_db);
 }
 
-const struct sgrp *sgr_next (void)
+/*@null@*/const struct sgrp *sgr_next (void)
 {
        return commonio_next (&gshadow_db);
 }
@@ -232,7 +232,7 @@ void __sgr_set_changed (void)
        gshadow_db.changed = true;
 }
 
-struct commonio_entry *__sgr_get_head (void)
+/*@null@*/struct commonio_entry *__sgr_get_head (void)
 {
        return gshadow_db.head;
 }

diff --git a/lib/sgroupio.h b/lib/sgroupio.h
index c030afedf114975e5193731cdf704f291ed9e9db..47f01396be8b367a2c63a7a1f7f3972d309c2380 100644 (file)
--- a/lib/sgroupio.h
+++ b/lib/sgroupio.h
@@ -37,11 +37,11 @@
 
 extern int sgr_close (void);
 extern bool sgr_file_present (void);
-extern const struct sgrp *sgr_locate (const char *name);
+extern /*@null@*/const struct sgrp *sgr_locate (const char *name);
 extern int sgr_lock (void);
 extern int sgr_setdbname (const char *filename);
-extern const char *sgr_dbname (void);
-extern const struct sgrp *sgr_next (void);
+extern /*@observer@*/const char *sgr_dbname (void);
+extern /*@null@*/const struct sgrp *sgr_next (void);
 extern int sgr_open (int mode);
 extern int sgr_remove (const char *name);
 extern int sgr_rewind (void);

diff --git a/lib/shadowio.c b/lib/shadowio.c
index bd7554f5eb310ff71ed99a0682d7fe8fa54daf83..bae621ab6e5f7b37066a6bbff6df31893a9877c7 100644 (file)
--- a/lib/shadowio.c
+++ b/lib/shadowio.c
@@ -49,7 +49,7 @@ static void *shadow_dup (const void *ent)
        return __spw_dup (sp);
 }
 
-static void shadow_free (void *ent)
+static void shadow_free (/*@out*//*@only@*/void *ent)
 {
        struct spwd *sp = ent;
 
@@ -108,7 +108,7 @@ int spw_setdbname (const char *filename)
        return commonio_setname (&shadow_db, filename);
 }
 
-const char *spw_dbname (void)
+/*@observer@*/const char *spw_dbname (void)
 {
        return shadow_db.filename;
 }
@@ -128,7 +128,7 @@ int spw_open (int mode)
        return commonio_open (&shadow_db, mode);
 }
 
-const struct spwd *spw_locate (const char *name)
+/*@null@*/const struct spwd *spw_locate (const char *name)
 {
        return commonio_locate (&shadow_db, name);
 }
@@ -148,7 +148,7 @@ int spw_rewind (void)
        return commonio_rewind (&shadow_db);
 }
 
-const struct spwd *spw_next (void)
+/*@null@*/const struct spwd *spw_next (void)
 {
        return commonio_next (&shadow_db);
 }

diff --git a/lib/shadowio.h b/lib/shadowio.h
index c7db66b3615b2dcb60ad4284ebf2300057ac05bb..a8b9cae558af2698e5dc56cc6ea0b301a4d5cc78 100644 (file)
--- a/lib/shadowio.h
+++ b/lib/shadowio.h
@@ -38,11 +38,11 @@
 
 extern int spw_close (void);
 extern bool spw_file_present (void);
-extern const struct spwd *spw_locate (const char *name);
+extern /*@null@*/const struct spwd *spw_locate (const char *name);
 extern int spw_lock (void);
 extern int spw_setdbname (const char *filename);
-extern const char *spw_dbname (void);
-extern const struct spwd *spw_next (void);
+extern /*@observer@*/const char *spw_dbname (void);
+extern /*@null@*/const struct spwd *spw_next (void);
 extern int spw_open (int mode);
 extern int spw_remove (const char *name);
 extern int spw_rewind (void);

diff --git a/libmisc/age.c b/libmisc/age.c
index f9695926b539a8376d5d010940bcc39c45229f5c..7b28d14af62537fbb23aa9859f96a3217711165c 100644 (file)
--- a/libmisc/age.c
+++ b/libmisc/age.c
@@ -160,7 +160,7 @@ int expire (const struct passwd *pw, const struct spwd *sp)
  *     to expire and warns the user of the pending password expiration.
  */
 
-void agecheck (const struct spwd *sp)
+void agecheck (/*@null@*/const struct spwd *sp)
 {
        long now = (long) time ((time_t *) 0) / SCALE;
        long remain;

diff --git a/libmisc/shell.c b/libmisc/shell.c
index 26b0eb33eed7376cf4d4fecd1d3c278f2b0f007b..3d5e28ffb48d143953e6acb6922fd77ee23eb846 100644 (file)
--- a/libmisc/shell.c
+++ b/libmisc/shell.c
@@ -53,7 +53,7 @@ extern size_t newenvc;
  *     the file.  If all that fails, give up in disgust ...
  */
 
-int shell (const char *file, const char *arg, char *const envp[])
+int shell (const char *file, /*@null@*/const char *arg, char *const envp[])
 {
        char arg0[1024];
        int err;

diff --git a/libmisc/utmp.c b/libmisc/utmp.c
index 4aa9ed17ef3aefae78f69278a4ae314ff15f70f9..c523e392badde91a7adfbdd42b6e8ed6ce55d97f 100644 (file)
--- a/libmisc/utmp.c
+++ b/libmisc/utmp.c
@@ -98,7 +98,7 @@ static bool is_my_tty (const char *tty)
  *
  *     Return NULL if no entries exist in utmp for the current process.
  */
-/*@null@*//*@only@*/struct utmp *get_current_utmp (void)
+/*@null@*/ /*@only@*/struct utmp *get_current_utmp (void)
 {
        struct utmp *ut;
        struct utmp *ret = NULL;