Analyzing Dynamic Code: A Sound Abstract Interpreter for Evil Eval. - ARCERI, VINCENZO; MASTROENI, ISABELLA (ACM Transactions on Privacy & Security, 2021)