STAN Towards Describing Bytecodes of Smart Contract.pdf 以太坊智能合约字节码分析。 In Proc. of the 20th IEEE International Conference on Software Quality, Reliability and Security (QRS), 2020.