MAF: A Framework for Modular Static Analysis of Higher-Order Languages. Van Es, N., Van der Plas, J., Stiévenart, Q., & De Roover, C. In Proceedings of the 20th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2020), of Proceedings - 20th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2020, pages 37–42, 9, 2020. IEEE. doi abstract bibtex 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.
@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 = "9",
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)",
}
Downloads: 0
{"_id":"vhEwPPJZnPi2qnfPP","bibbaseid":"vanes-vanderplas-stivenart-deroover-mafaframeworkformodularstaticanalysisofhigherorderlanguages-2020","author_short":["Van Es, N.","Van der Plas, J.","Stiévenart, Q.","De Roover, C."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","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":[{"propositions":[],"lastnames":["Van Es"],"firstnames":["Noah"],"suffixes":[]},{"propositions":[],"lastnames":["Van der Plas"],"firstnames":["Jens"],"suffixes":[]},{"firstnames":["Quentin"],"propositions":[],"lastnames":["Stiévenart"],"suffixes":[]},{"propositions":[],"lastnames":["De Roover"],"firstnames":["Coen"],"suffixes":[]}],"year":"2020","month":"9","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)","bibtex":"@inproceedings{1c4a6453e0b14acea692c225b33b6580,\n title = \"MAF: A Framework for Modular Static Analysis of Higher-Order Languages\",\n 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.\",\n author = \"{Van Es}, Noah and {Van der Plas}, Jens and Quentin Sti{\\'e}venart and {De Roover}, Coen\",\n year = \"2020\",\n month = \"9\",\n day = \"27\",\n doi = \"10.1109/SCAM51674.2020.00009\",\n language = \"English\",\n isbn = \"978-1-7281-9248-2\",\n series = \"Proceedings - 20th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2020\",\n publisher = \"IEEE\",\n pages = \"37--42\",\n booktitle = \"Proceedings of the 20th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2020)\",\n}","author_short":["Van Es, N.","Van der Plas, J.","Stiévenart, Q.","De Roover, C."],"key":"1c4a6453e0b14acea692c225b33b6580","id":"1c4a6453e0b14acea692c225b33b6580","bibbaseid":"vanes-vanderplas-stivenart-deroover-mafaframeworkformodularstaticanalysisofhigherorderlanguages-2020","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://soft.vub.ac.be/~cderoove/works.bib","dataSources":["abyQtmN3vDJoFXPPD"],"keywords":[],"search_terms":["maf","framework","modular","static","analysis","higher","order","languages","van es","van der plas","stiévenart","de roover"],"title":"MAF: A Framework for Modular Static Analysis of Higher-Order Languages","year":2020}