Static Analysis

A3S3 - Automated Android Audit of Safety and Security Signals

Android devices and related applications are increasingly prevalent in our daily routines. Furthermore, these technologies are being used for more than just connecting people …

guillaume-nguyen

Effective and efficient API misuse detection via exception propagation and search-based testing

Application Programming Interfaces (APIs) typically come with (implicit) usage constraints. The violations of these constraints (API misuses) can lead to software crashes. Even …

maria-kechagia