| dc.contributor.author | Graf, Juergen | |
| dc.contributor.author | Hecker, Martin | |
| dc.contributor.author | Mohr, Martin | |
| dc.contributor.author | Snelting, Gregor | |
| dc.contributor.editor | Meier, Michael | |
| dc.contributor.editor | Reinhardt, Delphine | |
| dc.contributor.editor | Wendzel, Steffen | |
| dc.date.accessioned | 2017-06-21T07:43:28Z | |
| dc.date.available | 2017-06-21T07:43:28Z | |
| dc.date.issued | 2016 | |
| dc.identifier.isbn | 978-3-88579-650-3 | |
| dc.identifier.issn | 1617-5468 | |
| dc.description.abstract | 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 | de |
| dc.language.iso | de | |
| dc.publisher | Gesellschaft für Informatik e.V. | |
| dc.relation.ispartof | Sicherheit 2016 - Sicherheit, Schutz und Zuverlässigkeit | |
| dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-256 | |
| dc.title | Sicherheitsanalyse mit JOANA | de |
| dc.type | Text/Conference Paper | |
| dc.pubPlace | Bonn | |
| mci.reference.pages | 11-21 | |
| mci.conference.location | Bonn | |
| mci.conference.date | 5.-7. April 2016 | |
