Static program analysis is used to automatically determine program properties, or to detect
bugs or security vulnerabilities in programs. It can be used as a stand-alone tool or to aid …

Reusing software libraries is a pillar of modern software engineering. In 2022, the average
Java application depends on 40 third-party libraries. Relying on such libraries exposes a …

Increasingly mobile device users are being hurt by security or privacy issues with the apps
they use. App developers can help prevent this; inexpensive security assurance techniques …

An established way to steal the income of app developers, or to trick users into installing
malware, is the creation of repackaged apps. These are clones of-typically-successful apps …

Current approaches combining multiple static analyses deriving different, independent
properties focus either on modularity or performance. Whereas declarative approaches …

Static analysis is a mature field with applications to bug detection, security analysis, program
understanding, optimization, and more. To facilitate these applications, static analysis …

String obfuscation is an established technique used by proprietary, closed-source
applications to protect intellectual property. Furthermore, it is also frequently used to hide …

Effect handlers are a program structuring paradigm with rising popularity in the functional
programming language community and can express many advanced control flow …

Call graphs have many applications in software engineering, including bug-finding, security
analysis, and code navigation in IDEs. However, the construction of call graphs requires …

When developing and maintaining large software systems, a great deal of effort goes into
dependency management. During the whole lifecycle of a software project, the set of …