CodeSonar : Pvm : Null Pointer Dereference

Pvm : Pvm analysis 1 : Null Pointer Dereference at tdpro.c:1885

Categories:	LANG.MEM.NPD CWE:476
Warning ID:	2723.2776
Procedure:	tm_mca
Trace:	View
Modified:	Wed Sep 2 12:44:25 2009 show details hide 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

Problem	Line	Source

			/u1/paul/SATE/2010/c/pvm/pvm3/src/tdpro.c

			Enter tm_mca

tm_mca(tp, mp)

struct task *tp;

struct pmsg *mp;

{

struct mca *mcap; /* mca descriptor */

1868

int ndst; /* num of dst tids */

1869

int *dsts; /* dst tids */

int tid;

int i, j;

* unpack list of dst tids from message (expect it to be sorted).

1875

* discard tids to nonexistent foreign hosts.

mcap = mca_new ();

mcap->mc_tid = TIDGID | tp->t_tid; /* Null Pointer Dereference (ID: 2724.2777) */

1880

upkint(mp, &ndst );

true

1881

dsts = TALLOC(ndst, int, "dsts");

1882

for ( i=0, j=0 ; i < ndst ; i++ ) {

1883

upkuint(mp, &tid );

1884

if ((tid & tidhmask) == myhostpart || tidtohost (hosts, tid ))

dsts <= 4095

1885

dsts[j++] = tid; /* Null Pointer Dereference */

Preconditions

&$unknown_1052161 >= 1
&$unknown_1052163 != 0
hosts->ht_last >= 1

Postconditions

dsts' = 0
$heap_161830' = &$heap_161830
bytes_after(&$heap_161830)' = 32
$heap_161830' is allocated by malloc
$heap_161830' is allocated
bytes_before(&$heap_161830)' = 0
((char*)&$heap_161830)[20]' = 0
((char*)&$heap_161830)[24]' = 0
((char*)&$heap_161830)[8]' = &$heap_161830
i' = 0
j' = 1
mcap' = &$heap_161830
mp' = $param_2
ndst' = &$unknown_1052161
tp' = $param_1

Change Warning 2723.2776 : Null Pointer Dereference

Priority:
State:
Finding:
Owner:
Note: