12/09/2003 13:47:27

Locked Files Lock Date: 11/20/2003
These files are not subjected to analysis. The lock date points to a formal release with a previous analysis.

NotLocked 11/20/2003 15:10:22 source/zz-iatdemo/zz-iatdemo-B1.0/pwr/anylogevents.c
Locked 11/19/2003 16:8:33 source/zz-iatdemo/zz-iatdemo-B1.0/pwr/badcoding.c

Possible Problem Hamming Distances Summmary
Files containing hex values which may set variables that may need to be a hamming distance. Visually inspect this summary report and the details to verify that hamming values do not apply to these cases.

1 1-245 . source/zz-iatdemo/zz-iatdemo-B1.0/pwr/anylogevents.c A = 0x0003; 1
2 1-246 . source/zz-iatdemo/zz-iatdemo-B1.0/pwr/anylogevents.c A = 0x0006; 1
3 1-247 . source/zz-iatdemo/zz-iatdemo-B1.0/pwr/anylogevents.c A = 0x0009; 1
Total 3

1 1 Source: source/zz-iatdemo/zz-iatdemo-B1.0/pwr/anylogevents.c
 1-240 . A = 0x0001; Note: Possible Ham value on list
 1-241 . A = 0x0002; Note: Possible Ham value on list
 1-242 . A = 0x0004; Note: Possible Ham value on list
 1-243 . A = 0x0007; Note: Possible Ham value on list
 1-244 . A = 0x0008; Note: Possible Ham value on list
 1-245 . A = 0x0003; Warning: Possible Ham value not on list
 1-246 . A = 0x0006; Warning: Possible Ham value not on list
 1-247 . A = 0x0009; Warning: Possible Ham value not on list

1 1 Result: result/source/zz-iatdemo/zz-iatdemo-B1.0/pwr/anylogevents.c

This report searches for hex patterns and compares them against a known set of hex patterns that have a hamming distance of two. Use this report to look for potential security critical parameters that do not have the appropriate hamming distance. If a naming convention is used on the security critical parameters or is a list of security critrical parameters is developed, the noise in the report can be reduced. Description 7

Master Directories

Project	Instrumentation	Test
Source	Result	Analysis
Metrics

Report Markings
Report Marking
Highest Code Classification
Lowest Code Classification
Classified Keywords

Headers
.*BEGIN PROLOGUE.*CLASSIFICATION.*FILE NAME.*ABSTRACT.*HISTORY.*CCCQ_VER.*END PROLOGUE C Header
.*BEGIN PROLOGUE.*CLASSIFICATION.*FILE NAME.*ABSTRACT.*HISTORY.*CCCQ_VER.*END PROLOGUE H Header
.*BEGIN PROLOGUE.*CLASSIFICATION.*FILE NAME.*ABSTRACT.*HISTORY.*CCCQ_VER.*END PROLOGUE asm Header

File Controls
Assembly Extensions
Access Files
Ignore Files
Paths
File Path
Src Paths (websever /~iat no websever ../../)
URL (websever /~iat no websever ../../ dos is blank)

Source Dir Path
Result Dir Path
Analysis Dir Path(no websever setting ../ft-red-B1B2D6_Ry)
Analysis Report Name
Files

toc file	bfw file	hmi file
toc html	bfw html

General Settings
CPCs
1 2 3 4 5 6 7 Colors

Log Event Patterns
SV Events case Insensitive
Filter SV Events case Insensitive (e.g. traffic)
Filter Files case Insensitive
nnoonnee DB Events case Sensitive
nnoonnee HMI Events case Sensitive
nnoonnee LOC Events case Sensitive
nnoonnee Filter LOC Events (e.g. traffic)

Table Driven Functions used by uncalled functions detector
nnoonnee

Fixed Keywords case insensitive
C
H
Assembly

Keywords case insensitive
nnoonnee find 1
nnoonnee find 2
nnoonnee find 3
nnoonnee find 4
nnoonnee find 5

--\| ignore lines

Keyword Window

Hamming Patterns


Log Events
SV Start DB Start HMI Start LOC Start
Instrument Source LE Summary Auto Trace Fix LE English

Show in Details Report

Abstract	SV REQUIRED	Full Header	All SourceCode	Only SVCV src
Comments	CV REQUIRED	Rquirements	Functions	Show Only Affected Files	Analyze Only LE SV

Reports
Control Menu Keywords Stats Metrics Ham Values Details Problem Summaries Problem Descriptions Compare

Reports - Automatic Detectors Default Problems Locked Files Date (e.g. 01/05/2003)

Fatal	Printf	C Headers	H Headers	ASM Headers
Class	SV Marking	CV Marking	Keywords Code	Keywords Prologues
No Curly Braces	ifdef	Switch Default's	Default Error	Case Break
Nested Switches	Stacked Cases	Calling Rules	No Error Exit	?: operator
Func/File	LOC/File	Line Length	< 5 LOC/Func	> 100 LOC/Func
Uncalled Func's	Dead Code	Fuzzy Log Events	++/-- in if, else, while	do Loops
malloc free	Re-Casting	goto	No Func Header

Regression noise reduction for Automatic Detectors - must run regression.pl first
new files
mod files

Metrics Baseline Accessed
Metrics Saved (enable stats)