activity
20242026
most citedTypeEvalPy: A Micro-benchmarking Framework for Python Type Inference Tools

4 citations · 7 across the 10 of their papers we have counts for

collaborators

10 papers

cs.SE2026

Challenges in Android Data Disclosure: An Empirical Study

Mugdha Khedkar, Michael Schlichtig, Mohamed Soliman +1

Current legal frameworks enforce that Android developers accurately report the data their apps collect. However, large codebases can make this reporting challenging. This paper emp…

cs.CR2025

Visualizing Privacy-Relevant Data Flows in Android Applications

Mugdha Khedkar, Michael Schlichtig, Santhosh Mohan +1

Android applications collecting data from users must protect it according to the current legal frameworks. Such data protection has become even more important since in 2018 the Eur…

cs.SE2024

An Empirical Study of Large Language Models for Type and Call Graph Analysis in Python and JavaScript

Ashwin Prasad Shivarpatna Venkatesh, Rose Sunil, Samkutty Sabu +3

Large Language Models (LLMs) are increasingly being explored for their potential in software engineering, particularly in static analysis tasks. In this study, we investigate the p…

cs.SE2024★ 1 cited

Software Security Analysis in 2030 and Beyond: A Research Roadmap

Marcel Böhme, Eric Bodden, Tevfik Bultan +3

As our lives, our businesses, and indeed our world economy become increasingly reliant on the secure operation of many interconnected software systems, the software engineering res…

cs.CR2024

Advancing Android Privacy Assessments with Automation

Mugdha Khedkar, Michael Schlichtig, Eric Bodden

Android apps collecting data from users must comply with legal frameworks to ensure data protection. This requirement has become even more important since the implementation of the…

cs.CR2024

Do Android App Developers Accurately Report Collection of Privacy-Related Data?

Mugdha Khedkar, Ambuj Kumar Mondal, Eric Bodden

Many Android applications collect data from users. The European Union's General Data Protection Regulation (GDPR) requires vendors to faithfully disclose which data their apps coll…

cs.SE2024

The Emergence of Large Language Models in Static Analysis: A First Look through Micro-Benchmarks

Ashwin Prasad Shivarpatna Venkatesh, Samkutty Sabu, Amir M. Mir +2

The application of Large Language Models (LLMs) in software engineering, particularly in static analysis tasks, represents a paradigm shift in the field. In this paper, we investig…

cs.SE2024★ 2 cited

Toward an Android Static Analysis Approach for Data Protection

Mugdha Khedkar, Eric Bodden

Android applications collecting data from users must protect it according to the current legal frameworks. Such data protection has become even more important since the European Un…

cs.SE2024

Symbol-Specific Sparsification of Interprocedural Distributive Environment Problems

Kadiray Karakaya, Eric Bodden

Previous work has shown that one can often greatly speed up static analysis by computing data flows not for every edge in the program's control-flow graph but instead only along de…

cs.SE2024★ 4 cited

TypeEvalPy: A Micro-benchmarking Framework for Python Type Inference Tools

Ashwin Prasad Shivarpatna Venkatesh, Samkutty Sabu, Jiawei Wang +3

In light of the growing interest in type inference research for Python, both researchers and practitioners require a standardized process to assess the performance of various type…