Static and dynamic code analyses have been widely adopted in industry to enhance
software reliability, security, and performance by automatically detecting bugs in the code. In …

Taint analysis aims to track data flows in systems, with potential use cases for security,
privacy and performance. This paper describes an end-to-end dynamic taint analysis …

In this paper we introduce a novel method for improving static analysis of real code by using
dynamic analysis. We have implemented our technique to enhance the Infer static analyzer …

The Transport Layer Security (TLS) protocol is one of the most used protocols to ensure data
privacy, integrity and authenticity on the Internet. Erlang/OTP's TLS implementation is widely …

Hot code loading allows changing the server code without any noticeable effects for clients.
It is an integral part of the Erlang language and the BEAM runtime. Handling code change …

The constraints of pure functional programs are often applauded for the resulting safety and
correctness guarantees. It is also claimed that these programs are easier to reason about …