2020
-
Hidden in Plain Sight: Obfuscated Strings Threatening Your Privacy
by Leonid Glanz, Patrick Müller, Baumgärtner, Michael Reif, Sven Amann, Pauline Anthonysamy, and Mira Mezini
In Proceedings of the 15th ACM Asia Conference on Computer and Communications Security
[publication (via DOI)] [preprint] -
Modular collaborative program analysis in OPAL
by Dominik Helm, Florian Kübler, Michael Reif, Michael Eichberg, and Mira Mezini
In Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering
[publication (via DOI)] [preprint] -
TACAI: An Intermediate Representation Based on Abstract Interpretation
by Michael Reif, Florian Kübler, Dominik Helm, , Michael Eichberg, and Mira Mezini
In Proceedings of the 9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis
[publication (via DOI)] [preprint] -
Probabilistic call-graph construction
by Yi Lu, Daniel Wainwright, and Michael Reif
To be published in US Patent
[preprint] 2019
-
Judge: Identifying, Understanding, and Evaluating Sources of Unsoundness in Call Graphs
by Michael Reif, Florian Kübler, Michael Eichberg, Dominik Helm, and Mira Mezini
In Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis
[publication (via DOI)] [preprint] [artifact page] [slides] -
A Dataset of Parametric Cryptographic Misuses
by Anna-Katharina Wickert, Michael Reif, Michael Eichberg, Anam Dodhy, and Mira Mezini
To be published in 2019 IEEE/ACM 16th International Conference on Mining Software Repositories
[preprint] 2018
-
A Unified Lattice Model and Framework for Purity Analyses
by Dominik Helm, Florian Kübler, Michael Eichberg, Michael Reif, and Mira Mezini
In Proceedings of the 2018 33rd ACM/IEEE International Conference on Automated Software Engineering
[website] [publication (via DOI)] [preprint] -
Systematic Evaluation of the Unsoundness of Call Graph Construction Algorithms for Java
by Michael Reif, Florian Kübler, Michael Eichberg, and Mira Mezini
In Proceeding ISSTA '18 Companion Proceedings for the ISSTA/ECOOP 2018 Workshops
[publication (via DOI)] [preprint] [artifact page] [slides] -
Lattice Based Modularization of Static Analyses
by Michael Eichberg, Florian Kübler, Dominik Helm, Michael Reif, Guido Salvaneschi, and Mira Mezini
In Proceeding ISSTA '18 Companion Proceedings for the ISSTA/ECOOP 2018 Workshops
[publication (via DOI)] [preprint] 2017
-
CogniCrypt: supporting developers in using cryptography
by Stefan Krüger, Sarah Nadi, Karim Ali, Michael Reif, Mira Mezini, Eric Bodden, Florian Göpfert, Felix Günther, Christian Weinert, Daniel Demmler, and Ram Kamath
To be published in Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering
[website] [preprint] -
CodeMatch: Obfuscation Won’t Conceal Your Repackaged App
by Leonid Glanz, Sven Amann, Michael Eichberg, Michael Reif, Ben Hermann, Johannes Lerch, and Mira Mezini
In Proceedings of the 11th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering
[publication (via DOI)] [preprint] [artifact page] -
Hermes: assessment and creation of effective test corpora
by Michael Reif, Michael Eichberg, Ben Hermann, and Mira Mezini
In Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis
[website] [publication (via DOI)] [preprint] 2016
-
Call graph construction for Java libraries
by Michael Reif, Michael Eichberg, Ben Hermann, Johannes Lerch, and Mira Mezini
In Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering
[publication (via DOI)] [preprint] [artifact page] 2015
-
Getting to know you: towards a capability model for Java
by Ben Hermann, Michael Reif, Michael Eichberg, and Mira Mezini
In Proceedings of the 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering
[publication (via DOI)] [preprint] [artifact page]