TY - CHAP AU - Tönsing, Johanna ED - Bernhardt, Sebastian ED - Hardtke, Thomas ID - 32417 T2 - Interpretationsverfahruen der germanistischen Literaturdidaktik und didaktische Referenzkonzepte TI - (K)eine kinderleichte Gattung: Konsequenzen einer kulturwissenschaftlich informierten Märchendidaktik ER - TY - THES AU - Lass, Michael ID - 32414 TI - Bringing Massive Parallelism and Hardware Acceleration to Linear Scaling Density Functional Theory Through Targeted Approximations ER - TY - CHAP AU - Tönsing, Johanna ED - Schulte-Eickholt, Swen ED - Hofmann, Michael ID - 32418 T2 - Sammelband über den deutsch-türkischen Film TI - Über „Gleis 11“ [Dokumentarfilm von 2021] ER - TY - CHAP AU - Tönsing, Johanna ED - Hofmann, Michael ID - 32423 T2 - Neue Perspektiven einer kulturwissenschaftlichen Literaturdidaktik TI - Weiblichkeitsdiskurse in der Gegenwartsliteratur und deren Thematisierung im genderorientierten Unterricht ER - TY - CONF AB - Static analysis tools support developers in detecting potential coding issues, such as bugs or vulnerabilities. Research on static analysis emphasizes its technical challenges but also mentions severe usability shortcomings. These shortcomings hinder the adoption of static analysis tools, and in some cases, user dissatisfaction even leads to tool abandonment. To comprehensively assess the current state of the art, this paper presents the first systematic usability evaluation in a wide range of static analysis tools. We derived a set of 36 relevant criteria from the scientific literature and gathered a collection of 46 static analysis tools complying with our inclusion and exclusion criteria - a representative set of mainly non-proprietary tools. Then, we evaluated how well these tools fulfill the aforementioned criteria. The evaluation shows that more than half of the considered tools offer poor warning messages, while about three-quarters of the tools provide hardly any fix support. Furthermore, the integration of user knowledge is strongly neglected, which could be used for improved handling of false positives and tuning the results for the corresponding developer. Finally, issues regarding workflow integration and specialized user interfaces are proved further. These findings should prove useful in guiding and focusing further research and development in the area of user experience for static code analyses. AU - Nachtigall, Marcus AU - Schlichtig, Michael AU - Bodden, Eric ID - 32410 KW - Automated static analysis KW - Software usability SN - 9781450393799 T2 - Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis TI - A Large-Scale Study of Usability Criteria Addressed by Static Analysis Tools ER - TY - CONF AB - Application Programming Interfaces (APIs) are the primary mechanism that developers use to obtain access to third-party algorithms and services. Unfortunately, APIs can be misused, which can have catastrophic consequences, especially if the APIs provide security-critical functionalities like cryptography. Understanding what API misuses are, and for what reasons they are caused, is important to prevent them, e.g., with API misuse detectors. However, definitions and nominations for API misuses and related terms in literature vary and are diverse. This paper addresses the problem of scattered knowledge and definitions of API misuses by presenting a systematic literature review on the subject and introducing FUM, a novel Framework for API Usage constraint and Misuse classification. The literature review revealed that API misuses are violations of API usage constraints. To capture this, we provide unified definitions and use them to derive FUM. To assess the extent to which FUM aids in determining and guiding the improvement of an API misuses detectors' capabilities, we performed a case study on CogniCrypt, a state-of-the-art misuse detector for cryptographic APIs. The study showed that FUM can be used to properly assess CogniCrypt's capabilities, identify weaknesses and assist in deriving mitigations and improvements. And it appears that also more generally FUM can aid the development and improvement of misuse detection tools. AU - Schlichtig, Michael AU - Sassalla, Steffen AU - Narasimhan, Krishna AU - Bodden, Eric ID - 31133 KW - API misuses KW - API usage constraints KW - classification framework KW - API misuse detection KW - static analysis T2 - 2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER) TI - FUM - A Framework for API Usage constraint and Misuse Classification ER - TY - GEN AU - Vahle, Ella ID - 32399 TI - Modelling and Proving Security for a Secure MPC Protocol for Stable Matching ER - TY - GEN AU - Hetkämper, Tim ID - 6561 TI - Visualisierung von Ultraschallfeldern mittels Schlierentechnik und fraktionaler Fouriertransformation ER - TY - GEN AU - Claes, Leander ID - 6592 TI - Messverfahren für die akustische Absorption zur Bestimmung der Volumenviskosität ER - TY - GEN AU - Mügge, Nils AU - Kronberg, Alexander AU - Glushenkov, Maxim AU - Kenig, Eugeny ID - 32446 T2 - Annual Meeting on Reaction Engineering and ProcessNet Subject Division Heat and Mass Transfer TI - Heat regeneration model for external heat engines operating with dense working fluids ER -