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
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/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: