Logevents v111003 analysis/pr-app-CA123 s

Logevents v111003 analysis/pr-app-CA123 s_error-handling.html C:\IndigoPerl\bin\perl.exe 5.006

Description This is also a legacy report. Many of the IAT automatic detectors in the stat-problems report started with this report. This report extracts all the decisions and certain keywords such as calls to software error. Use the details area of this report to determine if there are nesting problems or failures to call software error. If 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.
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 15:52:33

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

967

if (

231

case

184

break

105

switch

102

default

SwError

Alpha Sort

SwError

184

break

231

case

102

default

967

if (

105

switch

Keywords Not Found

else\s*\(

else\s*\n

return

nnoonnee

gNoteError

Details Report

1 1 Source: source/pr-app/pr-app-CA123/ca/ca-01.c
 1-15 ca.1.1
 1-51 . if (A == B)
 1-61 . if (A gt B)
 1-69 . if (A >  B)
 1-80 . if (A < = B)
 1-87 . if (A != B)
 1-94 . if (A gt B)
 1-103 . switch (ca stuff)
 1-105 .    case one:
 1-108 .       break;
 1-110 .    case two:
 1-113 .       break;
 1-115 .    default:
 1-117 .        SwError;
 1-122 . if (A ge B)
 1-130 . if (A == B)
 1-141 . if (A lt B)
 1-149 . if (A gt B)
 1-156 . if (A le B)
 1-171 . if (A == B)
 1-180 . if (A <  B)
 1-194 . if (A != B)
 1-205 . switch (ca stuff)
 1-207 .    case one:
 1-210 .       break;
 1-212 .    case two:
 1-215 .       break;
 1-217 .    default:
 1-219 .        SwError;
 1-224 . if (A != B)
 1-231 . if (A < = B)
 1-238 . if (A ne B)
 1-247 . if (A < = B)
 1-255 . if (A lt B)
 1-262 . if (A gt B)
 1-271 . if (A <  B)
 1-278 . if (A == B)
 1-288 . if (A le B)
 1-296 . if (A lt B)
 1-304 . if (A > = B)
 1-312 . if (A le B)
 1-321 . if (A < = B)
 1-334 ca.1.2
 1-347 . if (A != B)
 1-354 . switch (ca stuff)
 1-356 .    case one:
 1-359 .       break;
 1-361 .    case two:
 1-364 .       break;
 1-366 .    default:
 1-368 .        SwError;
 1-376 . if (A == B)
 1-392 . if (A lt B)
 1-399 . if (A != B)
 1-407 . if (A le B)
 1-415 . if (A le B)
 1-424 . if (A gt B)
 1-431 . if (A ne B)
 1-438 . if (A ge B)
 1-450 . if (A eq B)
 1-458 . if (A < = B)
 1-468 . if (A ne B)
 1-479 . if (A ge B)
 1-488 . if (A < = B)
 1-498 . if (A le B)
 1-514 . if (A le B)
 1-523 . if (A <  B)
 1-530 . if (A eq B)
 1-565 ca.1.3
 1-578 . if (A >  B)
 1-585 . switch (ca stuff)
 1-587 .    case one:
 1-590 .       break;
 1-592 .    case two:
 1-595 .       break;
 1-597 .    default:
 1-599 .        SwError;
 1-608 . if (A <  B)
 1-620 . if (A ne B)
 1-630 . if (A gt B)
 1-641 . if (A > = B)
 1-650 . switch (ca stuff)
 1-652 .    case one:
 1-655 .       break;
 1-657 .    case two:
 1-660 .       break;
 1-662 .    default:
 1-664 .        SwError;
 1-669 . if (A == B)
 1-676 . if (A > = B)
 1-689 ca.1.4
 1-703 . switch (ca stuff)
 1-705 .    case one:
 1-710 .    case two:
 1-713 .       break;
 1-715 .    default:
 1-717 .       SwError;
 1-723 . switch (ca stuff)
 1-725 .    case one:
 1-728 .       break;
 1-730 .    case two:
 1-733 .       break;
 1-735 .    default:
 1-737 .        SwError;
 1-748 . if (A < = B)
 1-771 ca.1.5
 1-785 . if (A >  B)
 1-792 . if (A gt B)
 1-799 . if (A lt B)
 1-811 . if (A >  B)
 1-821 . if (A == B)
 1-832 . if (A ne B)
 1-841 . if (A eq B)
 1-850 . if (A eq B)
 1-867 ca.1.6
 1-885 . if (A ne B)
 1-896 . if (A ge B)
 1-903 . if (A < = B)
 1-910 . if (A >  B)
 1-917 . if (A < = B)
 1-930 . if (A >  B)
 1-938 . if (A lt B)
 1-958 ca.1.7
 1-972 . if (A gt B)
 1-984 . if (A < = B)
 1-1002 . if (A != B)
 1-1012 . if (A >  B)
 1-1021 . if (A gt B)
 1-1030 . if (A > = B)
 1-1043 . if (A == B)
 1-1052 . if (A > = B)
 1-1059 . if (A ne B)
 1-1067 . if (A < = B)
 1-1075 . if (A gt B)
 1-1085 . if (A <  B)
 1-1095 . if (veg)
 1-1100 . if (A <  B)
 1-1108 . if (A le B)
 1-1115 . if (A != B)
 1-1123 . if (A ge B)
 1-1132 . if (A lt B)
 1-1140 . if (A lt B)
 1-1148 . if (A >  B)
 1-1158 . if (A < = B)
 1-1166 . if (A gt B)
 1-1186 . if (A > = B)
 1-1194 . if (A eq B)
 1-1202 . if (A >  B)
 1-1215 ca.1.8
 1-1228 . if (A >  B)
 1-1235 . if (A >  B)
 1-1256 . switch (ca stuff)
 1-1258 .    case one:
 1-1261 .       break;
 1-1263 .    case two:
 1-1266 .       break;
 1-1268 .    default:
 1-1270 .        SwError;
 1-1275 . if (A > = B)
 1-1285 . if (A <  B)
 1-1295 . if (A eq B)
 1-1303 . if (A gt B)
 1-1310 . if (A <  B)
 1-1318 . if (A > = B)
 1-1326 . if (A ne B)
 1-1341 . if (A == B)
 1-1354 . if (A ne B)
 1-1363 . if (A != B)
 1-1371 . if (A >  B)
 1-1383 . if (A == B)
 1-1394 . if (A <  B)
 1-1401 . if (A ne B)
 1-1409 . if (A ge B)
 1-1416 . if (A le B)
 1-1423 . switch (ca stuff)
 1-1425 .    case one:
 1-1428 .       break;
 1-1430 .    case two:
 1-1433 .       break;
 1-1435 .    default:
 1-1437 .        SwError;
 1-1442 . if (A == B)
 1-1458 . if (A ge B)
 1-1466 . if (A == B)
 1-1475 . if (A < = B)
 1-1482 . if (A lt B)
 1-1500 ca.1.9
 1-1528 . if (A == B)
 1-1535 . if (A <  B)
 1-1546 . if (A <  B)
 1-1564 . if (A == B)
 1-1572 . if (A == B)
 1-1579 . if (A > = B)
 1-1588 . if (A < = B)
 1-1595 . if (A eq B)
 1-1614 . if (A > = B)
 1-1623 . if (A >  B)
 1-1632 . switch (ca stuff)
 1-1634 .    case:
 1-1635 .    case:
 1-1638 .    case:
 1-1639 .    case:
 1-1640 .    case:
 1-1643 .       break;
 1-1645 .    default:
 1-1652 . if (A < = B)
 1-1661 . if (A != B)
 1-1669 . if (A gt B)
 1-1681 . switch (ca stuff)
 1-1683 .    case one:
 1-1686 .       break;
 1-1688 .    case two:
 1-1691 .       break;
 1-1693 .    default:
 1-1695 .        SwError;
 1-1700 . if (A lt B)
 1-1707 . if (veg)
 1-1716 . switch (ca stuff)
 1-1718 .    case one:
 1-1721 .       break;
 1-1723 .    case two:
 1-1726 .       break;
 1-1728 .    default:
 1-1730 .        SwError;
 1-1737 . if (A gt B)
 1-1749 . if (A le B)
 1-1762 . if (A lt B)
 1-1782 . if (A >  B)
 1-1789 . if (A lt B)
 1-1804 ca.1.10
 1-1821 . if (A != B)
 1-1833 . if (A == B)
 1-1841 . if ($ca stuff >  $otherca stuff) 
 1-1851 . if (A > = B)
 1-1860 . if (A != B)
 1-1870 . switch (ca stuff)
 1-1872 .    case one:
 1-1875 .       break;
 1-1877 .    case two:
 1-1880 .       break;
 1-1882 .    default:
 1-1884 .        SwError;
 1-1889 . if (A gt B)
 1-1898 . if (A gt B)
 1-1907 . if (A >  B)

1 1 Result: result/source/pr-app/pr-app-CA123/ca/ca-01.c
2 2 Source: source/pr-app/pr-app-CA123/ca/ca-02.c
 2-15 ca.2.1
 2-48 . if (A lt B)
 2-56 . if (A > = B)
 2-67 . if (A > = B)
 2-87 . if (A > = B)
 2-96 . switch (ca stuff)
 2-98 .    case one:
 2-101 .       break;
 2-103 .    case two:
 2-106 .       break;
 2-108 .    default:
 2-110 .        SwError;
 2-117 . if (A eq B)
 2-126 . if (A > = B)
 2-133 . if (A eq B)
 2-140 . if (A ge B)
 2-148 . if (A == B)
 2-155 . if (A != B)
 2-163 . if (A eq B)
 2-170 . if (A >  B)
 2-181 . if (A ge B)
 2-188 . if (A ne B)
 2-196 . if (A gt B)
 2-205 . if (A ge B)
 2-212 . if (A != B)
 2-223 . switch (ca stuff)
 2-225 .    case one:
 2-228 .       break;
 2-230 .    case two:
 2-233 .       break;
 2-235 .    default:
 2-237 .        SwError;
 2-242 . if (A <  B)
 2-249 . if (A == B)
 2-256 . if (A gt B)
 2-268 . if (A == B)
 2-275 . switch (ca stuff)
 2-277 .    case one:
 2-280 .       break;
 2-282 .    case two:
 2-285 .       break;
 2-287 .    default:
 2-289 .        SwError;
 2-295 . if (A < = B)
 2-306 . if (A eq B)
 2-313 . if (A ge B)
 2-320 . if (A eq B)
 2-327 . if (A lt B)
 2-338 . if (A le B)
 2-345 . if (A >  B)
 2-359 ca.2.2
 2-374 . if (A le B)
 2-385 . if (A eq B)
 2-402 . if (A ne B)
 2-411 . if (A le B)
 2-418 . if (A lt B)
 2-433 ca.2.3
 2-448 . if (A == B)
 2-455 . switch (ca stuff)
 2-457 .    case one:
 2-460 .       break;
 2-462 .    case two:
 2-465 .       break;
 2-467 .    default:
 2-469 .        SwError;
 2-476 . if (A lt B)
 2-483 . if (A == B)
 2-490 . if (A le B)
 2-501 . if (A == B)
 2-511 . if (A >  B)
 2-520 . if (A le B)
 2-528 . if (A >  B)
 2-535 . if (A le B)
 2-544 . if (A eq B)
 2-553 . if (A ne B)
 2-562 . if (A ge B)
 2-569 . if (A != B)
 2-577 . if (A <  B)
 2-586 . if (A ne B)
 2-594 . if (A gt B)
 2-610 . if (A <  B)
 2-619 . switch (ca stuff)
 2-621 .    case one:
 2-626 .    case two:
 2-629 .       break;
 2-631 .    default:
 2-633 .       SwError;
 2-640 . if (A <  B)
 2-647 . if (A == B)
 2-656 . if (A == B)
 2-663 . if (A le B)
 2-670 . if (A le B)
 2-684 ca.2.4
 2-700 . if (A != B)
 2-708 . if (A > = B)
 2-717 . if (A > = B)
 2-730 . if (A >  B)
 2-745 . if (A gt B)
 2-753 . if (A > = B)
 2-760 . if (A < = B)
 2-769 . switch (ca stuff)
 2-771 .    case one:
 2-774 .       break;
 2-776 .    case two:
 2-779 .       break;
 2-781 .    default:
 2-783 .        SwError;
 2-789 . if (A lt B)
 2-796 . if (A >  B)
 2-803 . if (A lt B)
 2-811 . if (A lt B)
 2-818 . if (A > = B)
 2-825 . if (A ne B)
 2-836 . if (A eq B)
 2-843 . if (A ge B)
 2-851 . if (A ne B)
 2-861 . if (A == B)
 2-868 . switch (ca stuff)
 2-870 .    case:
 2-871 .    case:
 2-874 .    case:
 2-875 .    case:
 2-876 .    case:
 2-879 .       break;
 2-881 .    default:
 2-890 . if (A > = B)
 2-901 . if (A == B)
 2-915 . if (A le B)
 2-933 . switch (ca stuff)
 2-935 .    case one:
 2-938 .       break;
 2-940 .    case two:
 2-943 .       break;
 2-945 .    default:
 2-947 .        SwError;
 2-952 . if (A eq B)
 2-961 . if (A < = B)
 2-975 . if ($ca stuff >  $otherca stuff) 
 2-982 . switch (ca stuff)
 2-984 .    case one:
 2-987 .       break;
 2-989 .    case two:
 2-992 .       break;
 2-994 .    default:
 2-996 .        SwError;
 2-1003 . switch (ca stuff)
 2-1005 .    case one:
 2-1008 .       break;
 2-1010 .    case two:
 2-1013 .       break;
 2-1021 . if (A != B)
 2-1031 . if (A le B)
 2-1038 . if (A gt B)
 2-1051 ca.2.5
 2-1067 . if (A >  B)
 2-1077 . if (A lt B)
 2-1085 . switch (ca stuff)
 2-1087 .    case one:
 2-1090 .       break;
 2-1092 .    case two:
 2-1095 .       break;
 2-1097 .    default:
 2-1099 .        SwError;
 2-1105 . if (A == B)
 2-1118 . if (veg)
 2-1124 . if (A < = B)
 2-1138 . if (A le B)
 2-1147 . if (A < = B)
 2-1156 . if (A <  B)
 2-1165 . if (A <  B)
 2-1173 . if (A == B)
 2-1181 . if (A le B)
 2-1189 . if (A > = B)
 2-1196 . if (A > = B)
 2-1221 . if (A gt B)
 2-1231 . switch (ca stuff)
 2-1233 .    case:
 2-1234 .    case:
 2-1237 .    case:
 2-1238 .    case:
 2-1239 .    case:
 2-1242 .       break;
 2-1244 .    default:
 2-1253 . if (A != B)
 2-1264 . if (A < = B)
 2-1272 . if (A <  B)
 2-1279 . if (A <  B)
 2-1289 . if (A != B)
 2-1304 ca.2.6
 2-1317 . if (A ne B)
 2-1324 . if (A eq B)
 2-1331 . if (A lt B)
 2-1338 . if (A lt B)
 2-1345 . if (A lt B)
 2-1352 . switch (ca stuff)
 2-1354 .    case one:
 2-1356 .       switch (nested)
 2-1358 .          case:
 2-1360 .          case:
 2-1362 .          default:
 2-1363 .             SwError;
 2-1366 .    case two:
 2-1369 .       break;
 2-1371 .    default:
 2-1373 .       SwError;
 2-1383 . if (A ge B)
 2-1401 ca.2.7
 2-1414 . if (A == B)
 2-1422 . if (A ne B)
 2-1430 . if (A ge B)
 2-1439 . if (A == B)
 2-1446 . if (A != B)
 2-1454 . if (A != B)
 2-1463 . if (A gt B)
 2-1471 . if (A > = B)
 2-1478 . if (A le B)
 2-1487 . if (A gt B)
 2-1505 . if (A eq B)
 2-1521 . if (A <  B)
 2-1530 . if (A lt B)
 2-1537 . switch (ca stuff)
 2-1539 .    case:
 2-1540 .    case:
 2-1543 .    case:
 2-1544 .    case:
 2-1545 .    case:
 2-1548 .       break;
 2-1550 .    default:
 2-1558 . if (A ne B)
 2-1567 . if (A le B)
 2-1577 . if (A ge B)
 2-1584 . if (A < = B)
 2-1591 . if (A > = B)
 2-1598 . if (A < = B)
 2-1605 . if (A >  B)
 2-1613 . if (A le B)
 2-1620 . if (A == B)
 2-1631 . if (A eq B)
 2-1638 . if (A eq B)
 2-1647 . if (A ne B)
 2-1664 . if (A ne B)
 2-1671 . if (A ge B)
 2-1682 . if (A < = B)
 2-1690 . switch (ca stuff)
 2-1692 .    case one:
 2-1697 .    case two:
 2-1700 .       break;
 2-1702 .    default:
 2-1704 .       SwError;
 2-1710 . if (A le B)
 2-1724 ca.2.8
 2-1738 . if (A != B)
 2-1747 . if (A le B)
 2-1754 . switch (ca stuff)
 2-1756 .    case one:
 2-1759 .       break;
 2-1761 .    case two:
 2-1764 .       break;
 2-1766 .    default:
 2-1768 .        SwError;
 2-1773 . if (A < = B)
 2-1780 . switch (ca stuff)
 2-1782 .    case one:
 2-1785 .       break;
 2-1787 .    case two:
 2-1790 .       break;
 2-1792 .    default:
 2-1794 .        SwError;
 2-1800 . if (A lt B)

2 2 Result: result/source/pr-app/pr-app-CA123/ca/ca-02.c

3 3 Source: source/pr-app/pr-app-CA123/ca/ca-03.c
 3-15 ca.3.1
 3-43 . if (A gt B)
 3-52 . if (A != B)
 3-65 . if (A == B)
 3-74 . if (A >  B)
 3-85 . if (A ge B)
 3-98 ca.3.2
 3-112 . if (A > = B)
 3-119 . if (A == B)
 3-126 . if (A > = B)
 3-133 . if (A >  B)
 3-140 . if (A != B)
 3-149 . if (A gt B)

3 3 Result: result/source/pr-app/pr-app-CA123/ca/ca-03.c

4 4 Source: source/pr-app/pr-app-CA123/ca/ca-04.c
 4-15 ca.4.1
 4-43 . if (A < = B)
 4-57 . if (A != B)
 4-70 . if (A eq B)
 4-77 . if (A eq B)
 4-85 . if (A ge B)
 4-101 . if (A <  B)
 4-110 . if (A lt B)
 4-117 . if (A >  B)
 4-136 . if (A ne B)
 4-145 . if (A ne B)
 4-155 . switch (ca stuff)
 4-157 .    case one:
 4-160 .       break;
 4-162 .    case two:
 4-165 .       break;
 4-167 .    default:
 4-169 .        SwError;
 4-176 . if (A >  B)
 4-184 . if (A gt B)
 4-197 . if (A == B)
 4-206 . if (A > = B)
 4-213 . if (A ne B)
 4-220 . if (A ne B)
 4-228 . if (A > = B)
 4-236 . if (A le B)
 4-254 . if (A gt B)

4 4 Result: result/source/pr-app/pr-app-CA123/ca/ca-04.c

5 5 Source: source/pr-app/pr-app-CA123/ca/ca-05.c
 5-15 ca.5.1
 5-46 . if (A eq B)
 5-53 . if (A ge B)
 5-60 . if (A != B)
 5-68 . if (A > = B)
 5-78 . if (A <  B)
 5-89 . if (A >  B)
 5-96 . if (A == B)
 5-103 . if (A ne B)
 5-117 . if (A eq B)
 5-127 . switch (ca stuff)
 5-129 .    case one:
 5-132 .       break;
 5-134 .    case two:
 5-137 .       break;
 5-139 .    default:
 5-141 .        SwError;
 5-152 ca.5.2
 5-168 . if (A lt B)
 5-175 . if (A ge B)
 5-183 . if (A > = B)
 5-190 . if (A gt B)
 5-202 . if (A eq B)
 5-210 . if (A < = B)
 5-217 . if (A ge B)
 5-224 . if (A <  B)
 5-234 . if (A <  B)
 5-241 . if (A <  B)
 5-264 ca.5.3
 5-277 . if (A lt B)
 5-285 . if (A >  B)
 5-295 . if (A gt B)
 5-304 . if (A == B)
 5-314 . switch (ca stuff)
 5-316 .    case one:
 5-319 .       break;
 5-321 .    case two:
 5-324 .       break;
 5-326 .    default:
 5-328 .        SwError;
 5-337 . if (A ge B)
 5-345 . if (A ne B)
 5-352 . switch (ca stuff)
 5-354 .    case one:
 5-357 .       break;
 5-359 .    case two:
 5-362 .       break;
 5-364 .    default:
 5-366 .        SwError;
 5-372 . if (A >  B)
 5-379 . if (A < = B)
 5-388 . if (A >  B)
 5-397 . if (A lt B)
 5-404 . if (A < = B)
 5-412 . if (A le B)
 5-422 . if (A eq B)
 5-429 . if (A le B)
 5-437 . if (A != B)
 5-445 . if (A eq B)
 5-454 . switch (ca stuff)
 5-456 .    case one:
 5-459 .       break;
 5-461 .    case two:
 5-464 .       break;
 5-466 .    default:
 5-468 .        SwError;
 5-480 . if (A <  B)
 5-487 . if (A le B)
 5-494 . if (A != B)
 5-507 ca.5.4
 5-525 . if (A != B)
 5-540 . if (A == B)
 5-547 . switch (ca stuff)
 5-549 .    case one:
 5-552 .       break;
 5-554 .    case two:
 5-557 .       break;
 5-559 .    default:
 5-561 .        SwError;
 5-567 . if (A < = B)
 5-576 . if (A gt B)
 5-584 . if (A != B)
 5-598 . if (A == B)
 5-612 . switch (ca stuff)
 5-614 .    case one:
 5-617 .       break;
 5-619 .    case two:
 5-622 .       break;
 5-624 .    default:
 5-626 .        SwError;
 5-632 . if (A eq B)
 5-641 . if (A <  B)
 5-649 . if (A ge B)
 5-657 . if (A le B)
 5-664 . if (A ne B)
 5-673 . if (A gt B)
 5-684 . if (A < = B)
 5-694 . if (A eq B)
 5-708 . if (A != B)
 5-715 . if (A ne B)
 5-724 . if (A eq B)
 5-740 ca.5.5
 5-754 . if (A ne B)
 5-761 . if (A ge B)
 5-769 . if (A eq B)
 5-776 . if (A >  B)
 5-785 . switch (ca stuff)
 5-787 .    case one:
 5-790 .       break;
 5-792 .    case two:
 5-795 .       break;
 5-797 .    default:
 5-799 .        SwError;
 5-806 . if (A >  B)
 5-813 . if (A <  B)
 5-823 . if (A eq B)
 5-831 . if (A gt B)
 5-848 ca.5.6
 5-864 . if (A >  B)
 5-875 . if (A gt B)
 5-886 . if (A <  B)
 5-908 . if (A != B)
 5-919 . if (A <  B)
 5-926 . if (A < = B)
 5-933 . if (A gt B)
 5-940 . if (A gt B)
 5-951 . if (A ge B)
 5-966 . if (A < = B)
 5-975 . if (A < = B)
 5-983 . if (A == B)
 5-990 . switch (ca stuff)
 5-992 .    case one:
 5-995 .       break;
 5-997 .    case two:
 5-1000 .       break;
 5-1002 .    default:
 5-1004 .        SwError;
 5-1012 . switch (ca stuff)
 5-1014 .    case one:
 5-1017 .       break;
 5-1019 .    case two:
 5-1022 .       break;
 5-1024 .    default:
 5-1026 .        SwError;
 5-1034 . switch (ca stuff)
 5-1036 .    case one:
 5-1039 .       break;
 5-1041 .    case two:
 5-1044 .       break;
 5-1046 .    default:
 5-1048 .        SwError;
 5-1056 . if (A gt B)
 5-1071 ca.5.7
 5-1086 . if (A == B)
 5-1102 . if (A == B)
 5-1111 . if (A le B)
 5-1118 . if (A gt B)
 5-1129 . if (A <  B)
 5-1158 . if ($ca stuff >  $otherca stuff) 
 5-1171 . if (A < = B)
 5-1185 ca.5.8
 5-1203 . if (A <  B)
 5-1214 . switch (ca stuff)
 5-1216 .    case one:
 5-1219 .       break;
 5-1221 .    case two:
 5-1224 .       break;
 5-1226 .    default:
 5-1228 .        SwError;
 5-1237 . if (A < = B)
 5-1244 . if (A ge B)
 5-1254 . if (A >  B)
 5-1262 . if (A > = B)
 5-1269 . if (A le B)
 5-1277 . if (A >  B)
 5-1284 . switch (ca stuff)
 5-1286 .    case one:
 5-1288 .       switch (nested)
 5-1290 .          case:
 5-1292 .          case:
 5-1294 .          default:
 5-1295 .             SwError;
 5-1298 .    case two:
 5-1301 .       break;
 5-1303 .    default:
 5-1305 .       SwError;
 5-1313 . if (A != B)
 5-1329 . if (A != B)
 5-1339 . if (A != B)
 5-1346 . if (A >  B)
 5-1357 . switch (ca stuff)
 5-1359 .    case one:
 5-1362 .       break;
 5-1364 .    case two:
 5-1367 .       break;
 5-1369 .    default:
 5-1371 .        SwError;
 5-1381 . if (A le B)

5 5 Result: result/source/pr-app/pr-app-CA123/ca/ca-05.c

6 6 Source: source/pr-app/pr-app-CA123/ca/ca-06.c
 6-15 ca.6.1
 6-42 . if (A ge B)
 6-50 . if (A ge B)
 6-57 . if (A == B)
 6-66 . if (A != B)
 6-76 . if (A >  B)
 6-91 . if (A <  B)
 6-100 . if (A < = B)
 6-109 . if (A lt B)
 6-118 . if (A != B)
 6-125 . if (A gt B)
 6-138 . if (A == B)
 6-148 . if (A == B)
 6-157 . if (A >  B)
 6-165 . if (A eq B)
 6-177 . if (A > = B)
 6-187 . if (A ne B)
 6-200 ca.6.2
 6-213 . if (A eq B)
 6-220 . if (A >  B)
 6-227 . if (A le B)
 6-237 . if (A eq B)
 6-244 . if (A eq B)
 6-254 . if (A eq B)
 6-267 . if (A gt B)
 6-276 . if (A gt B)
 6-285 . if (A >  B)
 6-293 . if (A le B)
 6-310 . if (A le B)
 6-317 . if (A > = B)
 6-325 . if (A >  B)
 6-332 . if (A <  B)
 6-341 . if (A lt B)
 6-348 . if (A lt B)
 6-356 . if (A ge B)
 6-367 . if (A le B)
 6-378 . if (A < = B)
 6-392 . if (A > = B)
 6-400 . if (A >  B)
 6-407 . if (A le B)
 6-416 . if (A <  B)
 6-433 ca.6.3
 6-446 . if (A <  B)
 6-457 . if (A > = B)
 6-466 . if (A gt B)
 6-473 . if (A lt B)
 6-488 . if (A != B)
 6-495 . if (A == B)
 6-503 . if (A != B)
 6-510 . if (A le B)
 6-518 . if (A eq B)
 6-525 . switch (ca stuff)
 6-527 .    case one:
 6-530 .       break;
 6-532 .    case two:
 6-535 .       break;
 6-537 .    default:
 6-539 .        SwError;
 6-551 . if (A <  B)
 6-559 . if (A <  B)
 6-570 . if (A >  B)
 6-580 . if (A ne B)
 6-590 . if (A < = B)
 6-602 . if (A lt B)
 6-610 . switch (ca stuff)
 6-612 .    case one:
 6-615 .       break;
 6-617 .    case two:
 6-620 .       break;
 6-622 .    default:
 6-624 .        SwError;
 6-629 . if (A < = B)
 6-636 . if (A ne B)
 6-647 . if ($ca stuff >  $otherca stuff) 
 6-663 . if (A > = B)
 6-671 . if (A eq B)
 6-679 . if (A eq B)
 6-688 . if (A le B)
 6-699 . if (A lt B)
 6-708 . if (A lt B)
 6-715 . switch (ca stuff)
 6-717 .    case one:
 6-720 .       break;
 6-722 .    case two:
 6-725 .       break;
 6-727 .    default:
 6-729 .        SwError;
 6-736 . if (A eq B)
 6-745 . if (A <  B)
 6-760 ca.6.4
 6-775 . if (A <  B)
 6-783 . switch (ca stuff)
 6-785 .    case one:
 6-788 .       break;
 6-790 .    case two:
 6-793 .       break;
 6-795 .    default:
 6-797 .        SwError;
 6-805 . switch (ca stuff)
 6-807 .    case one:
 6-810 .       break;
 6-812 .    case two:
 6-815 .       break;
 6-817 .    default:
 6-819 .        SwError;
 6-833 . if (A eq B)
 6-841 . if (A != B)
 6-848 . if (A eq B)
 6-855 . if (A < = B)
 6-865 . if (A lt B)
 6-880 . if (A < = B)
 6-887 . if (A <  B)
 6-895 . if (A == B)
 6-903 . if (A ge B)
 6-912 . if (A <  B)
 6-919 . if (A > = B)
 6-926 . if (A <  B)
 6-941 ca.6.5
 6-957 . if (A < = B)
 6-964 . switch (ca stuff)
 6-966 .    case one:
 6-971 .    case two:
 6-974 .       break;
 6-976 .    default:
 6-978 .       SwError;
 6-986 . if (A < = B)
 6-997 . if (A == B)
 6-1013 . if (A lt B)
 6-1022 . if (A != B)
 6-1031 . if (A lt B)
 6-1044 ca.6.6
 6-1061 . if (A <  B)
 6-1080 . switch (ca stuff)
 6-1082 .    case one:
 6-1085 .       break;
 6-1087 .    case two:
 6-1090 .       break;
 6-1092 .    default:
 6-1094 .        SwError;
 6-1103 . if (A == B)
 6-1114 . if (A gt B)
 6-1125 . if (A != B)
 6-1136 . if (A == B)
 6-1150 ca.6.7
 6-1165 . if (A == B)
 6-1174 . switch (ca stuff)
 6-1176 .    case one:
 6-1179 .       break;
 6-1181 .    case two:
 6-1184 .       break;
 6-1186 .    default:
 6-1188 .        SwError;
 6-1194 . if (A gt B)
 6-1201 . if (A eq B)
 6-1210 . if (A >  B)
 6-1221 . if (A >  B)
 6-1228 . if (A > = B)
 6-1245 . if (A ne B)
 6-1253 . if (A != B)
 6-1262 . if (A <  B)
 6-1272 . if (A > = B)
 6-1280 . if (A ge B)
 6-1287 . if (A == B)
 6-1298 . if (A lt B)
 6-1306 . if (A le B)
 6-1313 . if (A eq B)
 6-1320 . if (A > = B)
 6-1327 . if (A != B)
 6-1337 . if (A != B)
 6-1357 . if (A < = B)
 6-1364 . if (A <  B)
 6-1371 . if (A > = B)
 6-1381 . if (A < = B)
 6-1388 . switch (ca stuff)
 6-1390 .    case one:
 6-1393 .       break;
 6-1395 .    case two:
 6-1398 .       break;
 6-1400 .    default:
 6-1402 .        SwError;
 6-1414 ca.6.8
 6-1433 . if ($ca stuff >  $otherca stuff) 
 6-1448 . if (A gt B)
 6-1456 . if (A ne B)
 6-1463 . if (A >  B)
 6-1473 . if (A < = B)
 6-1482 . if (A != B)
 6-1495 . if (A gt B)
 6-1510 . if (A le B)
 6-1517 . if (A == B)
 6-1525 . if (A > = B)
 6-1532 . if (A > = B)
 6-1542 . if (A > = B)
 6-1550 . if (A ge B)
 6-1565 . if (A gt B)
 6-1584 . if (A < = B)
 6-1593 . switch (ca stuff)
 6-1595 .    case:
 6-1596 .    case:
 6-1599 .    case:
 6-1600 .    case:
 6-1601 .    case:
 6-1604 .       break;
 6-1606 .    default:
 6-1613 . if (A >  B)
 6-1620 . if (A eq B)
 6-1631 . if (A != B)
 6-1638 . if (A eq B)
 6-1649 . if (A >  B)
 6-1660 . if (A == B)
 6-1667 . if (A >  B)
 6-1674 . if (A >  B)
 6-1683 . if (A ne B)
 6-1701 . if (A ne B)
 6-1710 . if (A > = B)
 6-1718 . if (A eq B)
 6-1732 ca.6.9
 6-1745 . if ($ca stuff >  $otherca stuff) 
 6-1754 . if (A != B)
 6-1761 . if (A != B)
 6-1768 . if (A lt B)
 6-1776 . if (A > = B)
 6-1783 . if (A le B)
 6-1790 . if (A lt B)
 6-1798 . if (A >  B)
 6-1805 . if (A != B)
 6-1817 . if (A le B)
 6-1825 . if (A ne B)
 6-1832 . if (A < = B)
 6-1840 . if (A lt B)
 6-1849 . if (A <  B)
 6-1856 . if (A lt B)
 6-1863 . if (A ne B)
 6-1870 . if (A ne B)
 6-1878 . switch (ca stuff)
 6-1880 .    case one:
 6-1883 .       break;
 6-1885 .    case two:
 6-1888 .       break;
 6-1890 .    default:
 6-1892 .        SwError;
 6-1901 . if (A lt B)
 6-1912 . if (A < = B)
 6-1919 . if (A >  B)
 6-1928 . if (A <  B)
 6-1935 . if (A > = B)
 6-1942 . if (A eq B)
 6-1949 . if (A < = B)
 6-1956 . if (A ge B)
 6-1969 ca.6.10
 6-1986 . if (A == B)
 6-2011 . if (A > = B)
 6-2024 . if (A gt B)
 6-2034 . if (A == B)
 6-2049 . if (A ne B)
 6-2056 . if (A <  B)
 6-2067 . if (A < = B)
 6-2074 . if (A ge B)
 6-2081 . if (A le B)
 6-2088 . if (A gt B)
 6-2096 . if (A lt B)
 6-2103 . if (A ne B)
 6-2115 . switch (ca stuff)
 6-2117 .    case one:
 6-2120 .       break;
 6-2122 .    case two:
 6-2125 .       break;
 6-2127 .    default:
 6-2129 .        SwError;
 6-2136 . switch (ca stuff)
 6-2138 .    case one:
 6-2141 .       break;
 6-2143 .    case two:
 6-2146 .       break;
 6-2148 .    default:
 6-2150 .        SwError;
 6-2165 . switch (ca stuff)
 6-2167 .    case one:
 6-2170 .       break;
 6-2172 .    case two:
 6-2175 .       break;
 6-2177 .    default:
 6-2179 .        SwError;
 6-2185 . if (A ne B)
 6-2195 . switch (ca stuff)
 6-2197 .    case one:
 6-2200 .       break;
 6-2202 .    case two:
 6-2205 .       break;
 6-2207 .    default:
 6-2209 .        SwError;
 6-2228 . if (A ne B)
 6-2246 . if (A le B)

6 6 Result: result/source/pr-app/pr-app-CA123/ca/ca-06.c

7 7 Source: source/pr-app/pr-app-CA123/ca/ca-07.c
 7-15 ca.7.1
 7-45 . if (A ne B)
 7-52 . switch (ca stuff)
 7-54 .    case one:
 7-57 .       break;
 7-59 .    case two:
 7-62 .       break;
 7-72 . if (A gt B)
 7-91 . if (A == B)
 7-99 . if (A <  B)
 7-112 . if (A le B)
 7-119 . if (A == B)
 7-130 . if (A le B)
 7-140 . if (A == B)
 7-147 . if (A > = B)
 7-157 . switch (ca stuff)
 7-159 .    case one:
 7-162 .       break;
 7-164 .    case two:
 7-167 .       break;
 7-169 .    default:
 7-171 .        SwError;
 7-176 . if (A lt B)
 7-183 . if (A ge B)
 7-197 . if (A <  B)
 7-209 . if (A > = B)
 7-216 . if (A ge B)
 7-232 . switch (ca stuff)
 7-234 .    case one:
 7-237 .       break;
 7-239 .    case two:
 7-242 .       break;
 7-244 .    default:
 7-246 .        SwError;
 7-251 . if (A ge B)
 7-258 . if (A lt B)
 7-266 . if (A != B)
 7-275 . if (A eq B)
 7-284 . if (A ge B)
 7-297 ca.7.2
 7-310 . if (A != B)
 7-324 . switch (ca stuff)
 7-326 .    case one:
 7-329 .       break;
 7-331 .    case two:
 7-334 .       break;
 7-336 .    default:
 7-338 .        SwError;
 7-343 . if (A le B)
 7-355 . if (A > = B)
 7-362 . if (veg)
 7-367 . if (A eq B)
 7-376 . if (A lt B)
 7-384 . if (A > = B)
 7-402 . if (A le B)
 7-410 . if (A ne B)
 7-421 . if (A gt B)
 7-429 . if (A < = B)
 7-438 . if (A == B)
 7-455 . if (A <  B)
 7-466 . if (A > = B)
 7-474 . if (A ne B)
 7-481 . if (A >  B)
 7-491 . if (A > = B)
 7-503 . if (A gt B)
 7-511 . if (A lt B)
 7-521 . if (A >  B)
 7-530 . if (A ge B)
 7-540 . if (A >  B)
 7-547 . if (A ne B)
 7-560 . if (A > = B)
 7-567 . if (A eq B)
 7-592 ca.7.3
 7-617 . if (A lt B)
 7-624 . if (A > = B)
 7-632 . switch (ca stuff)
 7-634 .    case one:
 7-637 .       break;
 7-639 .    case two:
 7-642 .       break;
 7-644 .    default:
 7-646 .        SwError;
 7-661 . if (A >  B)
 7-672 . if (A < = B)
 7-682 . if (A >  B)
 7-689 . if (A < = B)
 7-702 . if (A <  B)
 7-709 . if (A lt B)
 7-721 . if (A lt B)
 7-728 . switch (ca stuff)
 7-730 .    case one:
 7-733 .       break;
 7-735 .    case two:
 7-738 .       break;
 7-740 .    default:
 7-742 .        SwError;
 7-750 . if (A >  B)
 7-758 . switch (ca stuff)
 7-760 .    case one:
 7-765 .    case two:
 7-768 .       break;
 7-770 .    default:
 7-772 .       SwError;
 7-777 . if (A <  B)
 7-784 . if (A != B)
 7-797 ca.7.4
 7-810 . if (A le B)
 7-817 . if (A < = B)
 7-830 . if (A <  B)
 7-837 . if (A < = B)
 7-849 . if (A > = B)
 7-859 . switch (ca stuff)
 7-861 .    case one:
 7-864 .       break;
 7-866 .    case two:
 7-869 .       break;
 7-871 .    default:
 7-873 .        SwError;
 7-879 . if (A ne B)
 7-886 . if (A > = B)
 7-903 ca.7.5
 7-918 . if (A > = B)
 7-938 . if (A <  B)
 7-947 . if (A lt B)
 7-955 . if (A < = B)
 7-966 . if (A > = B)
 7-981 ca.7.6
 7-996 . if (A ge B)
 7-1003 . if (A ge B)
 7-1011 . if (A >  B)
 7-1022 . if (A lt B)
 7-1031 . if (A lt B)
 7-1039 . if (A gt B)
 7-1057 . if (A > = B)
 7-1064 . if (A eq B)
 7-1072 . if (A lt B)
 7-1083 . if (A le B)
 7-1090 . if (A ne B)
 7-1098 . if (A == B)
 7-1110 . if (A != B)
 7-1118 . if (A le B)
 7-1126 . if (A <  B)
 7-1134 . if (A > = B)
 7-1143 . if (A != B)
 7-1160 . if (A ne B)
 7-1170 . switch (ca stuff)
 7-1172 .    case one:
 7-1175 .       break;
 7-1177 .    case two:
 7-1180 .       break;
 7-1182 .    default:
 7-1184 .        SwError;
 7-1189 . if (A ge B)
 7-1196 . if (A <  B)
 7-1205 . if (A == B)
 7-1218 . if (A < = B)
 7-1233 ca.7.7
 7-1248 . if (A eq B)
 7-1255 . if (A ne B)
 7-1262 . if (A eq B)
 7-1270 . if (A != B)
 7-1277 . if (A le B)
 7-1284 . if (A > = B)
 7-1291 . if (A lt B)
 7-1300 . if (A < = B)
 7-1307 . if (A ne B)
 7-1314 . if (A eq B)
 7-1322 . if (A != B)

7 7 Result: result/source/pr-app/pr-app-CA123/ca/ca-07.c

8 8 Source: source/pr-app/pr-app-CA123/ca/ca-08.c
 8-15 ca.8.1
 8-55 . if (A == B)
 8-67 . if (A < = B)
 8-78 . if (A gt B)
 8-92 . switch (ca stuff)
 8-94 .    case one:
 8-99 .    case two:
 8-102 .       break;
 8-104 .    default:
 8-106 .       SwError;
 8-119 . if (A gt B)
 8-126 . if (A lt B)
 8-140 . if (A lt B)
 8-148 . if (A ne B)
 8-166 . if (A < = B)
 8-174 . if (A < = B)
 8-181 . if (A > = B)
 8-195 ca.8.2
 8-208 . if (A > = B)
 8-218 . if (A > = B)
 8-226 . if (A == B)
 8-236 . if (A <  B)
 8-249 ca.8.3
 8-262 . if (A gt B)
 8-272 . if (A <  B)
 8-281 . if (A eq B)
 8-288 . if (A > = B)
 8-295 . if (A >  B)
 8-317 . if (A > = B)
 8-325 . switch (ca stuff)
 8-327 .    case one:
 8-330 .       break;
 8-332 .    case two:
 8-335 .       break;
 8-337 .    default:
 8-339 .        SwError;
 8-344 . if (A ge B)
 8-351 . if (A le B)
 8-359 . if (A >  B)
 8-366 . if (A lt B)
 8-373 . if (A == B)
 8-388 ca.8.4
 8-401 . if (A le B)
 8-409 . switch (ca stuff)
 8-411 .    case one:
 8-414 .       break;
 8-416 .    case two:
 8-419 .       break;
 8-421 .    default:
 8-423 .        SwError;
 8-430 . if (A ge B)
 8-438 . if (A > = B)
 8-447 . if (A >  B)
 8-458 . if (A != B)
 8-466 . if (A eq B)
 8-473 . if (A <  B)
 8-488 . if (A != B)
 8-503 ca.8.5
 8-517 . if (A >  B)
 8-526 . if (A < = B)
 8-533 . if (A ge B)
 8-540 . if (A > = B)
 8-549 . if (A eq B)
 8-558 . if (A lt B)
 8-571 ca.8.6
 8-586 . if ($ca stuff >  $otherca stuff) 
 8-594 . if (A gt B)
 8-603 . if (A gt B)
 8-611 . if (A == B)
 8-618 . if (A < = B)
 8-627 . if (A le B)
 8-639 . switch (ca stuff)
 8-641 .    case one:
 8-646 .    case two:
 8-649 .       break;
 8-651 .    default:
 8-653 .       SwError;
 8-659 . if (A lt B)
 8-672 . if (A < = B)
 8-682 . if (A gt B)
 8-691 . if (A < = B)
 8-703 . if (A == B)
 8-710 . if (A <  B)
 8-725 . if (A < = B)
 8-733 . switch (ca stuff)
 8-735 .    case one:
 8-738 .       break;
 8-740 .    case two:
 8-743 .       break;
 8-745 .    default:
 8-747 .        SwError;
 8-752 . if (A eq B)
 8-760 . if (A >  B)
 8-768 . if (A eq B)
 8-777 . if (A >  B)
 8-784 . if (A <  B)
 8-795 . if (A gt B)
 8-809 . if (A gt B)
 8-816 . if (A <  B)
 8-826 . if (A gt B)
 8-839 ca.8.7
 8-854 . if (A < = B)
 8-862 . if (A lt B)
 8-870 . if (A >  B)
 8-878 . if (A le B)
 8-891 . if (A < = B)
 8-898 . if (A ge B)
 8-906 . switch (ca stuff)
 8-908 .    case one:
 8-911 .       break;
 8-913 .    case two:
 8-916 .       break;
 8-918 .    default:
 8-920 .        SwError;
 8-925 . if (A le B)
 8-933 . if (A ne B)
 8-942 . if (A le B)
 8-952 . if (A == B)
 8-967 . if (A <  B)
 8-975 . if (A != B)
 8-983 . if (A ge B)
 8-990 . switch (ca stuff)
 8-992 .    case one:
 8-995 .       break;
 8-997 .    case two:
 8-1000 .       break;
 8-1002 .    default:
 8-1004 .        SwError;
 8-1012 . if (A < = B)
 8-1019 . if (A ge B)
 8-1032 . switch (ca stuff)
 8-1034 .    case one:
 8-1037 .       break;
 8-1039 .    case two:
 8-1042 .       break;
 8-1061 ca.8.8
 8-1081 . if (A ne B)
 8-1088 . if (A != B)
 8-1097 . if (A < = B)
 8-1105 . if (A le B)
 8-1112 . if (A != B)
 8-1128 . if (A ne B)
 8-1137 . if (A == B)
 8-1145 . if (A eq B)
 8-1152 . if (A >  B)
 8-1159 . if (A >  B)
 8-1166 . if (A == B)
 8-1175 . switch (ca stuff)
 8-1177 .       case one:
 8-1180 .       break;
 8-1182 .    case two:
 8-1185 .       break;
 8-1187 .    default:
 8-1194 . if (A gt B)
 8-1202 . if (A >  B)
 8-1211 . if (A < = B)
 8-1227 ca.8.9
 8-1240 . if (A ne B)
 8-1249 . if (A le B)
 8-1261 . switch (ca stuff)
 8-1263 .    case one:
 8-1266 .       break;
 8-1268 .    case two:
 8-1271 .       break;
 8-1273 .    default:
 8-1275 .        SwError;
 8-1281 . if (A == B)
 8-1295 ca.8.10
 8-1309 . if (A le B)
 8-1320 . if (A ge B)
 8-1345 ca.8.11
 8-1360 . if (A == B)
 8-1372 . if (A eq B)
 8-1379 . if (A gt B)
 8-1388 . if (A ne B)
 8-1398 . switch (ca stuff)
 8-1400 .    case one:
 8-1403 .       break;
 8-1405 .    case two:
 8-1408 .       break;
 8-1410 .    default:
 8-1412 .        SwError;
 8-1417 . if (A > = B)
 8-1425 . if (A lt B)
 8-1433 . if (A lt B)
 8-1447 . if (A eq B)
 8-1454 . if (A le B)
 8-1464 . if (A ne B)
 8-1473 . if (A >  B)
 8-1480 . if (A <  B)
 8-1489 . if (A lt B)
 8-1496 . switch (ca stuff)
 8-1498 .    case one:
 8-1501 .       break;
 8-1503 .    case two:
 8-1506 .       break;
 8-1508 .    default:
 8-1510 .        SwError;
 8-1517 . if (A > = B)
 8-1524 . if (A ne B)
 8-1540 ca.8.12
 8-1556 . if (A gt B)
 8-1567 . if (A <  B)
 8-1578 . if (A == B)
 8-1585 . if (A ge B)
 8-1594 . if (A < = B)
 8-1604 . if (A le B)
 8-1612 . if (A < = B)
 8-1621 . if (A >  B)
 8-1630 . if (A lt B)
 8-1637 . switch (ca stuff)
 8-1639 .    case one:
 8-1642 .       break;
 8-1644 .    case two:
 8-1647 .       break;
 8-1649 .    default:
 8-1651 .        SwError;
 8-1657 . if (A != B)
 8-1670 . if (A ge B)
 8-1679 . if (A lt B)
 8-1686 . if (A lt B)
 8-1694 . if (A >  B)
 8-1704 . if (A gt B)

8 8 Result: result/source/pr-app/pr-app-CA123/ca/ca-08.c

9 9 Source: source/pr-app/pr-app-CA123/ca/ca-09.c
 9-12 ca.9.1
 9-28 . if (A < = B)
 9-36 . if (A <  B)
 9-44 . if (A != B)
 9-56 . switch (ca stuff)
 9-58 .    case:
 9-59 .    case:
 9-62 .    case:
 9-63 .    case:
 9-64 .    case:
 9-67 .       break;
 9-69 .    default:
 9-76 . if (A <  B)
 9-84 . if (A eq B)
 9-91 . switch (ca stuff)
 9-93 .    case one:
 9-96 .       break;
 9-98 .    case two:
 9-101 .       break;
 9-103 .    default:
 9-105 .        SwError;
 9-111 . if (A lt B)
 9-123 . if (A le B)
 9-131 . switch (ca stuff)
 9-133 .    case one:
 9-136 .       break;
 9-138 .    case two:
 9-141 .       break;
 9-143 .    default:
 9-145 .        SwError;
 9-155 . if (A != B)
 9-163 . if (A gt B)
 9-181 ca.9.2
 9-195 . if (A != B)
 9-203 . if (A eq B)
 9-210 . if (A < = B)
 9-224 . if (A lt B)
 9-236 . if (A <  B)
 9-243 . if (A ge B)
 9-250 . if (A lt B)
 9-259 . if (A ge B)
 9-267 . if (A ne B)
 9-279 . if (A != B)
 9-287 . if (A le B)
 9-302 . if (A eq B)
 9-310 . if (A eq B)
 9-317 . if (A lt B)
 9-331 . switch (ca stuff)
 9-333 .       case one:
 9-336 .       break;
 9-338 .    case two:
 9-341 .       break;
 9-343 .    default:
 9-353 . if (A eq B)
 9-361 . if (A gt B)
 9-369 . if (A lt B)
 9-385 . if (A eq B)
 9-394 . if (A > = B)
 9-403 . if (A == B)
 9-416 . if (A ne B)
 9-424 . if (A ne B)
 9-439 ca.9.3
 9-455 . if (A <  B)
 9-470 . switch (ca stuff)
 9-472 .    case one:
 9-475 .       break;
 9-477 .    case two:
 9-480 .       break;
 9-482 .    default:
 9-484 .        SwError;
 9-489 . if (A ne B)
 9-496 . if (A == B)
 9-508 . if (A > = B)
 9-521 . if (A == B)
 9-528 . if (A ge B)
 9-535 . if (A <  B)
 9-545 . if (A le B)
 9-561 . if (A ne B)
 9-570 . if (A le B)
 9-580 . if (A >  B)
 9-589 . if (A <  B)
 9-602 ca.9.4
 9-621 . if (A gt B)
 9-629 . switch (ca stuff)
 9-631 .       case one:
 9-634 .       break;
 9-636 .    case two:
 9-639 .       break;
 9-641 .    default:
 9-648 . if (A eq B)
 9-665 . if (A > = B)
 9-677 . if (A eq B)
 9-687 . if (A < = B)
 9-694 . if (A eq B)
 9-704 . if (A <  B)
 9-711 . if (A le B)
 9-718 . if (A ne B)
 9-726 . if (A gt B)
 9-740 . switch (ca stuff)
 9-742 .    case one:
 9-744 .       switch (nested)
 9-746 .          case:
 9-748 .          case:
 9-750 .          default:
 9-751 .             SwError;
 9-754 .    case two:
 9-757 .       break;
 9-759 .    default:
 9-761 .       SwError;
 9-766 . switch (ca stuff)
 9-768 .    case one:
 9-771 .       break;
 9-773 .    case two:
 9-776 .       break;
 9-778 .    default:
 9-780 .        SwError;
 9-793 ca.9.5
 9-806 . if ($ca stuff >  $otherca stuff) 
 9-815 . if (A ne B)
 9-827 . if (A le B)
 9-835 . if (A > = B)
 9-845 . switch (ca stuff)
 9-847 .    case one:
 9-850 .       break;
 9-852 .    case two:
 9-855 .       break;
 9-857 .    default:
 9-859 .        SwError;
 9-864 . if (A eq B)
 9-871 . if (A < = B)
 9-879 . if (A ne B)
 9-886 . if (A <  B)
 9-897 . if (A gt B)
 9-904 . if (A < = B)
 9-912 . if (A >  B)
 9-922 . if (A le B)
 9-929 . if (A > = B)
 9-937 . if (A != B)
 9-951 . if (A ne B)
 9-959 . if (A <  B)
 9-969 . if (A >  B)
 9-976 . if (A gt B)
 9-983 . switch (ca stuff)
 9-985 .    case one:
 9-988 .       break;
 9-990 .    case two:
 9-993 .       break;
 9-995 .    default:
 9-997 .        SwError;
 9-1006 . if (A ne B)
 9-1015 . switch (ca stuff)
 9-1017 .    case one:
 9-1020 .       break;
 9-1022 .    case two:
 9-1025 .       break;
 9-1027 .    default:
 9-1029 .        SwError;
 9-1039 . if (A ne B)
 9-1061 . if (A != B)
 9-1068 . if (A <  B)
 9-1077 . switch (ca stuff)
 9-1079 .    case one:
 9-1084 .    case two:
 9-1087 .       break;
 9-1089 .    default:
 9-1091 .       SwError;
 9-1112 ca.9.6
 9-1125 . if (A ne B)
 9-1132 . if (A ge B)
 9-1145 . if (A == B)
 9-1152 . if (A ne B)
 9-1176 . switch (ca stuff)
 9-1178 .    case one:
 9-1183 .    case two:
 9-1186 .       break;
 9-1188 .    default:
 9-1190 .       SwError;
 9-1195 . if (A ne B)
 9-1203 . if (A lt B)
 9-1210 . if (A < = B)
 9-1219 . if (A le B)
 9-1227 . if (A > = B)
 9-1249 . if (A > = B)
 9-1267 ca.9.7
 9-1283 . if (A ge B)
 9-1290 . if (A != B)
 9-1297 . if (A >  B)
 9-1305 . if (A ne B)
 9-1315 . if (A ge B)
 9-1322 . if (A != B)
 9-1335 . if (A <  B)
 9-1345 . if (A < = B)
 9-1354 . if (A le B)
 9-1363 . if (A == B)
 9-1370 . if (A < = B)
 9-1377 . if (A >  B)
 9-1384 . if (A gt B)
 9-1391 . if (A ge B)
 9-1399 . if (A ne B)
 9-1407 . if (A ge B)
 9-1416 . if (A lt B)
 9-1427 . if (A > = B)
 9-1443 . switch (ca stuff)
 9-1445 .    case one:
 9-1450 .    case two:
 9-1453 .       break;
 9-1455 .    default:
 9-1457 .       SwError;
 9-1467 . if (A > = B)
 9-1474 . if (A == B)
 9-1481 . switch (ca stuff)
 9-1483 .    case one:
 9-1486 .       break;
 9-1488 .    case two:
 9-1491 .       break;
 9-1493 .    default:
 9-1495 .        SwError;
 9-1506 ca.9.8
 9-1520 . if (A >  B)
 9-1527 . switch (ca stuff)
 9-1529 .    case one:
 9-1532 .       break;
 9-1534 .    case two:
 9-1537 .       break;
 9-1539 .    default:
 9-1541 .        SwError;
 9-1546 . if (A eq B)
 9-1555 . if (A lt B)
 9-1562 . if (A >  B)
 9-1569 . if (A >  B)
 9-1578 . if (A <  B)
 9-1585 . if (A ge B)
 9-1592 . if (A > = B)
 9-1601 . if (A <  B)
 9-1615 . if (A != B)
 9-1622 . if (A == B)
 9-1629 . switch (ca stuff)
 9-1631 .    case:
 9-1632 .    case:
 9-1635 .    case:
 9-1636 .    case:
 9-1637 .    case:
 9-1640 .       break;
 9-1642 .    default:
 9-1652 . if (A != B)
 9-1662 . if (A ne B)
 9-1670 . if (A == B)
 9-1681 . if (A <  B)
 9-1690 . if (A > = B)
 9-1701 . if (A eq B)
 9-1711 . if (A lt B)
 9-1718 . if (A gt B)
 9-1732 . if (A ge B)
 9-1749 . if (A == B)
 9-1757 . if (A > = B)
 9-1764 . if (A >  B)
 9-1771 . if (A gt B)
 9-1782 . if (A ge B)
 9-1790 . if (A != B)
 9-1797 . switch (ca stuff)
 9-1799 .    case one:
 9-1802 .       break;
 9-1804 .    case two:
 9-1807 .       break;
 9-1809 .    default:
 9-1811 .        SwError;
 9-1824 ca.9.9
 9-1837 . switch (ca stuff)
 9-1839 .    case one:
 9-1842 .       break;
 9-1844 .    case two:
 9-1847 .       break;
 9-1849 .    default:
 9-1851 .        SwError;
 9-1858 . if (A <  B)
 9-1880 . if (A ge B)
 9-1889 . if (A == B)
 9-1899 . if (A gt B)
 9-1906 . if (A <  B)
 9-1913 . if (A gt B)
 9-1922 . if (A lt B)
 9-1937 . if (A >  B)
 9-1944 . if (A <  B)
 9-1951 . switch (ca stuff)
 9-1953 .    case one:
 9-1956 .       break;
 9-1958 .    case two:
 9-1961 .       break;
 9-1963 .    default:
 9-1965 .        SwError;
 9-1979 ca.9.10
 9-1992 . if (A < = B)
 9-1999 . if (A ge B)
 9-2006 . if (A >  B)
 9-2013 . if (A >  B)
 9-2021 . if (A eq B)
 9-2028 . if (A > = B)
 9-2039 . if (A ne B)
 9-2050 . if (A > = B)
 9-2059 . if (A le B)
 9-2066 . if (A < = B)
 9-2073 . if (A gt B)
 9-2084 . if (A > = B)
 9-2093 . switch (ca stuff)
 9-2095 .    case one:
 9-2098 .       break;
 9-2100 .    case two:
 9-2103 .       break;
 9-2105 .    default:
 9-2107 .        SwError;
 9-2115 . if (A > = B)
 9-2129 ca.9.11
 9-2143 . if (A eq B)
 9-2151 . if (A == B)

9 9 Result: result/source/pr-app/pr-app-CA123/ca/ca-09.c

Settings

This is also a legacy report. Many of the IAT automatic detectors in the stat-problems report started with this report. This report extracts all the decisions and certain keywords such as calls to software error. Use the details area of this report to determine if there are nesting problems or failures to call software error. If web enabled try re-running the report with other keywords. New potential issues may be surfaced. 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
if\s*\(|else\s*\(|else\s*\n find 1
switch|case|break|return|default find 2
SwError find 3
nnoonnee find 4
gNoteError 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 15:52:33 start
12/08/2003 15:52:43 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