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.) (2016):
Information Flow Analysis for Go.
In: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, Springer International Publishing, pp. 431-445, DOI: 10.1007/978-3-319-47166-2_30,
[Online-Edition: https://doi.org/10.1007/978-3-319-47166-2_30],
[Book Section]

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
ISBN: 978-3-319-47166-2
Divisions: 20 Department of Computer Science
20 Department of Computer Science > EC SPRIDE > Secure Software Engineering
20 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:
Suche nach Titel in: TUfind oder in Google

Optionen (nur für Redakteure)

View Item View Item