Why? What special about JavaScript that makes this kind of analysis possible? Or what is it about WebAssembly in particular that prevents it?