DFASy is a framework for the automatic synthesis of Data-Flow Analyzers (DFAs). Given a specification consisting of a control flow graph and the expected data-flow facts before and after each of its nodes, DFASy automatically synthesizes a DFA that satisfies the specification, including its flow direction, meet operator, and transfer function.
For more details, refer to our SAS'2021 paper.
Xuezheng Xu, Xudong Wang and Jingling Xue. Automatic Synthesis of Data-Flow Analyzers. SAS' 2021
You can download the artifact (VM image and instructions) from here.
You can find the source in gitee.