Text  |   XML   |   Visible Warnings:

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

Categories: LANG.MEM.NPD CWE:476
Warning ID: 2731.2784
Procedure: sendmessage
Trace: View
Modified: Wed Sep 2 12:44:29 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_sched
 2231 tm_sched(tp, mp) 
 2232         struct task *tp;
 2233         struct pmsg *mp;
 2234 {
 2235         struct pmsg *mp2;
 2236         struct hostd *hp;
 2237  
true2238         mp2 = replymessage(mp);
 2239         pkint(mp2, pvmschedtid);
 2240         hp = hosts->ht_hosts[hosts->ht_master];
 2241         pkint(mp2, hp->hd_hostpart);
 2242         pkstr(mp2, hp->hd_name);
 2243         pkstr(mp2, hp->hd_arch ? hp->hd_arch : "");
 2244         pkint(mp2, hp->hd_speed);
 2245         pkint(mp2, hp->hd_dsig);
mp2 <= 40952246         sendmessage(mp2);
Preconditions 
&$unknown_1083220 = 0
&$unknown_1083221 = 0
&$unknown_1083222 = 0
((char*)&$unknown_1083217)[16] = 0
numpmsgs = 0
Postconditions 
ff' = 1
freepmsgs.m_link' = &freepmsgs.m_link
freepmsgs.m_rlink' = &freepmsgs.m_link
hp' = 0
hp' = &$unknown_1083217
mp' = 0
mp' = $param_2
mp2' = 0
tp' = $param_1



Change Warning 2731.2784 : Null Pointer Dereference

Priority:
State:
Finding:
Owner:
Note: