Gradual Security Typing in Dart

This page will describe artifacts associated to SecDart which is an extension to the Dart programming language with gradual security typing.

We developed a plugin for the Dart Analysis Server. The implementation is not stable yet, but we are working on that. The following screenshot shows a (custom) security error reported by the security analysis in the “Dart Analysis” windows of WebStorm