CodeCheck Technical Notes are technical discussions for those who are in­stalling Code­Check, writing CodeCheck rules, or writing scripts that invoke CodeCheck. These notes supplement and amplify upon material in The CodeCheck Reference Manual and C and C++ Source Code Analysis Using CodeCheck, and provide important information that is particular to machines, compilers, libraries, and operating systems.

Table of Contents:

#1        CodeCheck MS-DOS / WIN-3.x_ 5

#2        CodeCheck Unix_ 8

Special HPUX, AIX, SUN, SGI, and SOLARIS Caveats 9

#3        CodeCheck OS/2_ 11

#4        CodeCheck VMS_ 12

#5        CodeCheck Mac 14

#6        CodeCheck Windows 2000 [NT] 18

#7        Troubleshooting Syntax “Errors”_ 19

Why syntax errors occur 19

The first and most important step_ 19

Nonstandard keywords 19

Creating new intrinsic type specifiers with new_type_ 20

SYSTEM ERRORS_ 22

Contacting Abraxas Software for Support 22

#8        Errata in the CodeCheck Reference Manuals 23

#9        New Variables, Functions, Operators and Error Messages 24

#10      Checking Microsoft C/C++ Sources 26

Which version of Microsoft C/C++?_ 26

New MSDEV C++ TYPES - __int8, __int16, __int32, __int64, and bool 26

Specify the target API with a command-line macro_ 26

If you use Microsoft C (but not C++) then read this! 27

CodeCheck can be incorporated into the Visual C++ Environment 27

Known bugs in Microsoft C++ 6.0 headers [ There are NO known problems in MSDEV 7.0 "Dot-Net" ] 27

Know Bugs When Running ATL.CPP Sample [ MSDEV 6.0 C++ ] 28

Known Bugs in RPC.H [MSDEV 6.0 C++ ] 28

Microsoft Visual C++ .NET_ 29

#11      Checking Borland C/C++ Sources 30

#12      Checking Symantec C/C++ Sources 33

#13      Checking Watcom C/C++ Sources 34

#14      The Rogue Wave C++ Libraries 35

Rogue Wave and Borland C++_ 35

Rogue Wave and Metaware Ansi C_ 36

#15      Type Checking with CodeCheck_ 37

#16      CodeCheck under IBM MVS-OE_ 43

#17      IBM VisualAge C/C++ Compiler 45

#18      New Command Options & Functions 47

#19      ObjectSpace/HP Standard Template Libraries 49

#20      NameSpace - ANSI C++ Working Draft 52

#21      Checking Metrowerks CodeWarrior C/C++ Sources 54

#22      Checking SUN C/C++ Code on SUN Sparc 55

Solaris machine dependent caveats 55

#23      Running CodeCheck within Microsoft Visual C++ Developer Studio_ 56

How to integrate CodeCheck with Microsoft Developer Studio_ 56

Searching for Header Files within MSDEV STUDIO_ 57

Checking Projects and individual files with MSDEV STUDIO_ 57

Having source files in different directories: 57

#24 Improving CodeCheck Speed_ 58

Codecheck on a relatively large Microsoft C++ project 58

#25 Extending CodeCheck Functionality 60

Extending CodeCheck_ 60

Extending Function Meaning_ 61

#26 GNU-GCC C/C++ Configuration_