Hacker News Reader

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.

View on HN

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.

Reply on news.ycombinator.com