A framework for memory efficient context-sensitive program analysis
type: Item
instance of: scholarly article
title: A framework for memory efficient context-sensitive program analysis
author: Mathias Hedenborg
author: Jonas Lundberg
author: Welf M. Löwe
author: Martin Trapp
published in: Theory of Computing Systems
publication date: 2022-10-04T00:00:00Z
Mathematics Subject Classification ID: 68Nxx
Mathematics Subject Classification ID: 94Cxx
Mathematics Subject Classification ID: 68Qxx
zbMATH DE Number: 7596188
zbMATH Keywords: static program analysis
zbMATH Keywords: data-flow analysis
zbMATH Keywords: context-sensitivity
describes a project that uses: Sparrow
MaRDI profile type: Publication
full work available at URL: s00224-022-10093-w
OpenAlex ID: W4285727218
cites work: Binary Decision Diagrams
cites work: Graph-Based Algorithms for Boolean Function Manipulation
cites work: Program analysis via satisfiability modulo path programs
cites work: Properties of data flow frameworks: A unified model
cites work: Programming Languages and Systems
cites work: Q4494381
cites work: Q4658275
DOI: 10.1007/S00224-022-10093-W
description: scientific article; zbMATH DE number 7596188