Automatic synthesis of data-flow analyzers

DOI10.1007/978-3-030-88806-0_22MaRDI QIDQ2145353zbMATH OpenOpenAlexFDO

Authors 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

zbMATH Keywords

DSLdata flow analysisprogram synthesis

Mathematics Subject Classification ID

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

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

Cites work

• scientific article; zbMATH DE number 5344975 (Why is no real title available?)
• scientific article; zbMATH DE number 1084399 (Why is no real title available?)
• A Branch-and-Cut Algorithm for the Resolution of Large-Scale Symmetric Traveling Salesman Problems
• Abstraction-guided synthesis of synchronization
• Automating string processing in spreadsheets using input-output examples
• Example-directed synthesis: a type-theoretic interpretation
• Genetic Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms
• Learning a static analyzer from data
• Pick your contexts well, understanding object-sensitivity
• Precise interprocedural dataflow analysis with applications to constant propagation
• Program synthesis with equivalence reduction
• Satisfiability modulo theories
• Synthesizing imperative programs from examples guided by static analysis

Cited in

(3)

• Generating data flow analysis algorithms from modal specifications
• Composing dataflow analyses and transformations
• Learning a static analyzer from data

Describes a project that uses

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)