Text  |   XML   |   Visible Warnings:

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

Categories: LANG.MEM.NPD CWE:476
Warning ID: 319.28998
Similar Warnings: 319.28996, 319.28997
Procedure: change_output
Trace: view
Modified: Thu Nov 26 11:29:27 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 change_output
 2655 change_output(tp, outtid, outctx, outtag) 
 2656         struct task *tp;
 2657         int outtid, outctx, outtag;
 2658 {
 2659         struct pmsg *mp;
 2660  
 2661         if (tp->t_outtid != outtid 
 2662         || tp->t_outctx != outctx 
 2663         || tp->t_outtag != outtag) {
 2664                 if (tp->t_outtid > 0) {
true2665                         mp = mesg_new(0);
mp <= 40952666                         mp->m_dst = tp->t_outtid;     /* Null Pointer Dereference */
Preconditions 
outtid >= 1
tp->t_outtid = outtid
tp->t_outtid >= 1
tp->t_outctx = outctx
tp->t_outtag != outtag
numpmsgs = 0
Postconditions 
errno' != 0
freepmsgs.m_link' = &freepmsgs.m_link
freepmsgs.m_rlink' = &freepmsgs.m_link
mp' = 0



Change Warning 319.28998 : Null Pointer Dereference

Because they are very similar, this warning shares annotations with warnings 319.28996 and 319.28997.
CodeSonar has selected warning 319.28996 to represent this group of similar warnings. In order to edit this group, you must edit warning 319.28996.