A framework for memory efficient context-sensitive program analysis

DOI10.1007/S00224-022-10093-WMaRDI QIDQ2082559zbMATH OpenOpenAlexFDO

Authors Mathias Hedenborg, Jonas Lundberg, Welf M. Löwe, Martin Trapp

Publication date 4 October 2022

Published in Theory of Computing Systems (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/s00224-022-10093-w

zbMATH Keywords

context-sensitivitydata-flow analysisstatic program analysis

Mathematics Subject Classification ID

Theory of software (68Nxx) Theory of computing (68Qxx) Circuits, networks (94Cxx)

Recommendations

• Selective context-sensitivity for \(k\)\textit{-CFA} with CFL-reachability
• Semi-sparse flow-sensitive pointer analysis
• Incremental and modular context-sensitive analysis
• Program Development in Computational Logic
• Context-sensitive data-dependence analysis via linear conjunctive language reachability

Cites work

• Binary Decision Diagrams
• Graph-Based Algorithms for Boolean Function Manipulation
• scientific article; zbMATH DE number 1487856 (Why is no real title available?)
• scientific article; zbMATH DE number 2146563 (Why is no real title available?)
• Program analysis via satisfiability modulo path programs
• Programming Languages and Systems
• Properties of data flow frameworks: A unified model

Cited in

(4)

• Hybrid analysis: Static \& dynamic memory reference analysis
• \textsc{SparrowHawk}: memory safety flaw detection via data-driven source code annotation
• scientific article; zbMATH DE number 3881854 (Why is no real title available?)
• CFA2: A Context-Free Approach to Control-Flow Analysis

Describes a project that uses

Uses Software

• Sparrow

This page was built for publication: A framework for memory efficient context-sensitive program analysis

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