Models in C/C++

Coverity Documentation

Version
latest

This section describes how to write custom models for C/C++ code, and the available modeling primitives.