Current releases of TPTP have some support for C/C++. They include rules
for static analysis of C/C++ code. The Trace model is extendable to support
C/C++ profiling events. There are native libraries for creating TPTP
agents. But as far as a separate version of TPTP for C/C++, I am aware of
no plans.