Learning Type Inference for Enhanced Dataflow Analysis

Lukas Seidel, Sedick David Baker Effendi, Xavier Pinho +3

Statically analyzing dynamically-typed code is a challenging endeavor, as even seemingly trivial tasks such as determining the targets of procedure calls are non-trivial without kn…