Supplementary material for the paper

Type Safety Analysis for Dart

Implementation

Source code for the implementation

Benchmarks

The following ten benchmarks were used in the experiments:
dart2js
The default Dart to Javascript compiler of the Dart project v1.9.1 (zip with sources).
analyzer
A command-line tool for performing static analysis of Dart code v0.24.3 (zip with sources).
devcompiler
An experimental Dart to Javascript compiler v0.1.1 (zip with sources).
dartstyle
A formatter for Dart code according to the Dart style guide v0.2.1 (zip with sources).
linter
A linter for Dart code identifying suspicious code v0.1.3 (zip with sources).
petitparser
A small lips parser written in Dart (zip with sources).
bzip2
A compression/decompression set of algorithms implemented in Dart (zip with sources).
coverage
Coverage data collection, manipulation, and formatting for Dart (zip with sources).
markdown
A portable Markdown library written in Dart (zip with sources).
crypt
Implements the SHA-256 hash as specified by "Unix crypt using SHA-256 and SHA-512" (zip with sources).

Experimental Results

The following HTML reports show the warnings produced for the different analysis modes. "Errors" denote message-not-understood warnings and "warnings" are subtype-violation warnings.

dart2js

analyzer

devcompiler

dartstyle

linter

petitparser

bzip2

coverage

markdown

crypt