Automatic synthesis of data-flow analyzers

DOI10.1007/978-3-030-88806-0_22zbMATH Open1497.68129OpenAlexW3205448890MaRDI QIDQ2145353FDOQ2145353

Xuezheng Xu, Jingling Xue, Xu-Dong Wang

Publication date: 17 June 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-88806-0_22

Recommendations

• Data flow analysis as model checking
• Structurally defined conditional data-flow static analysis
• Using program synthesis for program analysis
• Generating data flow analysis algorithms from modal specifications
• Learning a static analyzer from data

zbMATH Keywords

DSLdata flow analysisprogram synthesis

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• A Branch-and-Cut Algorithm for the Resolution of Large-Scale Symmetric Traveling Salesman Problems
• Satisfiability Modulo Theories
• Title not available (Why is that?)
• Title not available (Why is that?)
• Abstraction-guided synthesis of synchronization
• Pick your contexts well
• Precise interprocedural dataflow analysis with applications to constant propagation
• Program synthesis with equivalence reduction
• Example-directed synthesis: a type-theoretic interpretation
• Automating string processing in spreadsheets using input-output examples
• Learning a static analyzer from data
• Genetic Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms
• Synthesizing Imperative Programs from Examples Guided by Static Analysis

Cited In (1)

• Generating data flow analysis algorithms from modal specifications

Uses Software

• MCGP
• WALA
• Soot
• SemFix
• FlashRelate
• FlashExtract
• FlowDroid
• FlashMeta
• TAJ
• DeepCoder

This page was built for publication: Automatic synthesis of data-flow analyzers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2145353)