A framework for memory efficient context-sensitive program analysis

DOI10.1007/s00224-022-10093-wOpenAlexW4285727218MaRDI QIDQ2082559

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

Publication date: 4 October 2022

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

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

zbMATH Keywords

data-flow analysisstatic program analysiscontext-sensitivity

Mathematics Subject Classification ID

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

Uses Software

• Sparrow

Cites Work

• Unnamed Item
• Unnamed Item
• Properties of data flow frameworks: A unified model
• Graph-Based Algorithms for Boolean Function Manipulation
• Binary Decision Diagrams
• Program analysis via satisfiability modulo path programs
• Programming Languages and Systems

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