VSS Package Index  Abraxas VSS Home Table of Contents

Abraxas Software, Inc.

CodeCheck Voting System Standards Test Suite - v422a.c

v422a.c(1): 

// 4.2.2 Software Integrity

v422a.c(3): 

v422a.c(4): /*

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:

v422a.c(12): */

v422a.c(13): 

// a Unbounded arrays or strings (includes buffers used to move data)

v422a.c(15): 

v422a.c(16): 

// global

v422a.c(18): char foo[];	// bad unbounded

v422a.c(19): 

v422a.c(20): char foo1[100];	// good

v422a.c(21): 

// local

Function Name: v1() 
v422a.c(23): v1() {
v422a.c(24): 
v422a.c(25): char foo[];	// bad unbounded
v422a.c(26): 
v422a.c(27): char foo1[100];	// good
v422a.c(28): 

v422a.c(29): }

VSS Package Index  Abraxas VSS Home Table of Contents

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