CodeSonar : pvm3.4.6 : Null Pointer Dereference

pvm3.4.6 : pvm3.4.6 analysis 2 : Null Pointer Dereference at cmds.c:497

Categories:

LANG.MEM.NPD CWE:476

Warning ID:

498.29280

Similar Warnings:

498.29279

Procedure:

newalias

Trace:

view

Modified:

Thu Nov 26 11:36:45 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

Problem	Line	Source

			/kat0/fletcher/SATE/2010/pvm3/console/cmds.c

			Enter newalias

484

struct alias *

485

newalias(name, num, args)

char *name;

int num;

char **args;

{

struct alias *ap, *ap2;

491

492

ap = TALLOC(1, struct alias, "alias");

493

ap->a_name = STRALLOC(name); /* Null Pointer Dereference (ID: 500.29282) */

494

ap->a_args = TALLOC(num + 1, char *, "aargs"); /* Integer Overflow of Allocation Size (ID: 499.29281) */

ap->a_num = num;

while (num-- > 0)

ap->a_args[num] = STRALLOC(args[num]); /* Null Pointer Dereference */

Preconditions

num >= 2

Postconditions

ap' = &$heap_443469
errno' != 0
bytes_after(&$heap_443469)' = 24
$heap_443469' is allocated by malloc
$heap_443469' is allocated
bytes_before(&$heap_443469)' = 0
((char*)&$heap_443469)[16]' = &$heap_443471
((char*)&$heap_443469)[8]' = &$heap_443470
((char*)&$heap_443469)[12]' = num
$heap_443470' = *name
bytes_after(&$heap_443470)' = strlen(name) + 1
$heap_443470' is allocated by malloc
$heap_443470' is allocated
bytes_before(&$heap_443470)' = 0
strlen(&$heap_443470)' = strlen(name)
tocttou($heap_443470)' = tocttou(*name)
bytes_after(&$heap_443471)' = 4 * num + 4
$heap_443471' is allocated by malloc
$heap_443471' is allocated
bytes_before(&$heap_443471)' = 0
num' = 0

Change Warning 498.29280 : Null Pointer Dereference

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