sle2017s/paper02

SLE 2017 SI paper:
FlowSpec: A declarative specification language for intra-procedural flow-Sensitive data-flow analysis

Jeff Smits, Guido Wachsmuth, Eelco Visser

• DOI: 10.1016/j.cola.2019.100924
• Extended version of FlowSpec: Declarative Dataflow Analysis Specification (SLE 2017)
• T3C: DSLs
  • FlowSpec is a DSL for specifying dataflow analyses over programming languages.
• T1B: Static Semantics
  • Dataflow analyses are classic static-semantics analyses, and the DSL is for declaring such analyses.
• T3A: Meta-languages
  • It plays the role of a meta-language for describing analyses over language control-flow graphs.
• T4A: Workbenches
  • The work includes language-engineering infrastructure for defining CFGs and running the specified analyses.

---

The page is maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated: June 2026.