3 ms·
That was a great read. Fun and informative. We use the static analyzer in Xcode, which is not that advanced as PVS by the looks of it, but still finds a few thi
by pvinis 10y ago
That was a great read. Fun and informative. We use the static analyzer in Xcode, which is not that advanced as PVS by the looks of it, but still finds a few things to improve.
Are there analyzers for languages like say Ruby or Clojure?
- pfg 10y agoRuboCop is what most Ruby projects use.