Qualifying Tools
Tools automate activities away from human control. This can potentially be dangerous if a tool makes a decision that is not sound as it abstracts away the human's ability to capture and react to that error.
Tools should be written in a way where every decision being automated is guaranteed not to cause an a false negative scenario in smart contract code that will be deployed in a production environment. All tools should err on the side of caution basically.
Last modified 3yr ago