abstract syntax tree, Hyperledger Fabric, smart contract, symbolic execution, vulnerability detection.