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): */

v422c.c(11): 

// c Dynamic memory allocation and management.

v422c.c(13): 

Function Name: v422c() 
v422c.c(14): v422c() {
v422c.c(15): 
v422c.c(16): 	char *mp = malloc(100);	// illegal
v422c.c(17): 
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.