Luo, Linghui, Julian Dolby, and Eric Bodden. “MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and Editors.” In European Conference on Object-Oriented Programming (ECOOP), 2019.
LibreCat: /record/20535

Späth, Johannes. Synchronized Pushdown Systems for Pointer and Data-Flow Analysis. Universität Paderborn, 2019.
LibreCat: /record/20536

Piskachev, Goran, Lisa Nguyen, and Eric Bodden. Codebase-Adaptive Detection of Security-Relevant Methods, 2019.
LibreCat: /record/20537

Albert Gorski Iii, Sigmund, Benjamin Andow, Adwait Nadkarni, Sunil Manandhar, William Enck, Eric Bodden, and Alexandre Bartel. “ACMiner: Extraction and Analysis of Authorization Checks in Android’s Middleware.” In ACM Conference on Data and Application Security and Privacy (CODASPY 2019), 2019.
LibreCat: /record/20538

Späth, Johannes, Karim Ali, and Eric Bodden. “Context-, Flow-, and Field-Sensitive Data-Flow Analysis Using Synchronized Pushdown Systems.”https://doi.org/10.1145/3290361__Proceedings of the ACM SIGPLAN Symposium on Principles of Programming Languages 3, no. POPL (2019): 48:1-48:29.https://doi.org/10.1145/3290361 .
LibreCat: /record/20539
DOI: 10.1145/3290361

Gerking, Christopher, and David Schubert. “Component-Based Refinement and Verification of Information-Flow Security Policies for Cyber-Physical Microservice Architectures.” In International Conference on Software Architecture (ICSA 2019), 2019.
LibreCat: /record/20759

Piskachev, Goran, Lisa Nguyen Quang Do, and Eric Bodden. “Codebase-Adaptive Detection of Security-Relevant Methods.”https://doi.org/10.1145/3293882.3330556__In Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019.https://doi.org/10.1145/3293882.3330556 .
LibreCat: /record/23378
DOI: 10.1145/3293882.3330556

Selbach, Nils. Modeling Crypto API Usages in OpenSSL’s EVP Library. Universität Paderborn, 2019.
LibreCat: /record/7628

Dann, Andreas, Ben Hermann, and Eric Bodden. “ModGuard: Identifying Integrity &;Confidentiality Violations in Java Modules.”https://doi.org/10.1109/tse.2019.2931331__IEEE Transactions on Software Engineering, 2019, 1–1.https://doi.org/10.1109/tse.2019.2931331 .
LibreCat: /record/14896
DOI: 10.1109/tse.2019.2931331

Dann, Andreas, Ben Hermann, and Eric Bodden. “SootDiff: Bytecode Comparison across Different Java Compilers.”https://doi.org/10.1145/3315568.3329966__In Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis  - SOAP 2019, 2019.https://doi.org/10.1145/3315568.3329966 .
LibreCat: /record/14897
DOI: 10.1145/3315568.3329966

Kruger, Stefan, and Ben Hermann. “Can an Online Service Predict Gender? On the State-of-the-Art in Gender Identification from Texts.”https://doi.org/10.1109/ge.2019.00012__In 2019 IEEE/ACM 2nd International Workshop on Gender Equality in Software Engineering (GE), 2019.https://doi.org/10.1109/ge.2019.00012 .
LibreCat: /record/14899
DOI: 10.1109/ge.2019.00012

Schubert, Philipp, Ben Hermann, and Eric Bodden. “PhASAR: An Inter-Procedural Static Analysis Framework for C/C++.”https://doi.org/10.1007/978-3-030-17465-1_22__In Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2019), Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2019), II:393–410, 2019.https://doi.org/10.1007/978-3-030-17465-1_22 .
LibreCat: /record/7626
DOI: 10.1007/978-3-030-17465-1_22

Schubert, Philipp, Richard Leer, Ben Hermann, and Eric Bodden. “Know Your Analysis: How Instrumentation Aids Understanding Static Analysis.”https://doi.org/10.1145/3315568.3329965__In Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis  - SOAP 2019, 2019.https://doi.org/10.1145/3315568.3329965 .
LibreCat: /record/14898
DOI: 10.1145/3315568.3329965

Pauck, Felix, Eric Bodden, and Heike Wehrheim. “Do Android Taint Analysis Tools Keep Their Promises?” ArXiv:1804.02903, 2018.
LibreCat: /record/2711

Bodden, Eric, and Lisa Nguyen Quang Do. “Explainable Static Analysis.” In Software Engineering Und Software Management 2018, Fachtagung Des GI-Fachbereichs Softwaretechnik, SE 2018, 5.-9. M\'22arz 2018, Ulm, Germany., 205–8. LNI, 2018.
LibreCat: /record/20530

Nguyen Quang Do, Lisa, Stefan Krüger, Patrick Hill, Karim Ali, and Eric Bodden. “Debugging Static Analysis.”https://doi.org/10.1109/TSE.2018.2868349__IEEE Transactions on Software Engineering, 2018, 1–1.https://doi.org/10.1109/TSE.2018.2868349 .
LibreCat: /record/20543
DOI: 10.1109/TSE.2018.2868349

Tichy, Matthias, Eric Bodden, Marco Kuhrmann, Stefan Wagner, and Jan-Philipp Steghöfer, eds. Software Engineering Und Software Management 2018, Fachtagung Des GI-Fachbereichs Softwaretechnik, SE 2018, 5.-9. März 2018, Ulm, Germany. Vol. P-279. LNI. Gesellschaft für Informatik, 2018.
LibreCat: /record/20544

Tip, Frank, and Eric Bodden, eds. Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2018, Amsterdam, The Netherlands, July 16-21, 2018. ACM, 2018.
LibreCat: /record/20545

Gerking, Christopher, David Schubert, and Eric Bodden. “Model Checking the Information Flow Security of Real-Time Systems.” In Engineering Secure Software and Systems, edited by Mathias Payer, Awais Rashid, and Jose M. Such, 27–43. Cham: Springer International Publishing, 2018.
LibreCat: /record/20546

Nguyen Quang Do, Lisa, and Eric Bodden. “Gamifying Static Analysis.”https://doi.org/10.1145/3236024.3264830__In Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 714–18. ESEC/FSE 2018. New York, NY, USA: ACM, 2018.https://doi.org/10.1145/3236024.3264830 .
LibreCat: /record/20547
DOI: 10.1145/3236024.3264830