The SSV group co-authored two papers at the 35th ACM/SIGAPP Symposium On Applied Computing (SAC 2020) in the Software Verification and Testing (SVT) track. The first paper, co-authored by Vincenzo Arceri and Isabella Mastroeni (University of Verona), deals with the static analysis of JavaScript programs. The second one, co-authored by Pietro Ferrara, Yuliy Khlyebnikov, Agostino Cortesi, Amit Kr Mandal (SRM University, AP, India), and Fausto Spoto (University of Verona), introduces an extension of taint analysis to IoT systems.