Coverity® 5.0.

2 Supported and Compatible Platforms

Guide
Copyright © 2004-2010 Coverity, Inc. All rights reserved worldwide.
The information contained in this document, and the Software provided by Coverity, are the proprietary and confidential information of Coverity
and its licensors, and are supplied subject to, and may be used only by Coverity customers in accordance with the terms and conditions of a license
agreement previously accepted by Coverity and that customer. Coverity's current standard end user license terms and conditions are contained in
the CoverityLicense.pdf file located at <install_dir>/doc/.

Portions of the product described in this documentation use third-party material. Notices, terms and conditions, and copyrights regarding third party
material may be found in the <install_dir>/doc/licenses directory.

Customer acknowledges that the use of Coverity Software may be enabled by authorization keys supplied by Coverity for a limited licensed period.
At the end of this period, the authorization key will expire. You agree not to take any action to work around or override these license restrictions or
use the Software beyond the licensed period. Any attempt to do so will be considered an infringement of intellectual property rights that may be
subject to legal action.

U.S. GOVERNMENT RESTRICTED RIGHTS: The Software and associated documentation are provided with Restricted Rights. Use, duplication,
or disclosure by the U.S. Government is subject to restrictions set forth in subparagraph (c)(1) of The Rights in Technical Data and Computer
Software clause at DFARS 252.227-7013 or subparagraphs (c)(1) and (2) of Commercial Computer Software - Restricted Rights at 48 CFR 52.227-19,
as applicable.

The Manufacturer is: Coverity, Inc. 185 Berry St., San Francisco, California 94107.

Coverity Static Analysis is protected by U.S. Patent No. 7,340,726.

Trademark Statement

Coverity, the Coverity logo, a higher code, and Coverity Certified are trademarks or registered trademarks of Coverity, Inc. in the U.S. and other
countries.

Coverity’s trademarks may be used publicly only with permission from Coverity. Fair use of Coverity’s trademarks in advertising and promotion
of Coverity’s products requires proper acknowledgement.

Microsoft and Visual Studio are trademarks or registered trademarks of Microsoft Corporation in the United States and/or other countries.

Java and all Java based trademarks and logos are trademarks or registered trademarks of Sun Microsystems, Inc. in the U.S. and other countries.

"MISRA", "MISRA C" and the MISRA triangle logo are registered trademarks of MIRA Ltd, held on behalf of the MISRA Consortium.

Other names and brands may be claimed as the property of others.

Table of Contents
Preface .............................................................................................................................. v
1. Integrity Manager ............................................................................................................. 1
2. Static Analysis ................................................................................................................. 2
3. Dynamic Analysis ............................................................................................................ 8
4. Build Analysis ................................................................................................................. 9
5. Architecture Analysis ...................................................................................................... 10
6. Coverity SDK ................................................................................................................ 11

iii
List of Tables
1.1. Integrity Manager server platform support .......................................................................... 1
1.2. Integrity Manager browser support .................................................................................... 1
2.1. Static Analysis supported platforms ................................................................................... 2
2.2. Static Analysis compatible platforms ................................................................................. 3
2.3. Static Analysis for C/C++ supported compilers .................................................................... 4
3.1. Dynamic Analysis for Java platform support ....................................................................... 8
3.2. Dynamic Analysis for Java platform compatibility ................................................................ 8
4.1. Build Analysis command-line tools platform support ............................................................ 9
4.2. Build Analysis GUI platform support ................................................................................. 9
5.1. Architecture Analysis for C/C++ platform support .............................................................. 10
5.2. Architecture Analysis for Java platform support ................................................................. 10
6.1. Coverity SDK platform support ...................................................................................... 11

iv
Preface
This guide contains information about platforms that Coverity modules support or are compatible with, as
of the 5.0.2 release.

In this document, the terms supported and compatible mean:

supported Coverity modules are fully tested on platforms that are listed as supported.

compatible Coverity modules will likely run on platforms that are listed as compatible. Coverity
supports compatible platforms only when a bug can be reproduced using a supported
platform.

v
Chapter 1. Integrity Manager
Integrity Manager supports the following server platforms.

Table 1.1. Integrity Manager server platform support

Host OS Host OS version Host CPU 32- or 64-bit
Windows Windows 2008 Enterprise x86 32- or 64-bit
Windows Windows Vista Ultimate and Business editions SP2 x86 32-bit
Windows Windows XP Professional Edition SP3 x86 32-bit
Windows Windows 2003 Enterprise SP2 x86 32- or 64-bit
Linux Fedora Core 10 x86 32- or 64-bit
Linux Fedora Core 11 x86 32- or 64-bit
Linux Red Hat Enterprise 5, Linux 2.6 kernel x86 32- or 64-bit

Table 1.2. Integrity Manager browser support

Browser Flash
Internet Explorer 8 Flash 10 with JavaScript enabled
Firefox 3.5 Flash 10 with JavaScript enabled

1
Chapter 2. Static Analysis
Coverity documentation solely determines platform support or compatibility. Some Static Analysis
commands and features check if a platform is supported or compatible, and will not run on unsupported
platforms. A Static Analysis feature might run on a platform, but not generate an error message. Such
behavior does not imply support for that platform. To disable the check and run Static Analysis on an
unsupported platform, set the environment variable COVERITY_UNSUPPORTED=1. If you request
Coverity support, inform the support representative whether or not you are using this environment variable.

Static Analysis for C# supports Visual Studio 2008, 2005, 2003, and their versions of the C# compiler
(csc.exe).

Static Analysis supports or is compatible with the following platforms. Coverity fully supports platforms
indicated as supported. Coverity supports compatible platforms only when a bug can be reproduced using
a supported platform.

On supported platforms other than Mac OS X, Static Analysis supplies JRE 1.6, and can be used on code
compiled with JRE 1.5. On supported Mac OS X systems, you need to use JRE 1.5 that Apples provides.

Static Analysis supports the following platforms:

Table 2.1. Static Analysis supported platforms

Supported Platform C/C++ Java C# FLEXnet Licensing
Analysis Analysis Analysis
FreeBSD 4.9 for the i386 processor ✓
HP-UX 11.11 for the PA-RISC 2.0 ✓ ✓a
processor
Red Hat Enterprise 5 for 32- and 64-bit ✓ ✓ ✓
x86 processors
Red Hat Enterprise 4 for the Itanium ✓
processor
NetBSD 2 for the i386 processor ✓
b
Mac OS X 10.5 for the x86 processor ✓ ✓ ✓
Solaris 8 for the 64-bit SPARC ✓ ✓ ✓
processor
Solaris 10 for the 64-bit x86 processor ✓ ✓ ✓
c
Windows Server 2003, Enterprise ✓ ✓ ✓ ✓
Edition, SP1 (32-bit)
Windows Vista Business, Enterprise, ✓ ✓ ✓c ✓
and Ultimate editions, SP1 (32-bit)
Windows Vista Ultimate edition, SP2 ✓ ✓ ✓c ✓
(32-bit)
a
HP-UX 11.23 only. FLEXnet Licensing is not supported on HP-UX 11.11.
b
Requires JRE Version 5.
c
Static Analysis for C# requires .NET 2.0, 3.0, or 3.5 to run. Static Analysis supports analysis of programs produced by the Visual
C# compiler (csc.exe) from .NET Framework versions 1.0, 1.1, 2.0, 3.0, and 3.5.

Static Analysis is compatible with the following platforms, or VM implementations of the following
platforms, except where noted:

2
 Static Analysis

Table 2.2. Static Analysis compatible platforms

Compatible Platforms C/C++ Java C# FLEXnet
Analysis Analysis Analysis Licensing
FreeBSD 4 for the i386 processor ✓
a
FreeBSD 5 for the i386 processor ✓
a
FreeBSD 6 for the i386 processor ✓
FreeBSD 7.1 for the i386 processor ✓
NetBSD 3 for the i386 processor ✓
bc
HP-UX 11.23 for the PA-RISC 2.0 processor ✓ ✓d
Fedora Core 3, Linux 2.6 kernel ✓ ✓
Fedora Core 4, Linux 2.6 kernel ✓ ✓
Fedora Core 5, Linux 2.6 kernel ✓ ✓
Fedora Core 6, Linux 2.6 kernel ✓ ✓
Red Hat Enterprise 5 for the Itanium processor ✓
Red Hat Enterprise 4, Linux 2.4 or 2.6 kernel ✓ ✓ ✓
SUSE 9, Linux 2.4 or 2.6 kernel ✓ ✓
SUSE 10, Linux 2.4 or 2.6 kernel ✓ ✓
c
Solaris 8 for the 32-bit SPARC processor ✓ ✓ ✓
c
Solaris 9 for the 32- or 64-bit SPARC processor ✓ ✓ ✓
c
Solaris 10 for the 32- or 64-bit SPARC processor ✓ ✓ ✓
c
Solaris 10 for the 32-bit x86 processor ✓ ✓ ✓
e
Windows XP Professional Edition (32-bit) ✓ ✓ ✓ ✓
e
Windows 2000 Server SP4 (and later) (32-bit) ✓ ✓ ✓ ✓
e
Windows 2000 Professional SP4 (and later) (32-bit) ✓ ✓ ✓ ✓
e
Windows 2000 Server SP4 (and later) Advanced and ✓ ✓ ✓ ✓
Datacenter editions (32-bit)
Windows Server 2003 SP1 (and later) (32-bit) ✓ ✓ ✓e ✓
ce
Windows Vista Business, Enterprise, and Ultimate ✓ ✓ ✓ ✓
editions, (32-bit)
Mac OS X 10.5 for the PowerPC processorf ✓ ✓ ✓
a
For FreeBSD 5.3 and later, you must compile the system kernel with the COMPAT_FREEBSD4 set because Static Analysis is
compiled for FreeBSD 4.9.
b
Patch PHSS_30966 is required for HP-UX 11.11, and patch PHSS_31087 is required for HP-UX 11.23.
c
A VM implementation of this platform is incompatible.
d
HP-UX 11.23 only. FLEXnet Licensing is not supported on HP-UX 11.11.
e
Static Analysis for C# requires .NET 2.0, 3.0, or 3.5 to run. Static Analysis supports analysis of programs produced by the Visual
C# compiler (csc.exe) from .NET Framework versions 1.0, 1.1, 2.0, 3.0, and 3.5.
f
Requires JRE Version 5.

Supported compilers for Static Analysis for C/C++.

Static Analysis for C/C++ supports or is compatible with the following compilers. Coverity fully supports
compilers indicated as supported. Coverity supports compatible compilers only when a bug can be
reproduced using a supported compiler.

3
 Static Analysis

Coverity does not support undocumented, unintended, or non-standard features of supported or compatible
compilers. Many compilers have implementations that vary, sometimes significantly, from the C and C++
standards. Coverity attempts to support documented compiler features where reasonably possible. To
properly analyze files that use undocumented, unintended or non-standard features, you might need to
configure the analysis or change your code.

Note
The Platform Builder IDE is supported if the compiler that it is using is supported. Platform
Builder is not a compiler.

Table 2.3. Static Analysis for C/C++ supported compilers

Compiler Version Host Target
Analog Devices v5.0 (7.3.0.5) Windows TigerSHARC
VisualDSP++ v5.0 (8.0.0.8) Windows SHARC
Compilers
v5.0 (8.0.0.10) Windows Blackfin
a
ARM C and C++ ADS 1.1 Windows
ADS 1.2 Solaris
ADS 1.2 Linux
ADS 1.2 Windows
RVDS 2.0 Windows
RVDS 2.1 Windows
RVDS 2.2 Windows
RVDS 3.0 Windows
RVDS 3.1 Linux
RVDS 3.1 Windows
b
Borland C++ CodeGear C++ 5.93 Windows
Borland C++ 5.5.1 Windows
Cosmic C Cross cx6805 v4.2d Windows Motorola 68HC05
Compilers cx6811 v4.1t Windows Motorola 68HC11
cx6808 v4.5.10 Windows Freescale 68HC08 and HCS08
cx6812 v4.6i Windows Freescale 68HC12 and HCS12
cxs12x v4.7.7 Windows Freescale HCS12X
cxxgate v4.2.4 Windows Freescale XGATE co-processor
cx6816 v4.1r Windows Motorola 68HC16
cx332 v4.1l Windows Freescale MC68332
Freescale v1.3 Windows StarCore and SDMA
Codewarrior v3.0 Windows ARM
v3.0.5 Windows E68k
v3.1 Windows StarCore DSP
v6.4 Windows ColdFire
v8.2 Windows DSC56800E

4
 Static Analysis

Compiler Version Host Target

v4.1 Windows EPPC 5xx
v4.2 Windows EPPC 5xx
v4.3 Windows EPPC 5xx
v4.6 Windows HC12
v6.1 Windows Microcontrollers (HC08)
v2.2 Windows MPC55xx
v8.7 Windows EPPC 5xx
GNU GCC and 4.1.0 Linux (32-bit) x86
G++c 4.0.1 Mac OS X PPC processor
4.0.0 Linux (64-bit) x86
3.4.4 Windows Cygwin
3.3.3 HP-UX PA-RISC processor
3.3.2 Solaris 64-bit x86 processor
Green Hills 4.0.2 Windows PowerPC
Optimizing C and 4.0.7 Linux PowerPC
C++/EC++
4.2.3 SunOS 5.8 PPC MPC83xx PowerQUICC II
PRO
4.2.3 Windows PowerPC
4.2.3 Windows ARM
HI-TECH PICC 9.50PL2 Windows Microchip PICCmicro family
Compiler
HP aCC A.03.63 HP-UX PA-RISC
A.03.67 HP-UX PA-RISC
IAR Embedded 4.40A , 5.0, and V5.10 Windows ARM
Workbench C/C++ v7.30B Windows 8051
v4.10A Windows MSP430
v4.30 Windows Atmel AVR
v3.21D Windows Renesas M16C
v2.10B Windows Renesas H8
v3.21A Windows Renesas M32C
v4.40A Windows Dallas/Maxim MAXQ
v4.40A Windows Freescale HC11
Intel C++ 9.1 Linux x86
10 Linux x86
10.1 Linux x86
11 Linux x86
2.0.1 Windows XScale Microarchitecture
Keil Compilers 8.12 Windows C51
6.11 Windows C166

5
 Static Analysis

Compiler Version Host Target

4.53a Windows C251
RVCT3.1 for uVision Windows ARM
Marvell MSA 2.0 Windows MSA
3.1 Windows MSA
Nokia Codewarrior v3.1 Windows Symbian
for Symbian
QNX C/C++ 6.3.2 Windows x-86, MIPS, PPC, ARM, Intel
XScale, Sh-4
Renesas C/C++ v.9.01 Windows SuperH
Compilers v.6.02 Windows H8S
v.6.02 Windows H8
v.5.41 Windows M16C
v.5.41 Windows M32C
v.5.01 Windows M32R
d
Scratchbox 1.0.13, 1.0.12, 1.0.11, 1.0.10, Linux (32-bit) ARM, PPC
1.0.8, or 0.9.8
STMicroelectronics 4.1.1 Windows Renesas SH-4
GNU C/C++ 4.1.1 Linux Renesas SH-4
STMicroelectronics 2.3.1 Windows ST20
ST Micro C/C++
Sun CC and cce Studio8: cc and CC 5.5 Solaris SPARC, x86
Studio9: cc and CC 5.6 Solaris SPARC, x86
Studio10: cc and CC 5.7 Solaris SPARC, x86
Studio11: cc and CC 5.8 Solaris, Linux Solaris SPARC and x86, Linux x86
and x86_64
Tensilica xt-xcc RA-2006.5 Linux x86
compiler RA-2006.5 Windows x86
Texas Instruments 3.1, 3.2, 3.3 Windows TMS470R1x
Code Composer 3.1, 3.2, 3.3 Windows TMS320C55x
3.1, 3.2, 3.3 Windows TMS320C6000
3.1, 3.2, 3.3 Windows TMS320C54x
3.1, 3.2, 3.3 TMS320C28x
TriMedia TCS 5.2ER2 Windows x86
compiler 5.2ER2 Linux x86
fg
Visual Studio Microsoft eMbedded C++ 4.0 Windows ARM, MIPS, SH
Microsoft Visual C++ 2008, Windows x86, ARM, MIPS, SH
2005gh
Microsoft Visual C++ 6, 2003gh Windows x86i

6
 Static Analysis

Compiler Version Host Target

Wind River 5.0.x-5.6.x Windows ColdFire, M32R, MC68k,
(formerly Diab) M*CORE, MIPS, PowerPC, SH,
C/C++ SPARC, ARM(XSCALE), TriCore,
X86
4.3g Windows PowerPC
a
For all ARM compilers, the only supported target platform is ARM. ARM C and C++ compiler versions not listed as supported are
compatible compilers.
b
The VCL library, which is shipped with Borland compilers, is not supported.
c
Versions 2.7.2 and later, and compilers that are based on GCC or G++ 2.7.2 or later, for the supported platforms are compatible
compilers. Versions of any of these compilers that are modified to accept non-standard syntax are not supported.
d
To run Static Analysis using the Scratchbox compiler, install Static Analysis in the /scratchbox/users/$USER/host_usr
directory and use the cov-build-sbox and cov-configure-sbox commands. Exit Scratchbox to perform all other operations.
e
The supported target architecture for all versions of the compilers is the same as the host architecture.
f
Microsoft bundles compilers with a number of SDKs, such as the Windows Driver Kit, Window Driver Development Kit, and
Windows CE. These compilers are similar to the ones that come with Visual Studio. These compilers are compatible as long as the
version number is greater then 12.00, and the target is supported.
g
The compiler version can be determined by running the compiler (cl) on the command line, which returns detailed information.
For example:

> cl
Microsoft (R) 32-bit C/C++ Optimizing Compiler Version 14.00.50727.42 for
80x86
Copyright (C) Microsoft Corporation. All rights reserved.
usage: cl [ option... ] filename... [ /link linkoption... ]
h
Managed C++ and Common Language Runtime (CLR) are not compatible. Compilations with switches beginning with "/CLR" will
be skipped.
i
Targets such as Itanium and x86-64 are not compatible.

7
Chapter 3. Dynamic Analysis
Dynamic Analysis supports or is compatible with the following platforms. Coverity fully supports platforms
indicated as supported. Coverity supports compatible platforms only when a bug can be reproduced using
a supported platform.

Table 3.1. Dynamic Analysis for Java platform support

Host OS Host OS and/or Host CPU 32- or JRE Agent Broker
kernel version 64-bit version
Linux Fedora Core 3; x86 32-bit Sun JRE ✓ ✓
kernel 2.4, 2.6 1.5, 1.6
Fedora Core 4; 64-bit ✓ ✓
kernel 2.4, 2.6
Red Hat Enterprise 5 ✓ ✓
Windows XP, Windows Server x86 32-bit Sun JRE ✓ ✓
2003, Standard 1.5, 1.6
Edition, SP1;
Vista, Ultimate
Edition, SP2
Mac OS X 10.5 x86 32-bit Sun JRE ✓
1.5, 1.6

Table 3.2. Dynamic Analysis for Java platform compatibility

Host OS Host OS and/or kernel Host CPU 32- or JRE Agent Broker
version 64-bit version
Linuxa Fedora Core 4; kernel 2.4 or x86 32- bit Sun JRE ✓ ✓
2.6 1.5, 1.6
Fedora Core 5, 6; kernel 2.4 32- or ✓ ✓
or 2.6 64-bit
Red Hat Enterprise 4; kernel 32- or ✓ ✓
2.4 or 2.6 64-bit
SUSE 9, 10; kernel 2.4 or 2.6 32- or ✓ ✓
64-bit
Windowsa Windows XP Professional x86 32-bit Sun JRE ✓ ✓
Edition 1.5, 1.6;
Windows 2000 Server SP4 BEA 1.5, ✓ ✓
and later 1.6
(Jrockit 5,
Windows 2000 Server SP4 6); IBM ✓ ✓
(and later) Advanced and JRE 1.5;
Datacenter editions
Windows Server 2003 SP1 ✓ ✓
(and later) all editions
a
Dynamic Analysis supports VM implementations of supported or compatible Linux and Windows platforms.

8
Chapter 4. Build Analysis
Build Analysis command-line tools are only supported on the following platforms:

Table 4.1. Build Analysis command-line tools platform support

Host OS Version Architecture
a
Linux Red Hat Enterprise 4 IA-64
a
Linux Red Hat Enterprise 5 x86, x86_64
a
Linux Fedora Core 4 x86_64
FreeBSD 7.1 x86
Solaris 8, 10 SPARC-V9 (64-bit)
Solaris 10 x86, x86_64
a
On Linux systems, Build Analysis only supports systems with glibc 2.3 or later.

The Build Analysis GUI (graphical user interface) is only supported on the following platforms:

Table 4.2. Build Analysis GUI platform support

Host OS Version Architecture
Linux Red Hat Enterprise 5 x86
Linux Red Hat Enterprise 5 x86_64
Windows XP, 2003 x86_32

9
Chapter 5. Architecture Analysis
Architecture Analysis supports or is compatible with the following platforms. Coverity fully supports
platforms indicated as supported. Coverity supports compatible platforms only when a bug can be reproduced
using a supported platform.

Architecture Analysis supports the following platforms:

Table 5.1. Architecture Analysis for C/C++ platform support

Host OS Host OS Host CPU 32- or 64-bit JRE version
or
kernel
version
Windows Vista, XP, x86 32-bit Sun 1.5a, 1.6
2003
Linux 2.4, 2.6 x86 32- or 64-bit Sun 1.5, 1.6
Solaris 8, 9, 10 SPARC 32- or 64-bit Sun 1.5, 1.6
10 x86
Mac OS X 10.5 x86 32- or 64-bit Sun 1.5, 1.6
(Universal)
a
Architecture Analysis supports JRE version 1.5.0.13 and later.

Table 5.2. Architecture Analysis for Java platform support

Host OS Host OS Host 32- or JRE version
or CPU 64-bit
kernel
version
Windows Vista, XP, x86 32-bit Sun 1.5a, 1.6
2003
Linux 2.4, 2.6 x86 32- or Sun 1.5, 1.6
64-bit
Solaris 8, 9, 10 SPARC 32- or Sun 1.5, 1.6
10 x86 64-bit

Mac OS 10.5 x86 32- or Sun 1.5, 1.6

X (Universal) 64-bit
a
Architecture Analysis supports JRE version 1.5.0.13 and later.

10
Chapter 6. Coverity SDK
Coverity SDK supports or is compatible with the following platforms. Coverity fully supports platforms
indicated as supported. Coverity supports compatible platforms only when a bug can be reproduced using
a supported platform.

Table 6.1. Coverity SDK platform support

Supported platform
FreeBSD 4.9 for the i386 processor
HP-UX 11.11 for the PA-RISC processor
Red Hat Enterprise 4 for the Itanium processor
Fedora Core 3 for the 32-bit x86 processor
Fedora Core 4 for the 64-bit x86 processor
NetBSD 2 for the i386 processor
Solaris 8 for the SPARC processor
c
Solaris 10 for the 32-bit x86 processor
Windows Server 2003, Standard Edition, SP1
(32-bit)
a
For FreeBSD 5.3 and later, you must compile the system kernel with the COMPAT_FREEBSD4 set because Static Analysis is
compiled for FreeBSD 4.x.
b
Patch PHSS_30966 required for HP-UX 11.11, and patch PHSS_31087 required for HP-UX 11.23.
c
Requires the libiconv library, and you must configure the system dynamic loader (ld.so.1) to locate it.
Compatible platforms
FreeBSD 5 and 6 for the i386 processora, VM
implementations of supported or compatible
platforms
HP-UX 11.23 for the PA-RISC processorb
Red Hat Enterprise 5 for the Itanium processor
Fedora Core 4, 5, and 6, Red Hat Enterprise 4, SUSE
9 and 10, operating systems based on the Linux 2.4
or 2.6 kernel, VM implementations of supported or
compatible platforms
Fedora Core 5 and 6, Red Hat Enterprise 4, SUSE 9
and 10, operating systems based on the Linux 2.4 or
2.6 kernel, VM implementations of supported or
compatible platforms
NetBSD 3 for the i386 processor, VM
implementations of supported or compatible
platforms
Solaris 9 and 10 for the SPARC processor
none
32-bit versions of: Windows XP Professional Edition,
Windows 2000 Server SP4 (Advanced and
Datacenter editions), Windows Server 2003 SP1 (all
editions), Windows Server 2003 SP2 (all editions),
VM implementations of supported or compatible
platforms

11