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 will provide three ways to interact with the SecDart's security analysis (currently just the first one is available!):

• Using the online SecDart Pad at https://pleiad.cl/secdart/
• The SecDart Analyzer CLI
• The SecDart Plugin for Analysis Server.

The following screenshot shows how the SecDart Pad looks like

Instructions will be placed here soon.

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