Fujitsu Laboratories and Fujitsu Research and Development Center have developed algorithms to identify risk-affected transaction sequences on Ethereum, using symbolic execution technology(2). Using these algorithms, they have developed technology that is able to comprehensively detect six types of risks in smart contracts, which have the potential to be overlooked in a manual review, and can then identify the relevant locations in the source code. This technology will enable blockchain developers to rapidly develop even safer smart contracts.
The technology was announced at the Blockchains and Smart Contracts Workshop 2018 (BSC 2018) in Paris, France. The post blog [1] appeared today.
[1] http://www.fujitsu.com/global/about/resources/news/press-releases/2018/0307-01.html