SoK: Analysis Techniques for WebAssembly. - Harnes, Håkon; Morrison, Donn (Future Internet, 2024)