MAF: A Framework for Modular Static Analysis of Higher-Order Languages

Noah Van Es; Jens Van der Plas; Quentin Stiévenart; Coen De Roover

doi:10.1109/SCAM51674.2020.00009

MAF: A Framework for Modular Static Analysis of Higher-Order Languages

Noah Van Es, Jens Van der Plas, Quentin Stiévenart, Coen De Roover

Research output: Chapter in Book/Report/Conference proceeding › Conference paper

6 Citations (Scopus)

247 Downloads (Pure)

Abstract

A modular static analysis decomposes a program's analysis into analyses of its parts, or components. An inter-component analysis instructs an intra-component analysis to analyse each component independently of the others. Additional analyses are scheduled for newly discovered components, and for dependent components that need to account for newly discovered component information. Modular static analyses are scalable, can be tuned to a high precision, and support the analysis of programs that are highly dynamic, featuring e.g., higher-order functions or dynamically allocated processes.

In this paper, we present the engineering aspects of MAF, a static analysis framework for implementing modular analyses for higher-order languages. For any such modular analysis, the framework provides a reusable inter-component analysis and it suffices to implement its intra-component analysis. The intra-component analysis can be composed from several interdependent and reusable Scala traits. This design facilitates changing the analysed language, as well as the analysis precision with minimal effort. We illustrate the use of MAF through its instantiation for several different analyses of Scheme programs.

Original language	English
Title of host publication	Proceedings of the 20th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2020)
Publisher	IEEE
Pages	37-42
Number of pages	6
ISBN (Electronic)	9781728192482
ISBN (Print)	978-1-7281-9248-2
DOIs	https://doi.org/10.1109/SCAM51674.2020.00009
Publication status	Published - 27 Sept 2020
Event	20th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM2020) - Adelaide, Australia Duration: 27 Sept 2020 → 28 Sept 2020

Publication series

Name	Proceedings - 20th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2020

Conference

Conference	20th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM2020)
Country/Territory	Australia
City	Adelaide
Period	27/09/20 → 28/09/20

Access to Document

10.1109/SCAM51674.2020.00009

scam2020mafAccepted author manuscript, 275 KB

https://conferences.computer.org/icsme/pdfs/SCAM2020-CdP3rS7mSlqVWzF3cXW7H/924800a037/924800a037.pdf

Cite this

Van Es, N., Van der Plas, J., Stiévenart, Q., & De Roover, C. (2020). MAF: A Framework for Modular Static Analysis of Higher-Order Languages. In Proceedings of the 20th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2020) (pp. 37-42). Article 9252057 (Proceedings - 20th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2020). IEEE. https://doi.org/10.1109/SCAM51674.2020.00009

Van Es, Noah ; Van der Plas, Jens ; Stiévenart, Quentin et al. / MAF: A Framework for Modular Static Analysis of Higher-Order Languages. Proceedings of the 20th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2020). IEEE, 2020. pp. 37-42 (Proceedings - 20th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2020).

@inproceedings{1c4a6453e0b14acea692c225b33b6580,

title = "MAF: A Framework for Modular Static Analysis of Higher-Order Languages",

abstract = "A modular static analysis decomposes a program's analysis into analyses of its parts, or components. An inter-component analysis instructs an intra-component analysis to analyse each component independently of the others. Additional analyses are scheduled for newly discovered components, and for dependent components that need to account for newly discovered component information. Modular static analyses are scalable, can be tuned to a high precision, and support the analysis of programs that are highly dynamic, featuring e.g., higher-order functions or dynamically allocated processes.In this paper, we present the engineering aspects of MAF, a static analysis framework for implementing modular analyses for higher-order languages. For any such modular analysis, the framework provides a reusable inter-component analysis and it suffices to implement its intra-component analysis. The intra-component analysis can be composed from several interdependent and reusable Scala traits. This design facilitates changing the analysed language, as well as the analysis precision with minimal effort. We illustrate the use of MAF through its instantiation for several different analyses of Scheme programs.",

author = "{Van Es}, Noah and {Van der Plas}, Jens and Quentin Sti{\'e}venart and {De Roover}, Coen",

year = "2020",

month = sep,

day = "27",

doi = "10.1109/SCAM51674.2020.00009",

language = "English",

isbn = "978-1-7281-9248-2",

series = "Proceedings - 20th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2020",

publisher = "IEEE",

pages = "37--42",

booktitle = "Proceedings of the 20th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2020)",

note = "20th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM2020) ; Conference date: 27-09-2020 Through 28-09-2020",

}

Van Es, N, Van der Plas, J, Stiévenart, Q & De Roover, C 2020, MAF: A Framework for Modular Static Analysis of Higher-Order Languages. in Proceedings of the 20th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2020)., 9252057, Proceedings - 20th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2020, IEEE, pp. 37-42, 20th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM2020), Adelaide, Australia, 27/09/20. https://doi.org/10.1109/SCAM51674.2020.00009

MAF: A Framework for Modular Static Analysis of Higher-Order Languages. / Van Es, Noah; Van der Plas, Jens; Stiévenart, Quentin et al.
Proceedings of the 20th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2020). IEEE, 2020. p. 37-42 9252057 (Proceedings - 20th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2020).

Research output: Chapter in Book/Report/Conference proceeding › Conference paper

TY - GEN

T1 - MAF: A Framework for Modular Static Analysis of Higher-Order Languages

AU - Van Es, Noah

AU - Van der Plas, Jens

AU - Stiévenart, Quentin

AU - De Roover, Coen

PY - 2020/9/27

Y1 - 2020/9/27

N2 - A modular static analysis decomposes a program's analysis into analyses of its parts, or components. An inter-component analysis instructs an intra-component analysis to analyse each component independently of the others. Additional analyses are scheduled for newly discovered components, and for dependent components that need to account for newly discovered component information. Modular static analyses are scalable, can be tuned to a high precision, and support the analysis of programs that are highly dynamic, featuring e.g., higher-order functions or dynamically allocated processes.In this paper, we present the engineering aspects of MAF, a static analysis framework for implementing modular analyses for higher-order languages. For any such modular analysis, the framework provides a reusable inter-component analysis and it suffices to implement its intra-component analysis. The intra-component analysis can be composed from several interdependent and reusable Scala traits. This design facilitates changing the analysed language, as well as the analysis precision with minimal effort. We illustrate the use of MAF through its instantiation for several different analyses of Scheme programs.

AB - A modular static analysis decomposes a program's analysis into analyses of its parts, or components. An inter-component analysis instructs an intra-component analysis to analyse each component independently of the others. Additional analyses are scheduled for newly discovered components, and for dependent components that need to account for newly discovered component information. Modular static analyses are scalable, can be tuned to a high precision, and support the analysis of programs that are highly dynamic, featuring e.g., higher-order functions or dynamically allocated processes.In this paper, we present the engineering aspects of MAF, a static analysis framework for implementing modular analyses for higher-order languages. For any such modular analysis, the framework provides a reusable inter-component analysis and it suffices to implement its intra-component analysis. The intra-component analysis can be composed from several interdependent and reusable Scala traits. This design facilitates changing the analysed language, as well as the analysis precision with minimal effort. We illustrate the use of MAF through its instantiation for several different analyses of Scheme programs.

UR - http://www.scopus.com/inward/record.url?scp=85097644151&partnerID=8YFLogxK

U2 - 10.1109/SCAM51674.2020.00009

DO - 10.1109/SCAM51674.2020.00009

M3 - Conference paper

SN - 978-1-7281-9248-2

T3 - Proceedings - 20th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2020

SP - 37

EP - 42

BT - Proceedings of the 20th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2020)

PB - IEEE

T2 - 20th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM2020)

Y2 - 27 September 2020 through 28 September 2020

ER -

Van Es N, Van der Plas J, Stiévenart Q, De Roover C. MAF: A Framework for Modular Static Analysis of Higher-Order Languages. In Proceedings of the 20th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2020). IEEE. 2020. p. 37-42. 9252057. (Proceedings - 20th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2020). doi: 10.1109/SCAM51674.2020.00009

MAF: A Framework for Modular Static Analysis of Higher-Order Languages

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

VLAAI2: Cybersecurity Research Program Flanders – second cycle

SRP52: SRP-Onderzoekszwaartepunt: Foundations for Reliable Multi-Paradigm Network-Centric Programming

FWOTM979: Incremental Static Program Analysis through Modularity