SVScanner: Detecting smart contract vulnerabilities via deep semantic extraction - Yang Liu (Journal of Information Security and Applications, 2023)