The new tool is described as improving smart contract (self-executing blockchain code) security by automating updates, while developers are still expected to audit original logic flaws.
verifying reliability
No specialized terms available for this topic.