Text  |   XML   |   Visible Warnings:

Pvm : Pvm analysis 1 : Null Pointer Dereference  at pvmd.c:5354

Categories: LANG.MEM.NPD CWE:476
Warning ID: 2687.2738
Similar Warnings: 2687.2739
Procedure: master_config
Trace: View
Modified: Wed Sep 2 12:43:23 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
   /u1/paul/SATE/2010/c/pvm/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
$param_2 <= 1
$input_12 >= 0
Postconditions
argc' = $param_2
argv' = $param_3
atnewline' = 1
errno' != 0
filehosts' = 0
$heap_146149' = $input_60
bytes_after(&$heap_146149)' = $input_12 + 1
$heap_146149' is allocated by malloc
$heap_146149' is a non-heap object
bytes_before(&$heap_146149)' = 0
strlen(&$heap_146149)' = $input_12
$heap_146150' = 1
bytes_after(&$heap_146150)' = 40
$heap_146150' is allocated by malloc
$heap_146150' is allocated
bytes_before(&$heap_146150)' = 0
strlen(&$heap_146150)' = 0
((char*)&$heap_146150)[16]' = 1
((char*)&$heap_146150)[20]' = 1
((char*)&$heap_146150)[32]' = &$heap_146151
((char*)&$heap_146150)[4]' = 1
((char*)&$heap_146150)[12]' = 1
$heap_146151' = 0
bytes_after(&$heap_146151)' = 16
$heap_146151' is allocated by malloc
$heap_146151' is allocated
bytes_before(&$heap_146151)' = 0
strlen(&$heap_146151)' = 0
$heap_146152' = *$param_1
bytes_after(&$heap_146152)' = strlen($param_1) + 1
$heap_146152' is allocated by malloc
$heap_146152' is allocated
bytes_before(&$heap_146152)' = 0
strlen(&$heap_146152)' = strlen($param_1)
hn' = $param_1
hosts' = &$heap_146150
hp' = 0
s' = &$heap_146149
tmbuf.tm_sec' = &$unknown_873716




Change Warning 2687.2738 : Null Pointer Dereference

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

Priority:
State:
Finding:
Owner:
Note: