Text  |   XML   |   Visible Warnings:

pvm3.4.6 : pvm3.4.6 analysis 2 : Null Pointer Dereference  at pvmd.c:5354

Categories: LANG.MEM.NPD CWE:476
Warning ID: 265.28929
Similar Warnings: 265.28930
Procedure: master_config
Trace: view
Modified: Thu Nov 26 11:28:40 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/pvm3/src/pvmd.c
   Enter master_config
 5317 master_config(hn, argc, argv) 
 5318         char *hn;                       /* hostname or null */ 
 5319         int argc;
 5320         char **argv;
 5321 {
 5322         struct hostent *he;
 5323         struct hostd *hp;
 5324         struct hostd *hp2;
 5325         int i;
 5326         char *s;
 5327  
 5328         if (argc > 2) {
 5329                 pvmlogerror("usage: pvmd3 [-ddebugmask] [-nhostname] [hostfile]\n");
 5330                 pvmbailout(0);
 5331         }
 5332         if (argc == 2) {
 5333                 filehosts = readhostfile(argv[1]);
 5334         }
 5335         else if (s = getenv("PVMHOSTFILE")) {
 5336                 filehosts = readhostfile(s);
 5337         }
 5338         if (pvmdebmask & PDMSTARTUP) {
 5339                 if (filehosts) {
 5340                         pvmlogerror("master_config() host file:\n");
 5341                         ht_dump(filehosts);
 5342  
 5343                 } else 
 5344                         pvmlogerror("master_config() null host file\n");
 5345         }
 5346  
 5347         hosts = ht_new(1);
 5348         hosts->ht_serial = 1;
 5349         hosts->ht_master = 1;
 5350         hosts->ht_cons = 1;
 5351         hosts->ht_local = 1;
 5352  
true5353         hp = hd_new(1);
hp <= 40955354         hp->hd_name = STRALLOC(hn);     /* Null Pointer Dereference */
Preconditions
argc <= 1
((char*)&$unknown_767274)[4] <= 0
$input_12 >= 0
Postconditions
atnewline' = 1
errno' != 0
filehosts' = &$unknown_767274
$heap_227045' = $input_444
bytes_after(&$heap_227045)' = $input_12 + 1
$heap_227045' is allocated by malloc
$heap_227045' is a non-heap object
bytes_before(&$heap_227045)' = 0
strlen(&$heap_227045)' = $input_12
$heap_227046' = 0
bytes_after(&$heap_227046)' = 8
$heap_227046' is allocated by malloc
$heap_227046' is allocated
bytes_before(&$heap_227046)' = 0
$heap_227047' = 1
bytes_after(&$heap_227047)' = 32
$heap_227047' is allocated by malloc
$heap_227047' is allocated
bytes_before(&$heap_227047)' = 0
((char*)&$heap_227047)[16]' = 1
((char*)&$heap_227047)[20]' = 1
((char*)&$heap_227047)[28]' = &$heap_227046
((char*)&$heap_227047)[4]' = 1
((char*)&$heap_227047)[12]' = 1
$heap_227048' = *hn
bytes_after(&$heap_227048)' = strlen(hn) + 1
$heap_227048' is allocated by malloc
$heap_227048' is allocated
bytes_before(&$heap_227048)' = 0
strlen(&$heap_227048)' = strlen(hn)
tocttou($heap_227048)' = tocttou(*hn)
hosts' = &$heap_227047
hp' = 0
s' = &$heap_227045
tmbuf.tm_sec' = &$unknown_767276




Change Warning 265.28929 : Null Pointer Dereference

Because they are very similar, this warning shares annotations with warning 265.28930.

Priority:
State:
Finding:
Owner:
Note: