Detection of Cross-Channel Invocation Risks in Hyperledger Fabric

Cross-contract invocations (CCIs) in blockchain are essential as they are the backbone mechanism for the communication and cooperation between different smart contracts, allowing the creation of advanced features and increasing the potentiality for decentralized applications. However, a naive implementation may lead to critical pitfalls in permissioned blockchain platforms such as Hyperledger Fabric, where the modular architecture further complicates the analysis of these interactions. In particular, Hyperledger Fabric supports not only CCIs but also the creation of subnetworks within channels, introducing crosschannel CCIs (CCHIs) that could lead to unexpected behaviors and a lack of traceability within the blockchain ecosystem. This paper discusses how to leverage static analysis techniques to design and implement a semantic-based static analysis to detect potential risks related to CCIs in cross-channel scenarios