Request a Demo

Supported Languages and Development Environments

This page summarizes the programming languages, compilers, and target environments supported by the Suresofttech code verification tools STATIC, CT, and COVER. For each language you can check the supported versions and which tools are available.

Supported Languages by Tool

Supported languagesTool
C / C++C#JavaKotlinPython
 STATIC
C / C++
 CT
C / C++C#Java(Enterprise only)
 COVER
The supported scope differs by product, edition, and product version. The values on this page represent the maximum supported scope as of today; whether they apply in practice must be confirmed against your own environment.

C / C++

Supported Versions

  • GCCGCC 16.0 and below
  • Clang / LLVMClang 22.0.0 and below
  • MSVC (Visual Studio)MSVC 1951 and below
  • Commercial embedded toolchainsmore than 100 toolchains, including ARM, Freescale, Green Hills, Keil, and Renesas

Standards Coverage

Full support means the entire syntax and language feature set of the standard is supported; partial support means that some of the syntax and features are supported.

C standards

Language standardSupport level
C89 / C90🟢 Full support
C95🟢 Full support
C99🟢 Full support
C11🟢 Full support
C17 / C18🟢 Full support
C23🟡 Partial support

C++ standards

Language standardSupport level
C++98 / C++03🟢 Full support
C++11🟢 Full support
C++14🟢 Full support
C++17🟢 Full support
C++20🟡 Partial support
C++23🟡 Partial support
C++26🟡 Partial support

Target Coverage

Supported target vendors (42 companies)

ADC · Altium · Analog Devices · ARM · Atmel · Atollic · CCS · Cosmic · Embarcadero · Freescale · Fujitsu · Green Hills · HighTec · HP · HP InfoTech · IAR · IBM · Infineon · Intel · Keil · Mentor Graphics · Microchip · Microsoft · NEC · NEOS · NI · NXP · Paradigm · QNX · Raisonance · Red Hat · Renesas · Samsung · SPARC · STMicroelectronics · Sun · Sysgo · TI · Wind River · Woodward Governor · Xilinx · XMOS

A quick guide covering the setup procedure is provided for each supported environment. Target environments that are not on the list can also be supported after porting; applicability is confirmed through a separate consultation.

Tools That Support C/C++

C#

Supported Versions

  • .NET.NET 10 (C# 14) and below

Supported Development Environments

  • Visual Studio 2010–2026analysis targets are specified per project (.csproj) and solution (.sln).

Tools That Support C#

Java

Supported Versions

  • JavaJava 25 and below

Supported Build Environments

  • Maven · Gradleanalysis and measurement run by adding an option or a plugin goal to your existing build command.
  • Command Lineintegration through the command line is also available.

Tools That Support Java

Kotlin

Supported Versions

  • KotlinKotlin 2.1 and below

Supported Build Environments

  • Maven · Gradle

Tools That Support Kotlin

Python

Supported Versions

  • PythonPython 3.12 and below

Supported Analysis Method

  • Workspace-based analysiscreate a Python workspace in the analysis tool and then request an analysis. No separate build step is required.

Tools That Support Python

Last updated: 2026-08-25