Text  |   XML   |   Visible Warnings:

irssi-0.8.14 : irssi-0.8.14 analysis 2 : Null Pointer Dereference  at gui-readline.c:895

Categories: LANG.MEM.NPD CWE:476
Warning ID: 7434.28537
Procedure: get_next_server
Trace: view
Modified: Thu Nov 26 11:20:47 2009   show details
 
Priority: None
State: None
Finding: None
Owner: None
  edit properties

Legend [ X ]
Warning Location
Contributes
Parse Error
Other Warning
Two or More Loop Iterations
On Execution Path
Comment
Macro
Preprocessor
Include
Keyword
Preprocessed Away

Source  |  Language: C Hide Legend     
ProblemLineSource
   /kat0/fletcher/SATE/2010/irssi-0.8.14/src/fe-text/gui-readline.c
   Enter get_next_server
 872 static SERVER_REC *get_next_server(SERVER_REC *current) 
 873 {
 874         GSList *pos;
 875  
 876         if (current == NULL) {
 877                 return servers != NULL ? servers->data : 
 878                         lookup_servers != NULL ? lookup_servers->data : NULL;
 879         }
 880  
 881         /* server1 -> server2 -> connect1 -> connect2 -> server1 -> .. */ 
 882  
 883         pos = g_slist_find(servers, current);
 884         if (pos != NULL) {
 885                 if (pos->next != NULL)
 886                         return pos->next->data;
 887                 if (lookup_servers != NULL)
 888                         return lookup_servers->data;
 889                 return servers->data;
 890         }
 891  
true892         pos = g_slist_find(lookup_servers, current);
pos = 0893         g_assert(pos != NULL);
 894  
pos <= 4095895         if (pos->next != NULL)     /* Null Pointer Dereference */
Preconditions
current != 0
Postconditions
_g_boolean_var_' = 0
pos' = 0




Change Warning 7434.28537 : Null Pointer Dereference

Priority:
State:
Finding:
Owner:
Note: