VSS Package Index  Abraxas VSS Home Table of Contents

Abraxas Software, Inc.


CodeCheck Voting System Standards Test Suite - v422b.c

// 4.2.2 Software Integrity
v422b.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:
v422b.c(10): */
// b Pointer variables
v422b.c(12): 
v422b.c(13): char *cp;
v422b.c(14): 
v422b.c(15): cp = 1;		// NO, verboten
v422b.c(16): 
v422b.c(17): *cp = 1;	// NO
v422b.c(18): 



Function Name: vss_542b()

v422b.c(19): vss_542b() {
v422b.c(20): 
v422b.c(21): 
v422b.c(22): 	char *cp;
v422b.c(23): 
v422b.c(24): 		cp = 1;		// NO, verboten
v422b.c(25): 
v422b.c(26): 		*cp = 1;	// NO
v422b.c(27): 
v422b.c(28): }

VSS Package Index  Abraxas VSS Home Table of Contents

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