Text  |   XML   |   Visible Warnings:

Irssi : Irssi analysis 1 : Null Pointer Dereference  at servers.c:114

Categories: LANG.MEM.NPD CWE:476
Warning ID: 2136.2139
Similar Warnings: 2136.2138
Procedure: server_create_tag
Trace: View
Modified: Wed Sep 2 11:51:28 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
Legend
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
   /u1/paul/SATE/2010/c/irssi/irssi-0.8.14/src/core/servers.c
   Enter server_create_tag
 100 static char *server_create_tag(SERVER_CONNECT_REC *conn) 
 101 {
 102         GString *str;
 103         char *tag;
 104         int num;
 105  
 106         g_return_val_if_fail(IS_SERVER_CONNECT(conn), NULL);
 107  
true108         tag = conn->chatnet != NULL && *conn->chatnet != '\0' ? 
$temp52 <= 4095109                 g_strdup(conn->chatnet) : 
true110                 server_create_address_tag(conn->address);
 111  
 112         if (conn->tag != NULL && server_find_tag(conn->tag) == NULL &&
 113             server_find_lookup_tag(conn->tag) == NULL &&
tag <= 4095114             strncmp(conn->tag, tag, strlen(tag)) == 0) {     /* Null Pointer Dereference */
Preconditions 
((char*)$param_1)[72] = 0
((char*)*$param_1)[64] != 0
strlen(((char*)$param_1)[64]) != 0
((char*)*$param_1)[88] = 0
strlen(((char*)$param_1)[88]) = 0
Postconditions 
_g_boolean_var_' = 1
conn' = $param_1
tag' = 0



Change Warning 2136.2139 : Null Pointer Dereference

Because they are very similar, this warning shares annotations with warning 2136.2138.
CodeSonar has selected warning 2136.2138 to represent this group of similar warnings. In order to edit this group, you must edit warning 2136.2138.