Bodden, Eric ; Pun, Ka I. ; Steffen, Martin ; Stolz, Volker ; Wickert, Anna-Katharina
Hrsg.: Margaria, Tiziana ; Steffen, Bernhard (2016)
Information Flow Analysis for Go.
In: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
doi: 10.1007/978-3-319-47166-2_30
Buchkapitel, Bibliographie
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 |
| Art des Eintrags: | Bibliographie |
| Titel: | Information Flow Analysis for Go |
| Sprache: | Deutsch |
| Publikationsjahr: | 2016 |
| Verlag: | Springer International Publishing |
| Buchtitel: | Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques |
| Band einer Reihe: | 9952 |
| DOI: | 10.1007/978-3-319-47166-2_30 |
| URL / URN: | 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. |
| 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 |
| Letzte Änderung: | 19 Apr 2018 13:27 |
| PPN: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Frage zum Eintrag |
Optionen (nur für Redakteure)
 |
Redaktionelle Details anzeigen |
Drucken
Impressum