CodeSonar : Pvm : Null Pointer Dereference

Categories:	LANG.MEM.NPD CWE:476
Warning ID:	2846.2907
Procedure:	trc_check_for_dead_host
Trace:	View
Modified:	Wed Sep 2 12:49:48 2009 show details hide details

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

Problem	Line	Source

			/u1/paul/SATE/2010/c/pvm/pvm3/tracer/trcutil.c

			Enter trc_check_for_dead_host

	1841		trc_check_for_dead_host( ID, TT )
	1842		TRC_ID ID;
	1843		TRC_TEVTASK TT;
	1844		{
	1845		TRC_TEVTASK TTptr;
	1846
	1847		TRC_HOST Hlast;
	1848		TRC_HOST H;
	1849
	1850		int pvmd_tid;
	1851		int alive;
	1852		int tmp;
	1853
	1854		/* Get Host Task ID, See if Host is "Dead" */
	1855
	1856		pvmd_tid = pvm_tidtohost( TT->tid );
	1857

if ( H->in_pvm != TRC_NOT_IN_PVM ) /* Null Pointer Dereference */

Preconditions

TRC_HOST_LIST->next = 0

Postconditions

H' = 0
Hlast' = TRC_HOST_LIST
ID' = $param_1
TT' = $param_2
pvmd_tid' != TRC_HOST_LIST->pvmd_tid