Structurally defined conditional data-flow static analysis

DOI10.1007/978-3-319-89963-3_15zbMATH Open1423.68109OpenAlexW2797206907MaRDI QIDQ2324232FDOQ2324232

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

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

Mathematics Subject Classification ID

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

Cited In (10)

• Syntax-directed divide-and-conquer data-flow analysis
• A tree-based approach to data flow proofs
• Title not available (Why is that?)
• Data flow analysis as model checking
• An efficient bitwise algorithm for intra-procedural data-flow testing coverage
• Reusing predicate precision in value analysis
• Parallel program analysis via range splitting
• Automatic synthesis of data-flow analyzers
• Title not available (Why is that?)
• EigenCFA, accelerating flow analysis with GPUs

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)