Text  |   XML   |   Visible Warnings:

Pvm : Pvm analysis 1 : Free Null Pointer  at tdpro.c:1825

Categories: LANG.ALLOC.FNP CWE:590
Warning ID: 2716.2769
Procedure: tm_delhost
Trace: View
Modified: Wed Sep 2 12:44:20 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/src/tdpro.c
   Enter tm_delhost
 1807 tm_delhost(tp, mp) 
 1808         struct task *tp;
 1809         struct pmsg *mp;
 1810 {
 1811         int count;
 1812         char *buf;
 1813         struct waitc *wp;
 1814  
 1815         /* sanity check the message */ 
 1816  
 1817         if (upkint(mp, &count))
 1818                 goto bad;
 1819         if (count < 1 || count > (tidhmask >> (ffs(tidhmask) - 1)))
 1820                 goto bad;
 1821         while (count-- > 0)
true1822                 if (upkstralloc(mp, &buf))
 1823                         goto bad;
 1824                 else 
buf <= 40951825                         PVM_FREE(buf);     /* Free Null Pointer */
Preconditions 
&$unknown_1042850 >= 2
Postconditions 
buf' = 0
count' = &$unknown_1042850 - 2
mp' = $param_2
tp' = $param_1



Change Warning 2716.2769 : Free Null Pointer

Priority:
State:
Finding:
Owner:
Note: