The use of mobile devices is rising daily in this technological era. A continuous and
increasing number of mobile applications are constantly offered on mobile marketplaces to …

With the increasing use of mobile devices, malware attacks are rising, especially on Android
phones, which account for 72.2% of the total market share. Hackers try to attack …

Due to the lack of established real-world benchmark suites for static taint analyses of
Android applications, evaluations of these analyses are often restricted and hard to …

Code completion is an editor service in IDEs that proposes code fragments for the user to
insert at the caret position in their code. Code completion should be sound and complete. It …

Academic research in static analysis produces software implementations. These
implementations are time-consuming to develop and some need to be maintained in order …

Traditional, or concrete, debuggers allow developers to step through programs and explore
the corresponding concrete program states—developers can query current values of …

Previous work has shown that taint analyses are only useful if correctly customized to the
context in which they are used. Existing domain-specific languages (DSLs) allow such …

Due to its ability to detect many frequently occurring security vulnerabilities, taint analysis is
one of the core static analyses used by many static application security testing (SAST) tools …

The use of static analysis security testing (SAST) tools has been increasing in recent years.
However, previous studies have shown that, when shipped to end users such as …

Integrating static analyses into continuous integration (CI) or continuous delivery (CD) has
become the best practice for assuring code quality and security. Static Application Security …