Konferenzbeitrag

Sicherheitsanalyse mit JOANA

Lade...
Vorschaubild
Volltext URI
Dokumententyp
Text/Conference Paper
Datum
2016
Zeitschriftentitel
ISSN der Zeitschrift
Bandtitel
Quelle
Sicherheit 2016 - Sicherheit, Schutz und Zuverlässigkeit
Verlag
Gesellschaft für Informatik e.V.
Zusammenfassung
JOANA ist ein System zur Software-Sicherheitsanalyse, das bis zu 100kLOC volles Ja- va mit Threads analysieren kann. JOANA basiert auf modernen Verfahren zur Programmanalyse und erzeugt deshalb wenig Fehlalarme. JOANA enthält einen “iRLSOD” Algorithmus, der probabilistische Nichtinterferenz garantiert. JOANA ist Open Source, braucht wenige Annotationen und lässt sich leicht bedienen. Der Artikel gibt einen Überblick über JOANA, erklärt das neue iRLSOD Verfahren, und präsentiert eine Fallstudie.2
Beschreibung
Graf, Juergen; Hecker, Martin; Mohr, Martin; Snelting, Gregor (2016): Sicherheitsanalyse mit JOANA. Sicherheit 2016 - Sicherheit, Schutz und Zuverlässigkeit. Bonn: Gesellschaft für Informatik e.V.. PISSN: 1617-5468. ISBN: 978-3-88579-650-3. pp. 11-21. Bonn. 5.-7. April 2016
Schlagwörter
Zitierform
DOI
Tags