The following NVIDIA CUDA compiler is supported:
NVIDIA CUDA Compiler 12.8
- Compiler acronym: nvcc-gcc_12_8
- Host OS: Linux (x86_64)
- Supported practices: Static Analysis
- Support level: Standard
Additional Notes
- This version has been tested in NVIDIA's Docker container "nvidia/cuda:12.8.1-devel-ubuntu24.04"
- To generate a .bdf file, use
cpptesttracewith the option--cpptesttraceTraceCommand="nvcc|nvlink"
Known Limitations
The CUDA execution configuration expression (
<<< Dg, Db, Ns, S >>>) is not fully analyzed. This may lead to inaccurate analysis results regarding the actual arguments of the configuration expression. For example, if a variable is used only as an argument in a configuration expression, it may be incorrectly reported as an "unused variable".
About Support Levels
- Extended: Support has been validated with extended testing and is approved for use in safety-critical software development.
- Standard: Support has been validated with standard testing and is approved for use in non-safety-critical software development.