Data Flow AnalysisΒΆ

Our code analyzer makes use of abstract interpretation to generate additional information about the code, which you can then use to write better patterns.

This document provides an overview of the data-flow and type annotations that we currently support for different languages.