Abstract: The present invention relates to a system and a method which receives as an input transactions and a smart contract code, and provides as an output an analysis of possible issues such as possible security attacks or bugs found in the smart contract code that may exist in the smart contract code that was input to the blockchain-based system. More specifically, the present invention relates to the way data is stored in decentralized systems such as blockchain-based systems, to identify base paths and then alters the base paths looking for an attack, in a guided way.

Abstract: A system comprising a blockchain computer system that hosts an original smart contract and stores and maintains a blockchain ledger, and an off-chain computer system that is configured to automatically perform an off-chain comparison between the behavior of the original smart contract and a new smart contract and accordingly to provide an insight.

Abstract: The present invention relates to a method of converting logic written in software code into text, comprising: converting the code to a structured format that represents the logic described in each function of said code as a tree of elements, and mapping the elements of the structured format into corresponding counterparts in a target language for obtaining a text translation of the structured format.