Text  |   XML   |   Visible Warnings:

pvm3.4.6 : pvm3.4.6 analysis 2 : Uninitialized Variable  at lpvm.c:1188

Categories: LANG.MEM.UVAR CWE:457
Warning ID: 404.29116
Similar Warnings: 404.29118
Procedure: pvm_tc_conreq
Trace: view
Modified: Thu Nov 26 11:34:30 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

Source  |  Language: C Hide Legend     
ProblemLineSource
   /kat0/fletcher/SATE/2010/pvm3/src/lpvm.c
   Enter pvm_tc_conreq
true1132 pvm_tc_conreq(mid) 
 1133         int mid;
 1134 {
 1135         int src;                                        /* sender of request */ 
 1136         int sbf = 0;                            /* reply message mid */ 
 1137         int ttpro;                                      /* protocol revision */ 
 1138         struct ttpcb *pcbp;                     /* pcb for connection */ 
 1139         int ackd;                                       /* allow connection (0) */ 
 1140         char *addr = "";                        /* socket address */ 
 1141         int i;
 1142         int ictx;
 1143 #ifdef SOCKLENISUINT 
 1144 #if defined(IMA_AIX4SP2) || defined(IMA_AIX5SP2)
 1145         unsigned int oslen;
 1146 #else 
 1147         size_t oslen;
 1148 #endif 
 1149 #else 
 1150         int oslen;
 1151 #endif 
 1152 #ifndef NOUNIXDOM 
 1153         struct sockaddr_un uns;
 1154         char spath[PVMTMPNAMLEN];
 1155 #endif 
 1156         char buf[256];
 1157  
 1158         pvm_bufinfo(mid, (int *)0, (int *)0, &src);
 1159  
 1160         pvm_upkint(&ttpro, 1, 1);
 1161         pvm_upkstr(buf);
 1162  
 1163         if (pcbp = ttpcb_find(src)) {   /* Uninitialized Variable (ID: 406.29119) */
 1164                 if (pvmdebmask & PDMROUTE) {
 1165                         pvmlogprintf( 
 1166                                         "pvm_tc_conreq() crossed CONREQ from t%x\n", src);
 1167                 }
 1168                 if (pcbp->tt_state == TTCONWAIT) {
 1169  
 1170                         /* must handle simultaneous connect from both ends:
 1171                          *  lower tid of the two just ignores the CONREQ.
 1172                          *  higher tid pretends it didn't send a CONREQ,
 1173                          *      sends a CONACK back.
 1174                          * this makes the connection single-sided.
 1175                          */ 
 1176  
 1177                         if (pvmdebmask & PDMROUTE)
 1178                                 pvmlogerror( "pvmmctl() handling crossed CONREQ\n");
 1179  
 1180                         if (pvmmytid > src) {
 1181                                 if (listen(pcbp->tt_fd, 1) == -1)
 1182                                         pvmlogperror("pvm_tc_conreq() listen");
 1183  
 1184                                 else {
 1185                                         pcbp->tt_state = TTGRNWAIT;
 1186                                         pvm_fd_add(pcbp->tt_fd, 1);
 1187                                         ackd = 0;
buf is uninitialized1188                                         if (buf[0] == '/') {     /* Uninitialized Variable */
Preconditions
&$unknown_10812943 != 0
&$unknown_10812946 != $unknown_10812946
((char*)$unknown_10812945)[12] = 1
((char*)$unknown_10812946)[8] <= -3
$unknown_10812945 != &$unknown_10812946
((char*)&$unknown_10812945)[8] <= -3
((char*)&$unknown_10812945)[8] <= src - 1
pvmtoplvl = 0
src <= -2
src >= ((char*)$unknown_10812946)[8] + 1
Postconditions
((char*)$unknown_10812945)[12]' = 2
*stderr' is allocated by fopen
bytes_before(stderr)' = 0
ackd' = 0
addr' = &#string10[0]
errno' != 0
newline' = 0
pcbp' = $unknown_10812945
pvmmytid' = -1
pvmmyupid' = &$unknown_10812949
pvmrbuf' = &$unknown_10812943
sbf' = 0
ttlist' = &$unknown_10812946




Change Warning 404.29116 : Uninitialized Variable

Because they are very similar, this warning shares annotations with warning 404.29118.

Priority:
State:
Finding:
Owner:
Note: