Not yet. We are now experimenting with C# support and with Linux support. What's next, we do not know yet. There are two perspective areas: Objective-C and Java.
Java or JVM?
Since PVS is a static source-level checker, I don't see how it would make sense to check JVM bytecode.
Java
Objective-C would be a bad idea now, it seems to be replaced by Swift at an impressive rate.