TU Darmstadt / ULB / TUbiblio

Information Flow Analysis for Go

Bodden, Eric ; Pun, Ka I. ; Steffen, Martin ; Stolz, Volker ; Wickert, Anna-Katharina
Margaria, Tiziana ; 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 , S. 431-445. ISBN 978-3-319-47166-2 ISSN 0302-9743
[Buchkapitel] , (2016)

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

Kurzbeschreibung (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.

Typ des Eintrags: Buchkapitel
Erschienen: 2016
Herausgeber: Margaria, Tiziana ; Steffen, Bernhard
Autor(en): Bodden, Eric ; Pun, Ka I. ; Steffen, Martin ; Stolz, Volker ; Wickert, Anna-Katharina
Titel: Information Flow Analysis for Go
Sprache: Deutsch
Kurzbeschreibung (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.

Buchtitel: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
Band: 9952
Verlag: Springer International Publishing
Fachbereich(e)/-gebiet(e): 20 Fachbereich Informatik
20 Fachbereich Informatik > EC SPRIDE > Secure Software Engineering
20 Fachbereich Informatik > EC SPRIDE
Hinterlegungsdatum: 19 Apr 2018 13:27
DOI: 10.1007/978-3-319-47166-2_30
Offizielle URL: https://doi.org/10.1007/978-3-319-47166-2_30
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen