Text  |   XML   |   Visible Warnings:

Pvm : Pvm analysis 1 : Null Pointer Dereference  at cmds.c:651

Categories: LANG.MEM.NPD CWE:476
Warning ID: 2915.2997
Procedure: add_cmd
Trace: View
Modified: Wed Sep 2 12:52:43 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/console/cmds.c
   Enter add_cmd
 632 add_cmd(ac, av) 
 633         int ac;
 634         char **av;
 635 {
 636         int diagnose = 0;
 637         int cc;
 638         int *sv;
 639         int i;
 640  
 641         av++;
 642         ac--;
true643         sv = TALLOC(ac, int, "int");
 644         if ((cc = pvm_addhosts(av, ac, sv)) >= 0) {
 645                 if (cc > 0)
 646                         pvm_recv(-1, HostsAddedTag); /* waste the notify message */ 
 647  
 648                 printf("%d successful\n", cc);
 649                 fputs("                    HOST     DTID\n", stdout);
 650                 for (i = 0; i < ac; i++)
sv <= 4095651                         if ((cc = sv[i]) < 0) {     /* Null Pointer Dereference */
Preconditions
$param_1 >= 2
&$unknown_3273822 >= 1
&$unknown_3273830 = 0
&$unknown_3273833 = -1
pvmautoerr != 2
pvmautoerr != 3
Postconditions
ac' = $param_1 - 1
av' = $param_2 + 8
cc' = &$unknown_3273822
diagnose' = 0
handles' = &$unknown_3273826
i' = 0
pvmmytid' = &$unknown_3273835
sv' = 0




Change Warning 2915.2997 : Null Pointer Dereference

Priority:
State:
Finding:
Owner:
Note: