Text  |   XML   |   Visible Warnings:

pvm3.4.6 : pvm3.4.6 analysis 2 : Uninitialized Variable  at lpvmcat.c:365

Categories: LANG.MEM.UVAR CWE:457
Warning ID: 364.29054
Similar Warnings: 364.29050, 364.29051, 364.29053
Procedure: pvmclaimo
Trace: view
Modified: Thu Nov 26 11:30:43 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/lpvmcat.c
   Enter pvmclaimo
true340 pvmclaimo(mid) 
 341         int mid;
 342 {
 343         int tid;                                        /* task */ 
 344         int n;                                          /* length or event code */ 
 345         char *p;
 346         int ptid;
 347         struct tobuf *op;
 348  
 349 /*
 350         if (TRACE) {
 351                 checktrace(jp, cc, len, cod, src);
 352                 return 0;
 353         }
 354 */ 
 355  
 356         pvm_upkint(&tid, 1, 1);
 357         pvm_upkint(&n, 1, 1);
 358  
 359         if (!tobuflist) {
 360                 pvmlogprintf("pvmclaimo() message from task t%x\n", tid);   /* Uninitialized Variable (ID: 22109.29056) */
 361                 goto done;
 362         }
 363  
 364         if (n > 0) {    /* output printed by task */   /* Uninitialized Variable (ID: 22108.29055) */
tid is uninitialized365                 if (!(op = tobuf_find(tid))) {     /* Uninitialized Variable */
Preconditions 
&$unknown_2844693 != 0
&$unknown_2844694 >= 1
myfmt != -1
pvmautoerr != 0
pvmautoerr != 2
pvmautoerr != 3
pvmmytid = -1
pvmrbuf = 0
pvmtoplvl != 0
pvmtrc.trctid >= 1
$input_309460 <= 97
$input_309460 >= 0
tobuflist != 0
Postconditions 
((char*)$unknown_2844687)[4]' = ((char*)&$unknown_2844687)[4]
((char*)$unknown_2844687)[4]' = $unknown_2844687
*stderr' is allocated by fopen
bytes_before(stderr)' = 0
$unknown_2844687' = &$unknown_2844687
((char*)&$unknown_2844687)[16]' = 0
((char*)&$unknown_2844687)[20]' = 1
((char*)&$unknown_2844687)[24]' = 0
((char*)&$unknown_2844687)[28]' = 0
((char*)&$unknown_2844687)[32]' = 0
((char*)&$unknown_2844687)[36]' = 0
((char*)&$unknown_2844687)[40]' = 0
((char*)&$unknown_2844687)[4]' = &$unknown_2844687
((char*)&$unknown_2844687)[44]' = 0
((char*)&$unknown_2844687)[48]' = 0
((char*)&$unknown_2844687)[52]' = 0
((char*)&$unknown_2844687)[56]' = 0
((char*)&$unknown_2844687)[60]' = 0
((char*)&$unknown_2844687)[64]' = 0
((char*)&$unknown_2844687)[8]' = 0
((char*)&$unknown_2844687)[12]' = 0
errno' != 0
f' = f + 1
freepmsgs.m_link' = &$unknown_2844687
$heap_352430' = &$heap_352430
bytes_after(&$heap_352430)' = 64
$heap_352430' is allocated by malloc
$heap_352430' is allocated
bytes_before(&$heap_352430)' = 0
((char*)&$heap_352430)[4]' = &$heap_352430
$heap_352431' = $input_309468
bytes_after(&$heap_352431)' = $input_309460 + 1
$heap_352431' is allocated by malloc
$heap_352431' is a non-heap object
bytes_before(&$heap_352431)' = 0
strlen(&$heap_352431)' = $input_309460
n' = &$unknown_2844694
pvm_errno' = -15
pvm_useruid' != -1
pvmmydsig' = myfmt
pvmrbuf' = &$unknown_2844693
pvmrxlist' = &$unknown_2844687
td' = &$heap_352431
ttlist' = &$heap_352430



Change Warning 364.29054 : Uninitialized Variable

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