Information Flow Analysis for Go

• 📄 Paper Springer
• 📄 Paper

Abstract

We present the current state of the art of information flow analyses for Go applications. Based on our findings, we discuss future directions of where static analysis information can be used at runtime to for example achieve higher precision, or optimise runtime checks. We focus specifically on outstanding language features such as closures and message-based communication via channels.

Citation

Eric Bodden, Ka I Pun, Martin Steffen, Volker Stolz, and Anna-Katharina Wickert. “Information flow analysis for go.” In: Leveraging applications of formal methods, verification and validation: Foundational techniques: 7th international symposium (ISoLA). Springer International Publishing Cham, 2016. DOI: 10.1007/978-3-319-47166-2_30 .

@inproceedings{bodden2016information,
	title = {Information flow analysis for go},
	booktitle = {Leveraging applications of formal methods, verification and validation: {Foundational} techniques: 7th international symposium (ISoLA)},
	publisher = {Springer International Publishing Cham},
	author = {Bodden, Eric and Pun, Ka I and Steffen, Martin and Stolz, Volker and Wickert, Anna-Katharina},
	year = {2016},
    doi = {10.1007/978-3-319-47166-2\_30},
}