4 citations · 7 across the 10 of their papers we have counts for
7 papers · 1 filter
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…
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…
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…
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…
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…
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…
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…