Analysis of Erlang source dependencies in BEAM bytecode
Dániel Lukács, Melinda Tóth · 2018
Source dependencies are mostly stored in executable format, and as they can seldom be statically analysed, industrial developers often have to treat these as black boxes.While it would be cost-effective to statically analyse these executables, such endeavours are impeded by the considerable structural and semantical differences between low-level and high-level code.In this paper, we present an algorithm that recovers syntactically valid Erlang syntax trees from low-level BEAM bytecode.This syntax tree then can be used in static analysis, to effectively communicate the semantical content of the dependencies.