# 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 | Tool | Supported Languages | |---|---| | [STATIC](../static/static_contents.md) | | | [CT](../ct/ct_contents.md) | | | [COVER](../cover/cover_contents.md) | | > 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 - **GCC** — GCC 16.0 and below - **Clang / LLVM** — Clang 22.0.0 and below - **MSVC (Visual Studio)** — MSVC 1951 and below - **Commercial embedded toolchains** — more 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 standard | Support level | |---|---| | C89 / C90 | 🟢 Full support | | C95 | 🟢 Full support | | C99 | 🟢 Full support | | C11 | 🟢 Full support | | C17 / C18 | 🟢 Full support | | C23 | 🟡 Partial support | **C++ standards** | Language standard | Support 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++ - [STATIC](../static/static_contents.md) - [CT](../ct/ct_contents.md) - [COVER](../cover/cover_contents.md) --- ## C# ### Supported Versions - **.NET** — .NET 10 (C# 14) and below ### Supported Development Environments - **Visual Studio 2010–2026** — analysis targets are specified per project (.csproj) and solution (.sln). ### Tools That Support C# - [STATIC](../static/static_contents.md) - [COVER](../cover/cover_contents.md) --- ## Java ### Supported Versions - **Java** — Java 25 and below ### Supported Build Environments - **Maven** · **Gradle** — analysis and measurement run by adding an option or a plugin goal to your existing build command. - **Command Line** — integration through the command line is also available. ### Tools That Support Java - [STATIC](../static/static_contents.md) - [COVER](../cover/cover_contents.md) --- ## Kotlin ### Supported Versions - **Kotlin** — Kotlin 2.1 and below ### Supported Build Environments - **Maven** · **Gradle** ### Tools That Support Kotlin - [STATIC](../static/static_contents.md) --- ## Python ### Supported Versions - **Python** — Python 3.12 and below ### Supported Analysis Method - **Workspace-based analysis** — create a Python workspace in the analysis tool and then request an analysis. No separate build step is required. ### Tools That Support Python - [STATIC](../static/static_contents.md) --- Last updated: 2026-08-25