E
Eric Bodden
Researcher at University of Paderborn
Publications - 219
Citations - 8255
Eric Bodden is an academic researcher from University of Paderborn. The author has contributed to research in topics: Computer science & Android (operating system). The author has an hindex of 36, co-authored 200 publications receiving 7093 citations. Previous affiliations of Eric Bodden include Technische Universität Darmstadt & Fraunhofer Society.
Papers
More filters
Journal ArticleDOI
Collaborative Runtime Verification with Tracematches
TL;DR: This work studies the feasibility of collaborative runtime verification, a verification approach which can distribute the burden of runtime verification among multiple users and over multiple runs, and proposes two techniques for soundly partitioning the instrumentation required for tracematches.
Proceedings ArticleDOI
StubDroid: automatic inference of precise data-flow summaries for the android framework
Steven Arzt,Eric Bodden +1 more
TL;DR: StubDroid is presented, the first fully automated approach for inferring precise and efficient library models for taint-analysis problems and its cause the analysis to be more precise and to use less time and memory.
SuSi: A Tool for the Fully Automated Classification and Categorization of Android Sources and Sinks
TL;DR: This work proposes SuSi, a novel and fully automated machine-learning approach for identifying sources and sinks directly from the Android source code, and shows that, at least for the case of Android, the API comprises hundreds of sources and sink.
Journal ArticleDOI
Context-, flow-, and field-sensitive data-flow analysis using synchronized Pushdown systems
TL;DR: The concept of synchronized pushdown systems (SPDS) is introduced, which can provide high precision and further improve scalability, in particularly when used in analyses that expose rather local data flows.
Proceedings ArticleDOI
Reviser: efficiently updating IDE-/IFDS-based data-flow analyses in response to incremental program changes
Steven Arzt,Eric Bodden +1 more
TL;DR: The Reviser algorithm is formulated as an extension to the IDE framework for Inter-procedural Finite Distributed Environment problems and automatically updates arbitrary IDE-based analyses and shows performance gains of up to 80% in comparison to a full recomputation.