Text  |   XML   |   Visible Warnings:

pvm3.4.6 : pvm3.4.6 analysis 2 : Null Pointer Dereference  at sdpro.c:252

Categories: LANG.MEM.NPD CWE:476
Warning ID: 274.28945
Procedure: sm_exec
Trace: view
Modified: Thu Nov 26 11:29:00 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/sdpro.c
   Enter sm_exec
 246 sm_exec(mp) 
 247         struct pmsg *mp;
 248 {
 249         struct pmsg *rmp;
 250  
true251         rmp = mesg_new(0);
rmp <= 4095252         rmp->m_dst = mp->m_src;     /* Null Pointer Dereference */
Preconditions 
numpmsgs = 0
Postconditions 
errno' != 0
freepmsgs.m_link' = &freepmsgs.m_link
freepmsgs.m_rlink' = &freepmsgs.m_link
rmp' = 0



Change Warning 274.28945 : Null Pointer Dereference

Priority:
State:
Finding:
Owner:
Note: