Because smart contracts are often small programs, tools to prevent attacks are often based on analyzing the smart contract code to identify vulnerabilities a priori.

中文翻译：

---

区块链与智能合约工程

由于智能合约通常是小程序，因此防止攻击的工具通常基于分析智能合约代码以先验地识别漏洞。