README.md

Overview

This project contains analysis modules related to the Control Flow Automata (CFA) formalism. Its main purpose is to enable the algorithms to operate over CFA models.

Related projects

• analysis: Common analysis modules.
• cfa: Classes to represent CFAs and a domain specific language (DSL) to parse CFAs from a textual representation.
• cfa-cli: An executable tool (command line) for running analyses on CFAs.