The Artima Developer Community

Artima SuperSafe™ Scala Compiler Plugin
A stricter Scala compiler for your project

Artima SuperSafe makes the Scala compiler stricter, ensuring that certain kinds of bugs that pass the type checker are still caught at compile time. (Here's a five minute demo.)

Artima SuperSafe uses static analysis of the compiler abstract syntax tree (AST) to find potential bugs. It emits no compiler warnings, only compiler errors. Moreover, because Artima SuperSafe is designed to have no false positives, it does not provide a way to "switch off" an error locally. Instead, you configure which kinds of errors you want Artima SuperSafe to prevent with a global configuration file for your project. Essentially, Artima SuperSafe allows you to select a safer subset of Scala as a "policy" for your project.

Because Artima SuperSafe enforces a subset of Scala, it does not change the meaning of any Scala code. It just adds compiler errors where the Scala compiler would not otherwise provide them. Thus if you add Artima SuperSafe to your build, you can later easily remove it. So why not try it out? Just click on the 30 Day Free Trial button below:

SuperSafe image

Get It Now

Quantity Volume

Artima SuperSafe is licensed under the Artima SuperSafe Software License Agreement.

Copyright © 2021 Artima, Inc. All rights reserved.