VSS Package Index  Abraxas VSS Home Table of Contents

Abraxas Software, Inc.

CodeCheck Voting System Standards Test Suite - v422c.c

// 4.2.2 Software Integrity
v422c.c(2): /*
Self-modifying, dynamically loaded, or interpreted code is prohibited, except under
the security provisions outlined in section 6.4.e. This prohibition is to ensure that the
software tested and approved during the qualification process remains unchanged and
retains its integrity. External modification of code during execution shall be
prohibited. Where the development environment (programming language and
development tools) includes the following features, the software shall provide
controls to prevent accidental or deliberate attempts to replace executable code:
v422c.c(10): */
// c Dynamic memory allocation and management.

Function Name: v422c()

v422c.c(14): v422c() {
v422c.c(16): 	char *mp = malloc(100);	// illegal
v422c.c(18): 	free(mp);				// illegal
v422c.c(19): }

VSS Package Index  Abraxas VSS Home Table of Contents

CodeCheck Copyright (c) 1988-2006 by Abraxas Software Inc. (R). All rights reserved.