Text  |   XML   |   Visible Warnings:

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

Categories: LANG.MEM.NPD CWE:476
Warning ID: 2732.2785
Procedure: sendmessage
Trace: View
Modified: Wed Sep 2 12:44:31 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_tasker
 2271 tm_tasker(tp, mp) 
 2272         struct task *tp;
 2273         struct pmsg *mp;
 2274 {
 2275         int regme;
 2276         struct pmsg *mp2;
 2277  
 2278         if (upkint(mp, &regme)) {
 2279                 pvmlogerror("tm_tasker() bad msg format\n");
 2280                 return 0;
 2281         }
true2282         mp2 = replymessage(mp);
 2283  
 2284         if (regme) {
 2285                 if (taskertid) {
 2286                         pkint(mp2, PvmAlready);
 2287  
 2288                 } else {
 2289                         taskertid = tp->t_tid;
 2290                         tp->t_flag |= TF_ISTASKER;
 2291                         if (pvmdebmask & PDMTASK) {
 2292                                 pvmlogprintf("tm_tasker() register t%x \n", tp->t_tid);
 2293                         }
 2294                         pkint(mp2, 0);
 2295                 }
 2296  
 2297         } else {
 2298                 if (taskertid == tp->t_tid) {
 2299                         taskertid = 0;
 2300                         tp->t_flag &= ~TF_ISTASKER;
 2301                         if (pvmdebmask & PDMTASK) {
 2302                                 pvmlogprintf("tm_tasker() unregister t%x \n", tp->t_tid);
 2303                         }
 2304                         pkint(mp2, 0);
 2305  
 2306                 } else {
 2307                         if (pvmdebmask & PDMTASK) {
 2308                                 pvmlogprintf("tm_tasker() t%x tries to unregister?\n",
 2309                                                 tp->t_tid);
 2310                         }
 2311                         pkint(mp2, PvmNoTask);
 2312                 }
 2313         }
mp2 <= 40952314         sendmessage(mp2);
Preconditions 
((char*)$param_1)[32] = taskertid
numpmsgs = 0
Postconditions 
atnewline' = 1
errno' != 0
ff' = 1
freepmsgs.m_link' = &freepmsgs.m_link
freepmsgs.m_rlink' = &freepmsgs.m_link
hp' = 0
mp' = 0
mp' = $param_2
mp2' = 0
regme' = 0
taskertid' = 0
tmbuf.tm_sec' = &$unknown_1094435
tp' = $param_1



Change Warning 2732.2785 : Null Pointer Dereference

Priority:
State:
Finding:
Owner:
Note: