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