Logevents v111003 analysis/pr-app-PWR123 s

Logevents v111003 analysis/pr-app-PWR123 s_keywords-all.html C:\IndigoPerl\bin\perl.exe 5.006

Description This is a legacy report. IAT started with just this report. Use this report to look for keywords that point to potential problems in the software. Some of the more important keywords are TBD and stub. In future releases of software try not to use TBD for items such as future. If you are web enabled, try re-running the report with other keywords. New potential issues may be surfaced.

Analysis	Comment
Keywords	This analysis shows the user selected keywords that were extracted from the original source code. There are also predefined keywords that are seperately reported by the tool in the Problems and Details analysis.
Problems	This analysis summarizes all the problems detected by the automated software analysis.
Details	This analysis shows the details from the original source code that are extracted from the search requests and internal error, warning, and caution settings. It also includes software metrics on a module basis.

Other Analysis Reports . Original Source Code . Instrumented Source Code . Help

12/08/2003 16:11:10

Keyword Stats

Good General Practices

use new and delete instead of malloc and free

do not use ?:

if a func has no parameters, use () instead of (void)

do not use goto

avoid declaring member variable with 'mutable' keyword

avoid declaring local variables with 'register' keyword

avoid declaring local variables with 'static' keyword

avoid do statements - potential endless loops

look for unusual and pertinent keywords

consistency is nice but not mandated

provide if with else

Good Security Practices

the bad fixed keywords are shown elsewhere

terminate case with break;

for each switch, provide default:

default: with security critical data should transfer to SwError

if else sequences with security critical data terminate in SwError

s_ files with if else sequences in many cases terminate in SwError

terminate other as identified if else sequences with SwError

look for undefined error codes in SwError

look for multiple uses of the same error codes

malloc should not be used on security critical data

if malloc is used on security critical data crypto zeroize before free

Number Sort

154	LE SV	17	buffer	11	alloc	10	Free	9	halt	6	malloc
6	?	5	new	5	goto	2	TBS	2	TBD

Alpha Sort

6	?	10	Free	154	LE SV	2	TBD	2	TBS	11	alloc
17	buffer	5	goto	9	halt	6	malloc	5	new

Keywords Not Found

debug
delay	return\;	while\(\d+\).	enable	disable	exception
demo	reuse	pragma	asap	nnoonnee	\bstub\b
dedicated	timeout	global	delete	mutable	friend
explicit

Possible Problems

Analysis Summary

Details Report

1 1 Source: source/pr-app/pr-app-PWR123/pwr-01.c
Note: OK Classification Marking
Note: Good Header
 1-15 pwr.1.1
 1-74 pwr.1.2
 1-128 // (P) this is really improtant
Attention: Classified text in wrong file name: (P)
 1-244 #ifdef LAZY
Attention: Conditional Compile ifdef
 1-248 #endif
Attention: Conditional Compile #endif
 1-326 FreePtr = HmiStringPtr;
Attention: Storage FreePtr = HmiStringPtr;
 1-326 . FreePtr = HmiStringPtr;
 1-336 pwr.1.3
 1-357 . rcv_buffer = (U16 *) alloc(size+1);
 1-424 pwr.1.4
 1-478 pwr.1.5
 1-502    halt;
Attention: Classified text in wrong file name: halt
 1-502 .    halt;
 1-540    default:
   {
      // missing error call
   }
Attention: Missing SwError
 1-646 pwr.1.6
 1-725 {
   case one:
   {
      run_this;
      break;
   }
   case two:
   {
      run_this;
      break;
   }
   // missing default
}

A = B+C;
A = B+C;

switch (pwr stuff)
Attention: Missing default
 1-755    default:
   {
      // missing error call
   }
Attention: Missing SwError
 1-806 pwr.1.7
 1-871 /* LE SV TOC-2414 this is a pwr-01.7.16 req to halt*/
Attention: Classified text in wrong file name: halt
 1-896 pwr.1.8
 1-1008 pwr.1.9

 1-1107 Warning: do Loop do forever;
  1-1137 {
   case one:
   {
      run_this;
      break;
   }
   case two:
   {
      run_this;
      break;
   }
   // missing default
}

A = B+C;
A = B-C;
A = B+C;
A = B/C;

if (A ne B)
{
   A = B + C;
   D = E + F;
}


if (A > B)
{
   A = B + C;
   D = E + F;
}


if (A ne B)
{
   A = B + C;
   D = E + F;
}

A = B+C;
A = B-C;
A = B*C;
A = B*C;
A = B/C;

if (A ge B)
{
   A = B + C;
   D = E + F;
}

A = B-C;

if (A le B)
{
   A = B + C;
   D = E + F;
}

A = B+C;

switch (pwr stuff)
Attention: Missing default
 1-1242 pwr.1.10
 1-1297 . rcv_buffer = (U16 *) alloc(size+1);
 1-1299 send_buffer = (U16 *) malloc(size+1);
Attention: Storage malloc(size+1);
 1-1299 . send_buffer = (U16 *) malloc(size+1);
 1-1308 // (P) this is really improtant
Attention: Classified text in wrong file name: (P)
 1-1350 pwr.1.11
 1-1397 dead_block = C * D; 
Attention: Dead Code
 1-1445 free(FreePtr);
Attention: Storage FreePtr);
 1-1445 . free(FreePtr);
 1-1454 /* dead_code = A * B; */
Attention: Dead Code
 1-1486 pwr.1.12
 1-1676 pwr.1.13
 1-1698       // missing break
    {
      run_this; 
      // missing break
   }
Attention: Missing break in case

Warning: Functions Exceed 13

Error: File with 720 LOC 

1 1 Result: result/source/pr-app/pr-app-PWR123/pwr-01.c
2 2 Source: source/pr-app/pr-app-PWR123/pwr-01.h
Note: OK Classification Marking
Note: Good Header

2 2 Result: result/source/pr-app/pr-app-PWR123/pwr-01.h

3 3 Source: source/pr-app/pr-app-PWR123/pwr-02.c
Note: OK Classification Marking
Note: Good Header
 2-15 pwr.2.1
 2-73 pwr.2.2
 2-92 // ??? go see ws
Attention: Possible problem Keyword ??
 2-92 . // ??? go see ws
 2-130 dead_block = E * F; */
Attention: Dead Code
 2-159 dead_block = C * D; 
Attention: Dead Code
 2-216 A = (long)B + C;
Attention: Recasting (long)
 2-258 pwr.2.3
 2-280 FreePtr = HmiStringPtr;
Attention: Storage FreePtr = HmiStringPtr;
 2-280 . FreePtr = HmiStringPtr;

 2-313 Warning: goto Statement goto error;
  2-313 . goto error;
 2-341 {
   case one:
   {
      switch (nested)
Attention: Missing default
 2-343    {
    {
      switch (nested)
Attention: Nested switch
 2-347             X = Y + Z;
             X = Y + Z;
         case:
Attention: Missing break in case
 2-399       // missing break
    {
      run_this; 
      // missing break
   }
Attention: Missing break in case
 2-559 pwr.2.4
 2-595 pwr.2.5
 2-608 send_buffer = (U16 *) malloc(size+1);
Attention: Storage malloc(size+1);
 2-608 . send_buffer = (U16 *) malloc(size+1);
 2-632 dead_block = E * F; */
Attention: Dead Code
 2-645    case:
    case:
Attention: Stacked case statements
 2-646 
    // stacked case statements but only if there is a new line in between

   case:
Attention: Stacked case statements
 2-647 .    // stacked case statements but only if there is a new line in between
 2-649    case:
    case:
Attention: Stacked case statements
 2-650    case:
    case:
Attention: Stacked case statements
 2-656    default:
   {
      halt;
   }
Attention: Missing SwError
 2-658       halt;
Attention: Classified text in wrong file name: halt
 2-658 .       halt;
 2-680 dead_block = E * F; */
Attention: Dead Code
 2-805 pwr.2.6

 2-843if (veg)
Warning: Missing curly brace looked as far as 850
 2-942    halt;
Attention: Classified text in wrong file name: halt
 2-942 .    halt;
 2-954 dead_block = C * D; 
Attention: Dead Code
 2-1062 // (P) this is really improtant
Attention: Classified text in wrong file name: (P)

Warning: Functions Exceed 6

3 3 Result: result/source/pr-app/pr-app-PWR123/pwr-02.c

4 4 Source: source/pr-app/pr-app-PWR123/pwr-02.h
Attention: File s_ Marking wrong or Header Classification blank
Attention: OOPs No Header

4 4 Result: result/source/pr-app/pr-app-PWR123/pwr-02.h

5 5 Source: source/pr-app/pr-app-PWR123/pwr-03.c
Note: OK Classification Marking
Note: Good Header
 3-15 pwr.3.1
 3-66 pwr.3.2
 3-135 dead_code = D + E; 
Attention: Dead Code
 3-239 dead_block = C * D; 
Attention: Dead Code
 3-266 pwr.3.3
 3-280 dead_code = B - C; 
Attention: Dead Code
 3-332 pwr.3.4
 3-385 {
   case one:
   {
      switch (nested)
Attention: Missing default
 3-387    {
    {
      switch (nested)
Attention: Nested switch
 3-391             X = Y + Z;
             X = Y + Z;
         case:
Attention: Missing break in case
 3-512 pwr.3.5
 3-611 dead_code = B - C; 
Attention: Dead Code
 3-638 pwr.3.6
 3-652 . rcv_buffer = (U16 *) alloc(size+1);
 3-682 free(FreePtr);
Attention: Storage FreePtr);
 3-682 . free(FreePtr);
 3-718 {
   case one:
   {
      run_this;
      break;
   }
   case two:
   {
      run_this;
      break;
   }
   // missing default
}

A = B-C;
A = B*C;
A = B-C;

if (A ge B)
{
   A = B + C;
   D = E + F;
}

A = B*C;
A = B*C;
A = B/C;
A = B*C;
A = B*C;

if (A > B)
{
   A = B + C;
   D = E + F;
}


if (A le B)
{
   A = B + C;
   D = E + F;
}

A = B*C;
A = B*C;

if (A >= B)
{
   A = B + C;
   D = E + F;
}


if (A le B)
{
   A = B + C;
   D = E + F;
}

A = B*C;
/* LE SV TOC-2449 this is a pwr-03.6.45 req to store*/
A = B/C;

#ifdef LAZY
   // this is not nice
   A = B + C;
   A = B + C;
#endif

A = B*C;

switch (pwr stuff)
Attention: Missing default
 3-782 #ifdef LAZY
Attention: Conditional Compile ifdef
 3-786 #endif
Attention: Conditional Compile #endif
 3-842 pwr.3.7
 3-1025 pwr.3.8
 3-1096 . rcv_buffer = (U16 *) alloc(size+1);
 3-1190 /* dead_code = A * B; */
Attention: Dead Code
 3-1226 dead_code = B - C; 
Attention: Dead Code
 3-1270 dead_code = D + E; 
Attention: Dead Code

Warning: Functions Exceed 8

Error: File with 558 LOC 

5 5 Result: result/source/pr-app/pr-app-PWR123/pwr-03.c

6 6 Source: source/pr-app/pr-app-PWR123/pwr-03.h
Note: OK Classification Marking
Note: Good Header

6 6 Result: result/source/pr-app/pr-app-PWR123/pwr-03.h

7 7 Source: source/pr-app/pr-app-PWR123/pwr-04.c
Note: OK Classification Marking
Note: Good Header
 4-15 pwr.4.1
 4-84    default:
   {
      // missing error call
   }
Attention: Missing SwError
 4-158 pwr.4.2

 4-290 {
FATAL Compile Error: Missing curly brace LE breaks  path 
 4-299 // TBS - I need to figure this out
Attention: Possible problem Keyword TBS
 4-299 . // TBS - I need to figure this out
 4-348 A = (float)B + C;
Attention: Recasting (float)
 4-364 pwr.4.3

 4-389if (veg)
Warning: Missing curly brace looked as far as 394
 4-438 dead_code = B - C; 
Attention: Dead Code
 4-449 {
   case one:
   {
      switch (nested)
Attention: Missing default
 4-451    {
    {
      switch (nested)
Attention: Nested switch
 4-455             X = Y + Z;
             X = Y + Z;
         case:
Attention: Missing break in case

 4-500 Warning: goto Statement goto error;
  4-500 . goto error;
 4-567 A = (long)B + C;
Attention: Recasting (long)
 4-571 A = (long)B + C;
Attention: Recasting (long)
 4-611 pwr.4.4
 4-661 dead_code = B - C; 
Attention: Dead Code
 4-742 pwr.4.5
 4-814    case:
    case:
Attention: Stacked case statements
 4-815 
    // stacked case statements but only if there is a new line in between

   case:
Attention: Stacked case statements
 4-816 .    // stacked case statements but only if there is a new line in between
 4-818    case:
    case:
Attention: Stacked case statements
 4-819    case:
    case:
Attention: Stacked case statements
 4-825    default:
   {
      halt;
   }
Attention: Missing SwError
 4-827       halt;
Attention: Classified text in wrong file name: halt
 4-827 .       halt;
 4-850 pwr.4.6
 4-891 send_buffer = (U16 *) malloc(size+1);
Attention: Storage malloc(size+1);
 4-891 . send_buffer = (U16 *) malloc(size+1);
 4-961 A = (long)B + C;
Attention: Recasting (long)
 4-968       // missing break
    {
      run_this; 
      // missing break
   }
Attention: Missing break in case
 4-989 . rcv_buffer = (U16 *) alloc(size+1);
 4-1053 // (P) this is really improtant
Attention: Classified text in wrong file name: (P)
 4-1116 FreePtr = HmiStringPtr;
Attention: Storage FreePtr = HmiStringPtr;
 4-1116 . FreePtr = HmiStringPtr;
 4-1120 // TBD - what do I do now
Attention: Possible problem Keyword TBD
 4-1120 . // TBD - what do I do now
 4-1139 pwr.4.7

 4-1180if (veg)
Warning: Missing curly brace looked as far as 1185
 4-1259 pwr.4.8
 4-1284    default:
   {
      // missing error call
   }
Attention: Missing SwError
 4-1326 // ??? go see ws
Attention: Possible problem Keyword ??
 4-1326 . // ??? go see ws
 4-1366 {
   case one:
   {
      switch (nested)
Attention: Missing default
 4-1368    {
    {
      switch (nested)
Attention: Nested switch
 4-1372             X = Y + Z;
             X = Y + Z;
         case:
Attention: Missing break in case
 4-1408 A = (long)B + C;
Attention: Recasting (long)
 4-1526 pwr.4.9
 4-1627 FreePtr = HmiStringPtr;
Attention: Storage FreePtr = HmiStringPtr;
 4-1627 . FreePtr = HmiStringPtr;
 4-1815 . rcv_buffer = (U16 *) alloc(size+1);
 4-1831 pwr.4.10
 4-1884    case:
    case:
Attention: Stacked case statements
 4-1885 
    // stacked case statements but only if there is a new line in between

   case:
Attention: Stacked case statements
 4-1886 .    // stacked case statements but only if there is a new line in between
 4-1888    case:
    case:
Attention: Stacked case statements
 4-1889    case:
    case:
Attention: Stacked case statements
 4-1895    default:
   {
      halt;
   }
Attention: Missing SwError
 4-1897       halt;
Attention: Classified text in wrong file name: halt
 4-1897 .       halt;
 4-1910 // ??? go see ws
Attention: Possible problem Keyword ??
 4-1910 . // ??? go see ws
 4-1924 A = (long)B + C;
Attention: Recasting (long)
 4-2011 A = (float)B + C;
Attention: Recasting (float)
 4-2018 dead_block = C * D; 
Attention: Dead Code
 4-2044 pwr.4.11
 4-2144    default:
   {
      // missing error call
   }
Attention: Missing SwError
 4-2227 // TBD - what do I do now
Attention: Possible problem Keyword TBD
 4-2227 . // TBD - what do I do now

Warning: Functions Exceed 11

Error: File with 1035 LOC 

7 7 Result: result/source/pr-app/pr-app-PWR123/pwr-04.c

8 8 Source: source/pr-app/pr-app-PWR123/pwr-04.h
Note: OK Classification Marking
Note: Good Header

8 8 Result: result/source/pr-app/pr-app-PWR123/pwr-04.h

9 9 Source: source/pr-app/pr-app-PWR123/pwr-05.c
Note: OK Classification Marking
Note: Good Header
 5-15 pwr.5.1
 5-103 pwr.5.2
 5-216 {
   case one:
   {
      run_this;
      break;
   }
   case two:
   {
      run_this;
      break;
   }
   // missing default
}


if (A != B)
{
   A = B + C;
   D = E + F;
}

A = B-C;

if (A gt B)
{
   A = B + C;
   D = E + F;
}

A = B/C;

if (A <= B)
{
   A = B + C;
   D = E + F;
}

A = B/C;

if (A == B)
{
   A = B + C;
   D = E + F;
}

A = B*C;
A = (int)B + C;
A = B*C;
/* LE SV TOC-2496 this is a pwr-05.2.37 req to inhibit*/
A = B*C;
A = B/C;
A = 0x0009;
do forever;

if (A ge B)
{
   A = B + C;
   D = E + F;
}

A = B+C;

if (A != B)
{
   A = B + C;
   D = E + F;
}


switch (pwr stuff)
Attention: Missing default
 5-263 A = (int)B + C;
Attention: Recasting (int)

 5-269 Warning: do Loop do forever;
 
 5-346 Warning: goto Statement goto error;
  5-346 . goto error;
 5-440 pwr.5.3
 5-617 pwr.5.4
 5-631 A = (long)B + C;
Attention: Recasting (long)
 5-703       // missing break
    {
      run_this; 
      // missing break
   }
Attention: Missing break in case
 5-751 pwr.5.5
 5-807    default:
   {
      // missing error call
   }
Attention: Missing SwError
 5-858 /* LE SV TOC-2505 this is a pwr-05.5.27 req to halt*/
Attention: Classified text in wrong file name: halt
 5-864 . rcv_buffer = (U16 *) alloc(size+1);
 5-880 /* dead_code = A * B; */
Attention: Dead Code
 5-935 pwr.5.6
 5-1002 // ??? go see ws
Attention: Possible problem Keyword ??
 5-1002 . // ??? go see ws
 5-1155 pwr.5.7
 5-1183    default:
   {
      // missing error call
   }
Attention: Missing SwError
 5-1228 send_buffer = (U16 *) malloc(size+1);
Attention: Storage malloc(size+1);
 5-1228 . send_buffer = (U16 *) malloc(size+1);
 5-1266 send_buffer = (U16 *) malloc(size+1);
Attention: Storage malloc(size+1);
 5-1266 . send_buffer = (U16 *) malloc(size+1);
 5-1281 dead_block = E * F; */
Attention: Dead Code
 5-1295 pwr.5.8
 5-1320    case:
    case:
Attention: Stacked case statements
 5-1321 
    // stacked case statements but only if there is a new line in between

   case:
Attention: Stacked case statements
 5-1322 .    // stacked case statements but only if there is a new line in between
 5-1324    case:
    case:
Attention: Stacked case statements
 5-1325    case:
    case:
Attention: Stacked case statements
 5-1331    default:
   {
      halt;
   }
Attention: Missing SwError
 5-1333       halt;
Attention: Classified text in wrong file name: halt
 5-1333 .       halt;
 5-1356 . rcv_buffer = (U16 *) alloc(size+1);
 5-1380 free(FreePtr);
Attention: Storage FreePtr);
 5-1380 . free(FreePtr);
 5-1407 A = (long)B + C;
Attention: Recasting (long)
 5-1417 pwr.5.9
 5-1440 dead_block = C * D; 
Attention: Dead Code

 5-1448 {
FATAL Compile Error: Missing curly brace LE breaks  path 
 5-1481       // missing break
    {
      run_this; 
      // missing break
   }
Attention: Missing break in case
 5-1548 pwr.5.10

 5-1563 {
FATAL Compile Error: Missing curly brace LE breaks  path 
 5-1666 pwr.5.11
 5-1721 pwr.5.12
 5-1795 dead_code = B - C; 
Attention: Dead Code

 5-1917 {
FATAL Compile Error: Missing curly brace LE breaks  path 
 5-1971 /* dead_code = A * B; */
Attention: Dead Code
 5-2017 pwr.5.13
 5-2231 pwr.5.14

 5-2252 {
FATAL Compile Error: Missing curly brace LE breaks  path 
 5-2261 A = (float)B + C;
Attention: Recasting (float)
 5-2282 dead_code = D + E; 
Attention: Dead Code
 5-2318 dead_code = D + E; 
Attention: Dead Code
 5-2325       // missing break
    {
      run_this; 
      // missing break
   }
Attention: Missing break in case

Warning: Functions Exceed 14

Error: File with 1010 LOC 

9 9 Result: result/source/pr-app/pr-app-PWR123/pwr-05.c

10 10 Source: source/pr-app/pr-app-PWR123/pwr-05.h
Note: OK Classification Marking
Note: Good Header

10 10 Result: result/source/pr-app/pr-app-PWR123/pwr-05.h

11 11 Source: source/pr-app/pr-app-PWR123/pwr-06.c
Note: OK Classification Marking
Note: Good Header
 6-15 pwr.6.1
 6-135 pwr.6.2
 6-157 send_buffer = (U16 *) malloc(size+1);
Attention: Storage malloc(size+1);
 6-157 . send_buffer = (U16 *) malloc(size+1);
 6-160 A = (int)B + C;
Attention: Recasting (int)
 6-204 pwr.6.3
 6-216 // ??? go see ws
Attention: Possible problem Keyword ??
 6-216 . // ??? go see ws
 6-282 pwr.6.4
 6-302 // (P) this is really improtant
Attention: Classified text in wrong file name: (P)

 6-436 Warning: goto Statement goto error;
  6-436 . goto error;
 6-465 pwr.6.5
 6-548 /* dead_code = A * B; */
Attention: Dead Code
 6-557 #ifdef LAZY
Attention: Conditional Compile ifdef
 6-561 #endif
Attention: Conditional Compile #endif

 6-585 Warning: do Loop do forever;
  6-652 A = (float)B + C;
Attention: Recasting (float)

 6-683 {
FATAL Compile Error: Missing curly brace LE breaks  path 
 6-703 . rcv_buffer = (U16 *) alloc(size+1);
 6-712 pwr.6.6
 6-792 FreePtr = HmiStringPtr;
Attention: Storage FreePtr = HmiStringPtr;
 6-792 . FreePtr = HmiStringPtr;
 6-864 dead_code = B - C; 
Attention: Dead Code
 6-906 pwr.6.7
 6-933 // TBS - I need to figure this out
Attention: Possible problem Keyword TBS
 6-933 . // TBS - I need to figure this out
 6-1065 pwr.6.8
 6-1094 pwr.6.9

 6-1208 {
FATAL Compile Error: Missing curly brace LE breaks  path 
 6-1296 /* dead_code = A * B; */
Attention: Dead Code
 6-1298 free(FreePtr);
Attention: Storage FreePtr);
 6-1298 . free(FreePtr);

Warning: Functions Exceed 9

Error: File with 587 LOC 

11 11 Result: result/source/pr-app/pr-app-PWR123/pwr-06.c

12 12 Source: source/pr-app/pr-app-PWR123/pwr-06.h
Note: OK Classification Marking
Note: Good Header

12 12 Result: result/source/pr-app/pr-app-PWR123/pwr-06.h

13 13 Source: source/pr-app/pr-app-PWR123/pwr-07.c
Note: OK Classification Marking
Note: Good Header
 7-15 pwr.7.1
 7-86    halt;
Attention: Classified text in wrong file name: halt
 7-86 .    halt;
 7-91 A = (int)B + C;
Attention: Recasting (int)
 7-125 pwr.7.2
 7-232 dead_block = E * F; */
Attention: Dead Code
 7-297 pwr.7.3
 7-335 FreePtr = HmiStringPtr;
Attention: Storage FreePtr = HmiStringPtr;
 7-335 . FreePtr = HmiStringPtr;
 7-413    case:
    case:
Attention: Stacked case statements
 7-414 
    // stacked case statements but only if there is a new line in between

   case:
Attention: Stacked case statements
 7-415 .    // stacked case statements but only if there is a new line in between
 7-417    case:
    case:
Attention: Stacked case statements
 7-418    case:
    case:
Attention: Stacked case statements
 7-424    default:
   {
      halt;
   }
Attention: Missing SwError
 7-426       halt;
Attention: Classified text in wrong file name: halt
 7-426 .       halt;
 7-439 pwr.7.4
 7-453 {
   case one:
   {
      switch (nested)
Attention: Missing default
 7-455    {
    {
      switch (nested)
Attention: Nested switch
 7-459             X = Y + Z;
             X = Y + Z;
         case:
Attention: Missing break in case
 7-512 pwr.7.5
 7-533 {
   case one:
   {
      run_this;
      break;
   }
   case two:
   {
      run_this;
      break;
   }
   // missing default
}

A = B/C;
A = 0x0007;
A = B+C;

if (A lt B)
{
   A = B + C;
   D = E + F;
}


if (A gt B)
{
   A = B + C;
   D = E + F;
}


if (A ge B)
{
   A = B + C;
   D = E + F;
}

A = B/C;
A = B-C;
A = B/C;
A = B-C;
A = (int)B + C;
A = B+C;
/* LE SV TOC-2540 this is a pwr-07.5.13 req to check unix*/
A = B+C;

if (A lt B)
{
   A = B + C;
   D = E + F;
}


if (A le B)
{
   A = B + C;
   D = E + F;
}


if (A != B)
{
   A = B + C;
   D = E + F;
}

A = B+C;

if (A == B)
{
   A = B + C;
   D = E + F;
}

A = B+C;
/* LE SV TOC-2541 this is a pwr-07.5.20 req to convert*/
A = B+C;
A = B+C;
A = B+C;

switch (pwr stuff)
Attention: Missing default
 7-576 A = (int)B + C;
Attention: Recasting (int)
 7-627    default:
   {
      // missing error call
   }
Attention: Missing SwError
 7-646 #ifdef LAZY
Attention: Conditional Compile ifdef
 7-650 #endif
Attention: Conditional Compile #endif

 7-720 Warning: goto Statement goto error;
  7-720 . goto error;
 7-769 dead_block = E * F; */
Attention: Dead Code
 7-780 . rcv_buffer = (U16 *) alloc(size+1);
 7-795 pwr.7.6
 7-809 #ifdef LAZY
Attention: Conditional Compile ifdef
 7-813 #endif
Attention: Conditional Compile #endif
 7-842 pwr.7.7
 7-918    halt;
Attention: Classified text in wrong file name: halt
 7-918 .    halt;
 7-945 A = (long)B + C;
Attention: Recasting (long)
 7-1000 pwr.7.8
 7-1012 A = (float)B + C;
Attention: Recasting (float)

Warning: Functions Exceed 8

13 13 Result: result/source/pr-app/pr-app-PWR123/pwr-07.c

14 14 Source: source/pr-app/pr-app-PWR123/pwr-07.h
Note: OK Classification Marking
Note: Good Header

14 14 Result: result/source/pr-app/pr-app-PWR123/pwr-07.h

15 15 Source: source/pr-app/pr-app-PWR123/pwr-08.c
Note: OK Classification Marking
Note: Good Header
 8-15 pwr.8.1
 8-51 A = (long)B + C;
Attention: Recasting (long)
 8-92 dead_block = C * D; 
Attention: Dead Code
 8-105 . rcv_buffer = (U16 *) alloc(size+1);
 8-110 dead_code = B - C; 
Attention: Dead Code
 8-146 // ??? go see ws
Attention: Possible problem Keyword ??
 8-146 . // ??? go see ws

15 15 Result: result/source/pr-app/pr-app-PWR123/pwr-08.c

16 16 Source: source/pr-app/pr-app-PWR123/pwr-08.h
Note: OK Classification Marking
Note: Good Header

16 16 Result: result/source/pr-app/pr-app-PWR123/pwr-08.h

Settings

This is a legacy report. IAT started with just this report. Use this report to look for keywords that point to potential problems in the software. Some of the more important keywords are TBD and stub. In future releases of software try not to use TBD for items such as future. If you are web enabled, try re-running the report with other keywords. New potential issues may be surfaced. Description 6

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
PURGE_BUFFER DB Events case Sensitive
HMI_CALL HMI Events case Sensitive
any\s*.\s*loc 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
debug|delay|return\;|while\(\d+\).|enable|disable|exception|demo|reuse|pragma|asap find 1
nnoonnee find 2
halt|\bstub\b|\? *:*|malloc|\balloc\b|\btbd\b|\btbs\b find 3
dedicated|buffer find 4
timeout| global|free|new |delete |goto|mutable|friend|explicit 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)

Hide Controls Show Checked Summary Checked Details Not Checked All

done
12/08/2003 16:11:10 start
12/08/2003 16:11:34 end

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

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