Structurally defined conditional data-flow static analysis

DOI10.1007/978-3-319-89963-3_15MaRDI QIDQ2324232zbMATHOpenAlexFDO

Authors Elena Sherman, Matthew B. Dwyer

Publication date 16 September 2019

Full work available at URL https://doi.org/10.1007/978-3-319-89963-3_15

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Data flow analysis as model checking
• scientific article; zbMATH DE number 2087560
• scientific article; zbMATH DE number 1948399
• Using locality of flow in dataflow analyses.
• Accelerated Data-Flow Analysis

Cited in

(10)

• An efficient bitwise algorithm for intra-procedural data-flow testing coverage
• EigenCFA, accelerating flow analysis with GPUs
• A tree-based approach to data flow proofs
• Parallel program analysis via range splitting
• scientific article; zbMATH DE number 2087560 (Why is no real title available?)
• Automatic synthesis of data-flow analyzers
• Syntax-directed divide-and-conquer data-flow analysis
• scientific article; zbMATH DE number 1948399 (Why is no real title available?)
• Data flow analysis as model checking
• Reusing predicate precision in value analysis

This page was built for publication: Structurally defined conditional data-flow static analysis

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