Text  |   XML   |   Visible Warnings:

pvm3.4.6 : pvm3.4.6 analysis 2 : Null Pointer Dereference  at ddpro.c:1485

Categories: LANG.MEM.NPD CWE:476
Warning ID: 22060.28738
Procedure: exectasks
Trace: view
Modified: Thu Nov 26 11:27:40 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/ddpro.c
   Enter exectasks
 1401 exectasks(mp, rmp, schtid) 
 1402         struct pmsg *mp;                /* the request message */ 
 1403         struct pmsg *rmp;               /* reply message blank */ 
 1404         int schtid;                             /* scheduler for new tasks */ 
 1405 {
 1406         struct pmsg *mp2;                       /* reply message hdl */ 
 1407         int i;
 1408         struct timeval now;
 1409         struct waitc_spawn *wxp;        /* new task parameters */ 
 1410         int munge_tenv = 0;
 1411         char tmp[255];
 1412         char *wd = 0;
 1413         char *savewd = 0;
 1414  
 1415         wxp = TALLOC(1, struct waitc_spawn, "waix");   /* Integer Overflow of Allocation Size (ID: 120.28741) */
 1416         BZERO((char*)wxp, sizeof(struct waitc_spawn));   /* Null Pointer Dereference (ID: 125.28746) */
 1417  
 1418         /* unpack message */ 
 1419  
 1420         if (upkuint(mp, &wxp->w_ptid) 
 1421         || upkstralloc(mp, &wxp->w_file) 
 1422         || upkint(mp, &wxp->w_flags) 
 1423         || upkint(mp, &wxp->w_veclen) 
 1424         || upkint(mp, &wxp->w_argc))
 1425                 goto bad;
 1426  
 1427         if (wxp->w_veclen < 1)
 1428                 goto bad;
 1429         wxp->w_vec = TALLOC(wxp->w_veclen, int, "tids");   /* Integer Overflow of Allocation Size (ID: 124.28745) */
 1430  
 1431         wxp->w_argc += 2;
 1432         wxp->w_argv = TALLOC(wxp->w_argc + 1, char*, "argv");   /* Integer Overflow of Allocation Size (ID: 123.28744) */
 1433         BZERO((char*)wxp->w_argv, (wxp->w_argc + 1) * sizeof(char*));   /* Null Pointer Dereference (ID: 122.28743) */
 1434         wxp->w_argv++;
 1435         wxp->w_argv[0] = wxp->w_file;   /* Null Pointer Dereference (ID: 121.28742) */
 1436         wxp->w_file = 0;
 1437         wxp->w_argv[--wxp->w_argc] = 0;
 1438         for (i = 1; i < wxp->w_argc; i++)
 1439                 if (upkstralloc(mp, &wxp->w_argv[i]))
 1440                         goto bad;
 1441  
 1442         if (upkuint(mp, &wxp->w_outtid) 
 1443         || upkuint(mp, &wxp->w_outctx) 
 1444         || upkuint(mp, &wxp->w_outtag) 
 1445         || upkuint(mp, &wxp->w_trctid) 
 1446         || upkuint(mp, &wxp->w_trcctx) 
 1447         || upkuint(mp, &wxp->w_trctag) 
 1448         || upkuint(mp, &wxp->w_nenv))
 1449                 goto bad;
 1450  
 1451         wxp->w_hosttotal = wxp->w_veclen; /* this is the task count! */ 
 1452  
 1453         if (pvmtracer.trctid) {
 1454                 if (!(wxp->w_trctid) && pvmtracer.trctag) {
 1455                         wxp->w_trctid = pvmtracer.trctid;
 1456                         wxp->w_trcctx = pvmtracer.trcctx;
 1457                         wxp->w_trctag = pvmtracer.trctag;
 1458                         munge_tenv++;
 1459                 }
 1460         }
 1461  
 1462         if (pvmtracer.outtid) {
 1463                 if (!(wxp->w_outtid) && pvmtracer.outtag) {
 1464                         wxp->w_outtid = pvmtracer.outtid;
 1465                         wxp->w_outctx = pvmtracer.outctx;
 1466                         wxp->w_outtag = pvmtracer.outtag;
 1467                 }
 1468         }
 1469  
 1470         wxp->w_env = TALLOC((wxp->w_nenv + 1), char*, "env");
 1471         BZERO(wxp->w_env, (wxp->w_nenv + 1) * sizeof(char*));   /* Null Pointer Dereference (ID: 119.28740) */
 1472  
 1473         for (i = 0; i < wxp->w_nenv; i++)
 1474                 if (upkstralloc(mp, &wxp->w_env[i]))
 1475                         goto bad;
 1476  
 1477         if ( upkuint(mp, &wxp->w_instance) || upkuint(mp, &wxp->w_outof))
 1478                 goto bad;
 1479  
 1480         /* check for spawn working directory */ 
 1481  
 1482         for (i = 0; i < wxp->w_nenv; i++)
 1483                 if ( !strncmp( "PVMSPAWNWD=", wxp->w_env[i],
 1484                                 strlen("PVMSPAWNWD=") ) )
true1485                         wd = STRALLOC( wxp->w_env[i] + strlen("PVMSPAWNWD=") );     /* Null Pointer Dereference */
Preconditions 
&$unknown_419310 >= 1
strlen(&$unknown_419328) = 11
((char*)&$heap_61213)[24] >= 1
((char*)&$heap_61213)[44] = 0
((char*)&$heap_61213)[56] >= 2
pvmtracer.trctid != 0
pvmtracer.trctag = 0
pvmtracer.outtid = 0
Postconditions 
codesonar_distance_tweak' = 2
errno' != 0
$heap_61213' = 0
bytes_after(&$heap_61213)' = 84
$heap_61213' is allocated by malloc
bytes_before(&$heap_61213)' = 0
((char*)&$heap_61213)[20]' = 0
((char*)&$heap_61213)[60]' = &$heap_61216
((char*)&$heap_61213)[76]' = ((char*)&$heap_61213)[24]
((char*)&$heap_61213)[8]' = -2
((char*)&$heap_61213)[12]' = &$heap_61215 + 4
bytes_after(&$heap_61214)' = &$unknown_419310
$heap_61214' is allocated by malloc
bytes_before(&$heap_61214)' = 0
bytes_after(&$heap_61215)' = 0
$heap_61215' is allocated by malloc
$heap_61215' is allocated
bytes_before(&$heap_61215)' = 0
((char*)&$heap_61215)[-4]' = 0
((char*)&$heap_61215)[4]' = &$heap_61214
$heap_61216' = 0
bytes_after(&$heap_61216)' = 4 * ((char*)&$heap_61213)[56] + 4
$heap_61216' is allocated by malloc
bytes_before(&$heap_61216)' = 0
i' = ((char*)&$heap_61213)[56] - 1
munge_tenv' = 0
savewd' = 0
wxp' = &$heap_61213



Change Warning 22060.28738 : Null Pointer Dereference

Priority:
State:
Finding:
Owner:
Note: