Text  |   XML   |   Visible Warnings:

pvm3.4.6 : pvm3.4.6 analysis 2 : Null Pointer Dereference  at tdpro.c:2747

Categories: LANG.MEM.NPD CWE:476
Warning ID: 322.29001
Procedure: tm_getopt
Trace: view
Modified: Thu Nov 26 11:29:28 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
   /kat0/fletcher/SATE/2010/pvm3/src/tdpro.c
   Enter tm_getopt
 2730 tm_getopt(tp, mp) 
 2731         struct task *tp;
 2732         struct pmsg *mp;
 2733 {
true2734         mp = replymessage(mp);
 2735         pkint(mp, tp->t_tid);
 2736         pkint(mp, tp->t_ptid);
 2737         pkint(mp, tp->t_outtid);
 2738         pkint(mp, tp->t_outctx);
 2739         pkint(mp, tp->t_outtag);
 2740         pkint(mp, tp->t_trctid);
 2741         pkint(mp, tp->t_trcctx);
 2742         pkint(mp, tp->t_trctag);
 2743         pkint(mp, pvmudpmtu);
 2744         pkint(mp, pvmmydsig);
 2745         pkstr(mp, inadport_hex(&(hosts->ht_hosts[hosts->ht_local]->hd_sad)));
 2746         pkint(mp, pvmschedtid);
mp <= 40952747         mp->m_flag |= MM_PRIO;  /* set priority handling for this message */     /* Null Pointer Dereference */
Preconditions 
numpmsgs = 0
Postconditions 
strlen(&buf[0])' = 17
buf[17]' = 0
errno' != 0
freepmsgs.m_link' = &freepmsgs.m_link
freepmsgs.m_rlink' = &freepmsgs.m_link
mp' = 0



Change Warning 322.29001 : Null Pointer Dereference

Priority:
State:
Finding:
Owner:
Note: