Text  |   XML   |   Visible Warnings:

Pvm : Pvm analysis 1 : Null Pointer Dereference  at lpvmpack.c:770

Categories: LANG.MEM.NPD CWE:476
Warning ID: 2770.2825
Procedure: pvm_bufinfo
Trace: View
Modified: Wed Sep 2 12:45:53 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/lpvmpack.c
   Enter pvm_bufinfo
 731 pvm_bufinfo(mid, len, code, tid) 
 732         int mid;
 733         int *len;
 734         int *code;
 735         int *tid;
 736 {
 737         struct pmsg *mp;
 738         int cc;
 739         TEV_DECLS 
 740  
 741         if (TEV_EXCLUSIVE) {
 742                 if (TEV_DO_TRACE(TEV_BUFINFO,TEV_EVENT_ENTRY)) {
 743                         TEV_PACK_INT( TEV_DID_MB, TEV_DATA_SCALAR, &mid, 1, 1 );
 744                         TEV_FIN;
 745                 }
 746         }
 747  
 748         if (mid <= 0)
 749                 cc = PvmBadParam;
 750         else 
true751                 if (mp = midtobuf(mid)) {
 752                         cc = PvmOk;
 753                         if (len) {
 754                                 if (mp->m_flag & MM_PACK)
 755                                         pmsg_setlen(mp);
 756                                 *len = mp->m_len;
 757                         }
 758                         if (code)
 759                                 *code = mp->m_tag;
 760                         if (tid)
 761                                 *tid = mp->m_src;
 762                 } else 
 763                         cc = PvmNoSuchBuf;
 764  
 765         if (TEV_AMEXCL) {
 766                 if (TEV_DO_TRACE(TEV_BUFINFO,TEV_EVENT_EXIT)) {
 767                         int ln, tg, sc;
 768                         TEV_PACK_INT( TEV_DID_CC, TEV_DATA_SCALAR, &cc, 1, 1 );
 769                         if (!cc) {
mp <= 4095770                                 ln = mp->m_len;     /* Null Pointer Dereference */  /* Uninitialized Variable (ID: 2771.2826) */
Preconditions 
&$unknown_1459566 != 0
&$unknown_1459571 >= 1
&$unknown_1459572 >= 1
&$unknown_1459573 = 32768
&$unknown_1459575 != 0
&$unknown_1459576 = 1
&$unknown_1459577 = 1
&$unknown_1459578 = 4
&$unknown_1459579 = 0
pvmmytid = -1
pvmtoplvl != 0
Postconditions 
cc' = 0
code' = $param_3
len' = $param_2
mid' = &$unknown_1459571
mp' = 0
pvmampushed' = 0
pvmamtraced' = pvmtoplvl
pvmmytid' != &$unknown_1459572
pvmtoplvl' = 0
pvmtrc.trctid' = &$unknown_1459572
tid' = $param_4



Change Warning 2770.2825 : Null Pointer Dereference

Priority:
State:
Finding:
Owner:
Note: