5 ms·

This is now my favorite blog. Andrey, any plans to support Objective-C? (You are flagging things I can't get clang to warn about.)

• AndreyKarpov 10y ago
  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.
  • duaneb 10y ago
    Java or JVM?
    • Asooka 10y ago
      Since PVS is a static source-level checker, I don't see how it would make sense to check JVM bytecode.
    • AndreyKarpov 10y ago
      Java
  • blub 10y ago
    Objective-C would be a bad idea now, it seems to be replaced by Swift at an impressive rate.