Linkage Analysis for ECMAScript Modules