A set-based context model for program analysis

DOI10.1007/978-3-030-64437-6_1MaRDI QIDQ2038063zbMATH OpenOpenAlexFDO

Authors Leandro Fachinetti, Zachary Palmer, Scott F. Smith, Ke Wu, Ayaka Yorihiro

Publication date 8 July 2021

Full work available at URL https://doi.org/10.1007/978-3-030-64437-6_1

zbMATH Keywords

context sensitivitycontrol flowdata flowhigher orderobject-orientedprogram analysis

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Program Development in Computational Logic
• Introduction to set constraint-based program analysis
• On the complexity of set-based analysis
• Selectors make set-based analysis too hard
• Abstract domains and solvers for sets reasoning

Cited in

(4)

• scientific article; zbMATH DE number 3881854 (Why is no real title available?)
• Paths vs. trees in set-based program analysis
• Precise Set Sharing Analysis for Java-Style Programs
• Selectors make set-based analysis too hard

This page was built for publication: A set-based context model for program analysis

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