Japanese IT giant Fujitsu announced the development of new software, which should help in the preventive detection of errors in the source code of smart contracts Ethereum. As stated in the press release, there are currently six risk groups, usually associated with the blockchain Ethereum. And while existing technologies solve most of these complexities, authenticating the integrity of the source code in the case of several smart contracts is still problematic.
It is noted that such a feature of the blockchain allows you to deliberately avoid authentication and “forge the origin of the transaction.” However, existing programs are unable to detect a vulnerability because they can not track the internal information of a transaction.
It is planned that the new system, jointly developed by the laboratory and research department of Fujitsu, will warn developers about such vulnerabilities in the source code, allowing to abuse the functions of the programming language Ethereum. In addition, the system will be able to determine the exact location of the bug in the code.