What languages does appcert support?
As long as the resulting binary objects constituting the application rely on dynamic linking (i.e., access Solaris services via dynamic bindings to C-language interfaces in Solaris shared libraries), it doesn’t matter what source code they were derived from — appcert will work on them. Binaries produced from FORTRAN, Mainsail and other languages have already been checked.Appcert doesn’t work on Java programs, because they rely on a different runtime interface — the Java virtual machine (this might be called the Java ABI). For Java applications please refer to http://developer.java.sun.com/ for information on developing stable applications. Appcert currently does not check usage of symbols in the C++ runtime interfaces (libC.so.3 or libC.so.5) because there is no defined C++ ABI to be part of the current Solaris system ABI definition. We expect such a C++ ABI to be defined eventually and will then include it in the Solaris ABI.Finally, appcert also doesn’t check interpreted code such
