Abstract
JOANA is a tool for information flow control, which can handle full Java with unlimited threads and scales to ca. 100 kLOC. JOANA uses a new algorithm for checking probabilistic noninterference, named RLSOD. JOANA uses a stack of sophisticated program analysis techniques which minimise false alarms. JOANA is open source (joana.ipd.kit.edu) and offers an Eclipse GUI as well as an API. The current tool demonstration paper concentrates on JOANA’s precision. Effects of flow-sensitivity, context-sensitivity, and objectsensitivity are explained, as well as precision gains from the new RLSOD criterion.
Author supplied keywords
Cite
CITATION STYLE
Graf, J., Hecker, M., Mohr, M., & Snelting, G. (2016). Tool demonstration: JOANA. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9635, pp. 89–93). Springer Verlag. https://doi.org/10.1007/978-3-662-49635-0_5
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
