TU Darmstadt / ULB / TUbiblio

Information Flow Analysis for Go

Bodden, Eric and Pun, Ka I. and Steffen, Martin and Stolz, Volker and Wickert, Anna-Katharina
Margaria, Tiziana and Steffen, Bernhard (eds.) :

Information Flow Analysis for Go.
[Online-Edition: https://doi.org/10.1007/978-3-319-47166-2_30]
In: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. Springer International Publishing , pp. 431-445. ISBN 978-3-319-47166-2 ISSN 0302-9743
[Book Section] , (2016)

Official URL: https://doi.org/10.1007/978-3-319-47166-2_30

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.

Item Type: Book Section
Erschienen: 2016
Editors: Margaria, Tiziana and Steffen, Bernhard
Creators: Bodden, Eric and Pun, Ka I. and Steffen, Martin and Stolz, Volker and Wickert, Anna-Katharina
Title: Information Flow Analysis for Go
Language: German
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.

Title of Book: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
Volume: 9952
Publisher: Springer International Publishing
Divisions: Department of Computer Science
Department of Computer Science > EC SPRIDE > Secure Software Engineering
Department of Computer Science > EC SPRIDE
Date Deposited: 19 Apr 2018 13:27
DOI: 10.1007/978-3-319-47166-2_30
Official URL: https://doi.org/10.1007/978-3-319-47166-2_30
Export:

Optionen (nur für Redakteure)

View Item View Item